Results 1 to 10 of about 1,072,805 (301)

Modal Logics are Coalgebraic [PDF]

Electronic Workshops in Computing, 2008
Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Yde Venema, Schröder, Lutz, Dirk Pattinson, Cirstea, Corina, Lutz Werner Schröder, Kurz, Alexander, Venema, Y., Corina Cirstea, Pattinson, D., Pattinson, Dirk, Kurz, A., Schröder, L., Venema, Yde, Cirstea, C., Alexander Kurz   +14 more
core   +10 more sources

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   +2 more sources

Modal Logic of Lattices

Bulletin of the Section of Logic
We prove that the modal logic of lattices with the accessibility relation of being isomorphic to a sublattice is S4.2. The same is proven for modular and distributive lattices.
Maciej A. Hałapacz
doaj   +2 more sources

Cylindric Modal Logic

Journal of Symbolic Logic, 2013
The formalism of cylindric modal logic can be motivated from two directions. In its own right, it forms an interesting bridge over the gap between propositional formalisms and first-order logic, in that it formalizes first-order logic as if it were a ...
Andréka, H., Ferenczi, M., Németi, I., Venema, Y.   +3 more
core   +6 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

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

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

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

Binary modal logic and unary modal logic

Logic Journal of the IGPL, 2023
Abstract Standard unary modal logic and binary modal logic, i.e. modal logic with one binary operator, are shown to be definitional extensions of one another when an additional axiom $U$ is added to the basic axiomatization of the binary side. This is a strengthening of our previous results.
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki   +1 more
openaire   +3 more sources

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   +1 more source