scientific article; zbMATH DE number 2087690

MaRDI QIDQ4738569zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2313/23130204.htm

zbMATH Keywords

hybrid logicmodal logicreasoning about knowledgetemporal reasoningtopological reasoning

Mathematics Subject Classification ID

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

Recommendations

• A hybrid logic for reasoning about knowledge and topology
• A Two-Dimensional Hybrid Logic of Subset Spaces
• Using hybrid logic for coping with functions in subset spaces
• Topological reasoning and the logic of knowledge
• The Hybrid Logic of Linear Set Spaces

Cited in

(7)

• Evolutionary families of sets
• Evolving sets and mixing
• A Two-Dimensional Hybrid Logic of Subset Spaces
• The Hybrid Logic of Linear Set Spaces
• Algebraic Methodology and Software Technology
• Base changeable sets and mathematical simulation of the evolution of systems
• Using hybrid logic for coping with functions in subset spaces

This page was built for publication:

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