Kripke semantics

Known as: Filtered model, Kripke–Joyal semantics, Kripke-Joyal semantics 
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We employ the well-developed and powerful techniques of algebraic semantics and Priestley duality to set up a Kripke semantics… (More)
  • figure 1
Is this relevant?
2011
2011
We present a general method for providing Kripke semantics for the family of fully-structural multiple-conclusion propositional… (More)
Is this relevant?
2008
2008
  • Dov M. Gabbay
  • Annals of Mathematics and Artificial Intelligence
  • 2008
Ordinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A at a model m, the model does not react… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Ordinary Kripke models are not reactive. When we evaluate (test/measure) a formula A at a model m, the model does not react… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We present Kripke semantics for some substructural logics with weakening, known as logics with BCK implication. This work is a… (More)
Is this relevant?
2005
2005
We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The… (More)
  • figure 1
  • figure 2
Is this relevant?
2004
2004
A. An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We… (More)
Is this relevant?
2003
2003
This paper deals with Kripke-style semantics for many-valued logics. We introduce various types of Kripke semantics, and we… (More)
Is this relevant?
2001
2001
We consider two systems of constructive modal logic which ar e computationally motivated. Their modalities admit several co… (More)
  • figure 1
  • figure 2
Is this relevant?
1993
1993
  • FrameworkAlex K. Simpson
  • 1993
We present a semantics (using Kripke lambda models) for a logical framework (minimal implicational predicate logic with… (More)
Is this relevant?