Algebraic Methodology and Software Technology

DOI10.1007/B98770zbMATH Open1108.68386OpenAlexW2973096144MaRDI QIDQ5312979FDOQ5312979

Authors: Bernhard Heinemann 

Publication date: 25 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98770

Recommendations

• A hybrid logic for reasoning about knowledge and topology
• scientific article; zbMATH DE number 2087690
• Topological reasoning and the logic of knowledge
• A Two-Dimensional Hybrid Logic of Subset Spaces
• A two-sorted hybrid logic including guarded jumps

zbMATH Keywords

hybridizationcompletenessdecidabilitylogical frameworks for reasoningreasoning about knowledge and topology

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (7)

• Topological reasoning and the logic of knowledge
• A hybrid logic for reasoning about knowledge and topology
• Title not available (Why is that?)
• Including the Past in ‘Topologic’
• Topological perspective on the hybrid proof rules
• AI*IA 2005: Advances in Artificial Intelligence
• A two-sorted hybrid logic including guarded jumps

This page was built for publication: Algebraic Methodology and Software Technology

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