The Hybrid Logic of Linear Set Spaces

DOI10.1093/JIGPAL/12.3.181MaRDI QIDQ4823801zbMATH OpenOpenAlexFDO

Authors Bernhard Heinemann

Publication date 28 October 2004

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/12.3.181

zbMATH Keywords

completenessdecidabilityknowledgehybrid logicmodal logic of set spaces

Mathematics Subject Classification ID

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

Recommendations

• A hybrid logic for reasoning about knowledge and topology
• Using hybrid logic for coping with functions in subset spaces
• Temporal aspects of the modal logic of subset spaces
• scientific article; zbMATH DE number 2087690
• Logics for multi-subset spaces

Cited in

(7)

• Using hybrid logic for coping with functions in subset spaces
• A hybrid logic for reasoning about knowledge and topology
• A Two-Dimensional Hybrid Logic of Subset Spaces
• scientific article; zbMATH DE number 2087690 (Why is no real title available?)
• Poset-valued sets or how to build models for linear logics
• A two-sorted hybrid logic including guarded jumps
• Regarding overlaps in `topologic'

This page was built for publication: The Hybrid Logic of Linear Set Spaces

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