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

completenessdecidabilityhybrid logicknowledgemodal 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)

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

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)