Searching for "Kripke Semantics" – sorted by Relevance.
-
A Distributed Kripke Semantics
- A Distributed Kripke Semantics Rohit Chadha, Damiano Macedonio and Vladimiro Sassone Abstract
- Cited by 2 (0 self) – Add To MetaCart
-
Kripke Semantics for a Logical Framework
- Kripke Semantics for a Logical Framework Alex K. Simpson Department of Computer Science
- Cited by 2 (0 self) – Add To MetaCart
-
Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics
- Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics Natasha Alechina
- Cited by 3 (1 self) – Add To MetaCart
-
Quantificational modal logic with sequential kripke semantics
- Quantificational modal logic with sequential Kripke semantics (prefinal version) Stefano Borgo LOA
- Cited by 2 (1 self) – Add To MetaCart
-
Categorical and Kripke Semantics for Constructive Modal Logics
- Categorical and Kripke Semantics for Constructive Modal Logics Natasha Alechina 1 , Michael
- Cited by 7 (3 self) – Add To MetaCart
-
Coalition games over Kripke semantics: expressiveness and complexity
- Coalition games over Kripke semantics: expressiveness and complexity Philippe Balbiani, Olivier
- Add To MetaCart
-
ANALYTIC TRUTHS AND KRIPKE’S SEMANTIC TURN
- ANALYTIC TRUTHS AND KRIPKE’S SEMANTIC TURN ZSÓFIA ZVOLENSZKY zz207@(email omitted); MTA–ELTE Philosophy
- Add To MetaCart
-
Categorical and Kripke Semantics for Constructive S4 Modal Logic
- Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina 1 , Michael
- Cited by 10 (1 self) – Add To MetaCart
-
Euclidean Hierarchy in Modal Logic
- the more familiar Kripke semantics, thus implying that each Ln is a tabular logic over the well-known modal
- Add To MetaCart
-
Principal-Centric Reasoning in Constructive Authorization Logic
- , and Kripke semantics of the logic. We prove several meta-theoretic results including cut
- Cited by 1 (1 self) – Add To MetaCart

