On Topologically Relevant Fragments of the Logic of Linear Flows of Time

DOI10.1007/978-3-662-47709-0_3zbMath1465.03061OpenAlexW1447620933MaRDI QIDQ2947457

Bernhard Heinemann

Publication date: 24 September 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47709-0_3

zbMATH Keywords

temporal logictopological semanticsbi-modal logiccanonical topo-modellinear flows of time

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Modal languages for topology: expressivity and definability
• Topological reasoning and the logic of knowledge
• The Topology of Belief, Belief Revision and Defeasible Knowledge
• Characterizing Subset Spaces as Bi-topological Structures
• Subset Space Logic with Arbitrary Announcements
• Subset Space Public Announcement Logic
• Handbook of Spatial Logics
• Dynamic Epistemic Logic and Knowledge Puzzles
• Reasoning About Space: The Modal Way

This page was built for publication: On Topologically Relevant Fragments of the Logic of Linear Flows of Time