Results 1 to 10 of about 109,310 (121)
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
Bulletin of the Section of LogicIn this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj +3 more sources
Studia Logica, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fitting, Melvin +2 more
+21 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
Journal of Logic and Computation, 2020 Abstract We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question.
Stef Frijters, Frederik Van De Putte
openaire +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
Reasoning with Rules and Rights: Term-Modal Deontic Logic
, 2021 General obligations such as ‘every driver has to give way to a driver coming from the right’ are central in legal reasoning, but have been mostly overlooked in deontic logic. We claim that a simple extension of Standard Deontic Logic to the predicative level is insufficient to capture general obligations.
Frijters, Stef +2 more
openaire +2 more sources
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