Searching for "Kripke Semantics" – sorted by Relevance.
641 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
