A two-sorted hybrid logic including guarded jumps

zbMATH Open1109.03013MaRDI QIDQ5483002FDOQ5483002

Bernhard Heinemann

Publication date: 15 August 2006

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

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)

Cited In (2)

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

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)