# Kripke semantics

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- 28th Annual ACM/IEEE Symposium on Logic in…
- 2013

We employ the well-developed and powerful techniques of algebraic semantics and Priestley duality to set up a Kripke semantics… (More)

Is this relevant?

2011

2011

- TABLEAUX
- 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

- 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)

Is this relevant?

2007

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)

Is this relevant?

2007

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

- Journal of Applied Non-Classical Logics
- 2005

We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The… (More)

Is this relevant?

2004

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

- Math. Log. Q.
- 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

- CSL
- 2001

We consider two systems of constructive modal logic which ar e computationally motivated. Their modalities admit several co… (More)

Is this relevant?

1993

1993

- 1993

We present a semantics (using Kripke lambda models) for a logical framework (minimal implicational predicate logic with… (More)

Is this relevant?