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

modal logictemporal reasoninghybrid logicreasoning about knowledgetopological reasoning

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) Temporal logic (03B44)

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)

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

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)