Reusing topological nexttime logic

DOI10.1007/s11225-019-09894-xzbMath1484.03025OpenAlexW3002943643WikidataQ126313181 ScholiaQ126313181MaRDI QIDQ2027210

Bernhard Heinemann

Publication date: 25 May 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-019-09894-x

zbMATH Keywords

reasoning about knowledgeepistemic actionssubset space semanticstopological nexttime logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topo-logic as a dynamic-epistemic logic
• A modal logic for discretely descending chains of sets
• Topological reasoning and the logic of knowledge
• Logics for multi-subset spaces
• Subset Space Logic with Arbitrary Announcements
• Subset Space Public Announcement Logic
• Handbook of Spatial Logics
• Topological facets of the logic of subset spaces (with emphasis on canonical models)
• Augmenting Subset Spaces to Cope with Multi-agent Knowledge

This page was built for publication: Reusing topological nexttime logic