Results 11 to 20 of about 16,014 (243)
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj +3 more sources
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 +4 more sources
Kripke Semantics for Martin-L\"of's Extensional Type Theory [PDF]
Logical Methods in Computer Science, 2011 It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly,
Steve Awodey, Florian Rabe
doaj +2 more sources
Kripke Semantics for Intersection Formulas [PDF]
ACM Transactions on Computational Logic, 2021 We propose a notion of the Kripke-style model for intersection logic. Using a game interpretation, we prove soundness and completeness of the proposed semantics. In other words, a formula is provable (a type is inhabited) if and only if it is forced in every model.
Andrej Dudenhefner, Paweł Urzyczyn
openalex +2 more sources
Two-Dimensional Kripke Semantics I: Presheaves [PDF]
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory have led to a second way of studying modalities, namely through their categorical semantics. We show how the two correspond.
Kavvos, Georgios Alexandros
+9 more sources
Introducing reactive Kripke semantics and arc accessibility [PDF]
Annals of Mathematics and Artificial Intelligence, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Michael Gabbay
openalex +4 more sources
Kripke Semantics for Intuitionistic Łukasiewicz Logic [PDF]
Studia Logica, 2020 AbstractThis paper proposes a generalization of the Kripke semantics of intuitionistic logicIL appropriate forintuitionistic Łukasiewicz logicIŁL —a logic in the intersection betweenIL and (classical) Łukasiewicz logic. This generalised Kripke semantics is based on theposet sumconstruction, used in Bova and Montagna (Theoret Comput Sci 410(12):1143 ...
A. Lewis-Smith +2 more
openalex +2 more sources
Two-dimensional Kripke Semantics II: Stability and Completeness [PDF]
Electronic Notes in Theoretical Informatics and Computer ScienceWe revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics, which means that not all algebraic models can be embedded into a Kripke model. This leads to an alternative proposal for a relational semantics, the stable semantics. Instead
G. A. Kavvos
openalex +5 more sources
Implicit Kripke semantics and ultraproducts in stratified institutions [PDF]
, 2016 We propose stratified institutions (a decade old generalised version of the theory of institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal logic.
Răzvan Diaconescu
openalex +3 more sources
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras [PDF]
Logical Methods in Computer Science, 2021 Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions relative to ternary relations. The resulting notion of relational convolution
Brijesh Dongol +2 more
doaj +1 more source