Reusing topological nexttime logic

DOI10.1007/S11225-019-09894-XMaRDI QIDQ2027210zbMATH OpenOpenAlexWikidataFDO

Authors 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

epistemic actionsreasoning about knowledgesubset space semanticstopological nexttime logic

Mathematics Subject Classification ID

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

Recommendations

• Temporal aspects of the modal logic of subset spaces
• A hybrid logic for reasoning about knowledge and topology
• scientific article; zbMATH DE number 1215464
• Topological reasoning and the logic of knowledge
• scientific article; zbMATH DE number 1361487

Cites work

• A modal logic for discretely descending chains of sets
• Announcement as effort on topological spaces
• Augmenting subset spaces to cope with multi-agent knowledge
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 1215464 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• Logics for multi-subset spaces
• Modal logic
• Subset space logic with arbitrary announcements
• Subset space public announcement logic
• Topo-logic as a dynamic-epistemic logic
• Topological facets of the logic of subset spaces (with emphasis on canonical models)
• Topological reasoning and the logic of knowledge

Cited in

(5)

• Temporal aspects of the modal logic of subset spaces
• Updating knowledge using subsets
• scientific article; zbMATH DE number 1215464 (Why is no real title available?)
• Augmenting subset spaces to cope with multi-agent knowledge
• Using hybrid logic for coping with functions in subset spaces

This page was built for publication: Reusing topological nexttime logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2027210)