Searching for "Abstract modal logics." – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
- …Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes Martin Berger…
- Add To MetaCart
-
Reasoning about epistemic states of agents by modal logic programming
- …Reasoning about Epistemic States of Agents by Modal Logic Programming Linh Anh Nguyen Institute…
- Cited by 6 (6 self) – Add To MetaCart
-
A Crash Course in Arrow Logic
- … for developing arrow logics was to investigate the theory of Relation Algebras from an abstract modal point…
- Cited by 25 (2 self) – Add To MetaCart
-
KD45 is not a doxastic logic
- … is not a doxastic logic John Slaney Abstract The modal logic KD45 is frequently presented as the standard…
- Add To MetaCart
-
Expressivity of coalgebraic modal logic: The limits and beyond
- … of Computer Science, University of Bremen Abstract. Modal logic has a good claim to being the logic of choice…
- Cited by 18 (8 self) – Add To MetaCart
-
Shallow Models for Non-Iterative Modal Logics
- … London Abstract. Modal logics see a wide variety of applications in artificial intelligence, e…
- Cited by 1 (1 self) – Add To MetaCart
-
UNIVERSITÀ DEGLI STUDI DI NAPOLI “FEDERICO II” GRADED COMPUTATION TREE LOGIC
- … II", 80126 Napoli, Italy. {bianco, mogavero, murano}@(email omitted); Abstract. In modal logics, graded…
- Add To MetaCart
-
A Lindström theorem for modal logic
- …A Lindstrom theorem for modal logic Maarten de Rijke Abstract A modal analogue of Lindstrom…
- Cited by 5 (2 self) – Add To MetaCart
-
By
- … Australia By Timothy Noel French December 2006 Abstract Modal logics have found applications in many…
- Add To MetaCart
-
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
- … of Computer Science, University of Bremen Abstract. Modal logic has a good claim to being the logic of choice…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
