Open AccessBook
First Steps in Modal Logic
Reads0
Chats0
TLDR
A survey of propositional logic can be found in this article, where the modal language and transition structures are discussed as well as the general completeness result of Kripke-completeness.Abstract:
Introduction Acknowledgements Part I. Preliminaries: 1. Survey of propositional logic 2. The modal language Part II. Transition Structures and Semantics: 3. Labelled transition structures 4. Valuation and satisfaction 5. Correspondence theory 6. The general confluence result Part III. Proof Theory and Completeness: 7. Some consequence relations 8. Standard formal systems 9. The general completeness result 10. Kripke-completeness Part IV. Model Constructions: 11. Bismulations 12. Filtrations 13. The finite model property Part V. More Advanced Material: 14. SLL logic 15. Lob logic 16. Canonicity without the fmp 17. Transition structures aren't enough Part VI. Two Appendices: Bibliography.read more
Citations
More filters
Journal ArticleDOI
Bisimulation for labelled Markov processes
TL;DR: The main result is that a notion of bisimulation for Markov processes on Polish spaces, which extends the Larsen-Skou definition for discrete systems, is indeed an equivalence relation.
Journal ArticleDOI
Proof Analysis in Modal Logic
TL;DR: A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics and it can be extended to treat also Gödel–Löb provability logic.
Book
Advanced Topics in Types and Programming Languages
TL;DR: Topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.
Journal ArticleDOI
Propositional Lax Logic
Matt Fairtlough,Michael Mendler +1 more
TL;DR: This paper investigates a peculiar intuitionistic modal logic, called Propositional Lax Logic (PLL), which has promising applications to the formal verification of computer hardware, and investigates some of its proof-theoretic properties and defines a new class of fallible two-frame Kripke models for PLL.
Book
Handbook of Temporal Reasoning in Artificial Intelligence
TL;DR: This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence.
References
More filters
Book
The Temporal Logic of Reactive and Concurrent Systems: Specification
Amir Pnueli,Zohar Manna +1 more
Book ChapterDOI
Temporal and modal logic
TL;DR: In this article, a multiaxis classification of temporal and modal logic is presented, and the formal syntax and semantics for two representative systems of propositional branching-time temporal logics are described.
Book
Proof Methods for Modal and Intuitionistic Logics
TL;DR: In this paper, the authors present a survey of analytical modal tableaus and consistent properties of these modalities, including logical consequence, compactness, interpolation, and other topics.
Book
Logics of Time and Computation
TL;DR: In this article, the basic theory of modal and temporal propositional logics is set out and applied to logics of discrete (integer), dense (rational), and continuous (real) time.