Results 11 to 20 of about 109,474 (252)
Graphical representation of covariant-contravariant modal formulae [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical characterization by means of the covariant-contravariant modal logic. Moreover,
Miguel Palomino +4 more
doaj +8 more sources
Computing Distances between Probabilistic Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisimulation and simulation on PAs.
Mathieu Tracol +2 more
doaj +4 more sources
Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic [PDF]
Logic Journal of IGPL, 2007 We establish a connection between term definability of Boolean functions and definability of finite modal frames. We introduce a bijective translation between functional terms and uniform degree-1 formulas and show that a class of Boolean functions is defined by functional terms if and only if the corresponding class of Scott-Montague frames is defined
Miguel Couceiro +2 more
openalex +3 more sources
, 2007 abstract. A first-order dynamic epistemic logic is developed where the names of the agents are also terms in the sense of first-order logic. Consequently one can quantify over epistemic modalities. Us- ing constructs from dynamic logic one can express many interesting concepts.
Barteld Kooi
openalex +3 more sources
Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic
CEUR Workshop ProceedingsTranslations of legal contracts into formal specifications that can be used for assisted reasoning are currently gaining considerable attention in AI and law. Yet, the conceptual intricacy of some of the normative notions involved in legal contracts continues to provide significant challenges to formalization; in accordance with this, there is a need ...
Frijters, Stef, Pascucci, Matteo
openalex +4 more sources
Admissible Inference Rules and Semantic Property of Modal Logics
Известия Иркутского государственного университета: Серия "Математика", 2021 Firstly semantic property of nonstandart logics were described by formulas which are peculiar to studied a models in general, and do not take to consideration a variable conditions and a changing assumptions.
V.V. Rimatskiy
doaj +1 more source
The Subject Term of Universal Proposition According to Ibn Sīnā and Fakhr al-Dīn al-Rāzī
İslam Tetkikleri Dergisi, 2023 This article examines Ibn Sīnā’s (d. 428/1037) views on the subject term of universal categorical proposition as well the comments of his influential interpreter and critic Fakhr al-Dīn al-Rāzī (d. 606/1210) regarding this subject term.
Fatma Karaismail
doaj +1 more source
The evolution of the ideas of metaphysics and ontology
Интеллект. Инновации. Инвестиции, 2020 The categories of metaphysics and ontology in aspect of their evolution are considered in the article. At the beginning of the article, we are talking about the absence of the term «being» in ancient languages and its birth as a philosophical term ...
D. V. Ankin
doaj +1 more source
Dual-Context Calculi for Modal Logic [PDF]
, 2020 We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of assumptions, one of which
Kavvos, G. A.
core +4 more sources
On the Difference between the Two Barbaras
Problemos, 2018 [full article, abstract in English; only abstract in Lithuanian] The paper deals with the problem of the “two Barbaras” in the Aristotelian modal syllogistic.
Živilė Pabijutaitė
doaj +1 more source