Results 1 to 10 of about 1,125,186 (250)
Neutrosophic Modal Logic [PDF]
Neutrosophic Sets and Systems, 2017 We introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal Logic includes the neutrosophic operators that express the modalities. It is an extension of neutrosophic predicate logic and of neutrosophic propositional logic.
Florentin Smarandache
doaj +3 more sources
Modal meet-implication logic [PDF]
Logical Methods in Computer Science, 2022 We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a suitable notion of descriptive frame.
Jim de Groot, Dirk Pattinson
doaj +1 more source
Complexity of validity for propositional dependence logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete.
Jonni Virtema
doaj +1 more source
Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
Axioms, 2021 Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for
Lorenz Demey
doaj +1 more source
The expressive power of modal logic with inclusion atoms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the
Lauri Hella, Johanna Stumpf
doaj +1 more source
Graded Many-Valued Modal Logic and Its Graded Rough Truth
Axioms, 2022 Much attention is focused on the relationship between rough sets and many-valued modal logic to deal with approximate reasoning. This paper discusses the graded modal logic and puts forward the graded many-valued modal logic G(S5). Secondly, by employing
Jiansheng Li, Zengtai Gong
doaj +1 more source
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite ...
Jakub Michaliszyn +2 more
doaj +1 more source
From Hybrid Modal Logic to Matching Logic and Back [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification.
Ioana Leuştean +2 more
doaj +1 more source
Inferences Between Buridan’s Modal Propositions
Problemos, 2022 In recent years modal syllogistic provided by 14th century logician John Buridan has attracted increasing attention of historians of medieval logic. The widespread use of quantified modal logic with the apparatus of possible worlds semantics in current ...
Jonas Dagys +2 more
doaj +1 more source
Probabilistic logics based on Riesz spaces [PDF]
Logical Methods in Computer Science, 2020 We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz spaces, a mature ...
Robert Furber, Radu Mardare, Matteo Mio
doaj +1 more source