A two-sorted hybrid logic including guarded jumps

MaRDI QIDQ5483002zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 15 August 2006

zbMATH Keywords

modal logictwo-sorted logichybrid logictopological systemreasoning about knowledgedirected spaces

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• A hybrid logic for reasoning about knowledge and topology
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1303728
• The Hybrid Logic of Linear Set Spaces
• A Two-Dimensional Hybrid Logic of Subset Spaces

Cited in

(2)

• Algebraic Methodology and Software Technology
• A hybrid logic for reasoning about knowledge and topology

This page was built for publication: A two-sorted hybrid logic including guarded jumps

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