Open AccessBook
Modal Logic
Reads0
Chats0
About:
The article was published on 1997-06-19 and is currently open access. It has received 727 citations till now. The article focuses on the topics: Classical modal logic & Modal logic.read more
Citations
More filters
Book ChapterDOI
Semi-qualitative Reasoning about Distances: A Preliminary Report
TL;DR: A family of languages intended for representing knowledge and reasoning about metric (and more general distance) spaces and considers, for example, the spaces R × R and N × N with their natural metrics.
Journal ArticleDOI
Explicit Provability and Constructive Semantics
TL;DR: This paper finds the logic LP of propositions and proofs and shows that Godel's provability calculus is nothing but the forgetful projection of LP, which achievesGodel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which resisted formalization since the early 1930s.
Book ChapterDOI
14 Hybrid logics
Carlos Areces,Balder ten Cate +1 more
TL;DR: This chapter discusses the proof theory, expressivity, and complexity of a number of the well-known hybrid logics and provides a snapshot of the logical territory lying between the basic modal languages and their classical companions.
Journal ArticleDOI
ε-connections of abstract description systems
TL;DR: This paper proposes a new combination method which is computationally robust in the sense that the combination of decidable formalisms is again decidable, and which, nonetheless, allows non-trivial interactions between the combined components.
Book
Tools and Techniques in Modal Logic
TL;DR: The General Theory of Modal Logic (GTL) as discussed by the authors is an extension of K4 of modal logic that reduces polymodal logic to monomodal logic.