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…

Papers overview

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

2014

In the last decades linear logic became a useful logical system for various usage in computer science. Its ability to handle…

2006

We prove that every n-modal logic between K and S5 is undecidable, whenever n ≥ 3. We also show that each of these logics is non…

2004

An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend…

2001

1999

David Buckley's unique approach to unravelling the Bowie enigma, via interviews with many of the singer's closest associates…

1996

This paper develops eecient local model-checking algorithms for expressive fragments of the modal-calculus. The time complexity…

1996

The model considered here has arisen in a number of completely separate contexts: release of neurotransmitter at neuro-muscular…

1991

Before the high altar in Westminster Abbey lies a priceless pavement which has been hidden beneath a protective carpet since the…

1989

1934