Results 171 to 180 of about 24,570,426 (223)

A Topological Model for Intuitionistic Analysis with Kripke's Scheme

Mathematical Logic Quarterly, 1978
M. Krol
semanticscholar   +2 more sources

Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence

AAAI Conference on Artificial Intelligence, 2015
The paper proposes a condition for preserving the KD45 property of a Kripke model when a sequence of update models is applied to it. The paper defines the notions of a primitive update model and a semi-reflexive KD45 (or sr-KD45) Kripke model.
Tran Cao Son, Enrico Pontelli, Chitta Baral, G. Gelfond   +3 more
semanticscholar   +1 more source

Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus

Journal of Logic and Computation, 2020
Full simply typed lambda calculus is the simply typed lambda calculus extended with product types and sum types. We propose a Kripke-style semantics for full simply typed lambda calculus.
Simona Kasterovic, S. Ghilezan
semanticscholar   +1 more source

A Simplicial Model for KB4n: Epistemic Logic with Agents that May Die

Symposium on Theoretical Aspects of Computer Science, 2021
The standard semantics of multi-agent epistemic logic S5 n is based on Kripke models whose accessibility relations are reflexive, symmetric and transitive.
É. Goubault, J. Ledent, S. Rajsbaum
semanticscholar   +1 more source

Symbolic Model Checking of Tense Logics on Rational Kripke Models

International Lisp Conference, 2008
We introduce the class of rational Kripke models and study symbolic model checking of the basic tense logic K t and some extensions of it on that class.
Wilmari Bekker, V. Goranko
semanticscholar   +1 more source

Kripke semantics for the logic of problems and propositions

Sbornik: Mathematics, 2020
In this paper we study the propositional fragment of the joint logic of problems and propositions introduced by Melikhov. We provide Kripke semantics for this logic and show that is complete with respect to those models and has the finite model property.
A. A. Onoprienko
semanticscholar   +1 more source

Homomorphisms and chains of Kripke models

Archive for Mathematical Logic, 2010
This paper is a continuation of the study of preservation theorems in intuitionistic logic by the authors [``Preservation theorems for Kripke models'', Math. Log. Q. 55, No. 2, 177--184 (2009; Zbl 1160.03018)]. It is based on Kripke semantics and restricts to those Kripke models defined on a fixed frame \(F\). A homomorphism (resp.
Morteza Moniri, Mostafa Zaare
openaire   +2 more sources

Kripke models for linear logic

Journal of Symbolic Logic, 1993
AbstractWe present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose.
Gerard Allwein, J. Michael Dunn
openaire   +2 more sources

Logics of Kripke meta-models

Logic Journal of IGPL, 2009
Summary: This paper introduces and studies a new type of logical construction, which allows us to combine various nonclassical propositional logics with temporal or modal background. The possible candidates include (but are not restricted to) a number of epistemic, multi-agent, deontological and other well-studied logics.
Sergey Babenyshev, Vladimir V. Rybakov
openaire   +2 more sources

A Note on Linear Kripke Models

Journal of Logic and Computation, 2005
Summary: Gödel logics correspond to linear models with constant domains. In this paper other truth-value logics, Scott logics, are defined, that correspond to linear models with possibly non-constant domains. An extension of intuitionistic logic with an existence predicate is discussed, and it is shown that this provides a natural translation of Scott ...
openaire   +2 more sources