Results 21 to 30 of about 39,273,340 (170)
A Logic for Multi-Agent Conformant Planning Over Transition Systems
IEEE Access, 2020 Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +1 more source
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
Kripke Semantics for Fuzzy Logics [PDF]
, 2018 Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic ...
Salehi, Saeed
core +2 more sources
A Real-Valued Modal Logic [PDF]
Logical Methods in Computer Science, 2018 A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers.
Denisa Diaconescu +2 more
doaj +1 more source
On the Definability Problem of First-Order Sentences by Propositional Intuitionistic Formulas
AxiomsWe consider restricted forms of the algorithmic problem of definability of first-order sentences by propositional formulas with intuitionistic Kripke frames semantics.
Grigor Kolev, Tinko Tinchev
doaj +1 more source
A Kripke Semantics for Hajek's BL
, 2023 We provide a generalisation of Kripke semantics for Petr Hajek's Basic Logic and prove soundness and completeness of the same with respect to our semantics. We find this semantics easily specialises to the linearly-ordered Kripke frames for Godel-Dummett
Lewis-Smith, Andrew, Andrew Lewis-Smith
core +1 more source
Merging Intuitionistic and De Morgan Logics
MathematicsWe introduce De Morgan Heyting logic for Heyting algebras with De Morgan negation (DH-algebras). The variety DH of all DH-algebras is congruence distributive. The lattice of all subvarieties of DH is distributive.
Minghui Ma, Juntong Guo
doaj +1 more source
Some Logics in the Vicinity of Interpretability Logics
Bulletin of the Section of Logic, 2023 In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the propositional language with a ...
Sergio A. Celani
doaj +1 more source
Exposition of two forms of semantic skepticism: Wittgenstein’s paradox of rule following and Kripke’s semantic paradox [PDF]
Filozofija i Društvo, 2014 Despite persistent attempts to defend Kripke’s argument (Kripke 1982), analyses of this argument seem to be reaching a consensus that it is characterized by fatal flaws in both its interpretation of Wittgenstein and its argument of meaning ...
Shigeta Ken
doaj +1 more source
We provide a generalisation of Kripke semantics for Monoidal TNorm Logic (MTL), and prove adequacy of the same. In doing so, we exploit constructions found in [3], extending insights from [7, 14, 15, 16] to MTL, a fuzzy logic lacking divisibility.
Lewis-Smith, A., Zhao, Z.
core +4 more sources