scientific article; zbMATH DE number 2087690

zbMATH Open1077.68848MaRDI QIDQ4738569FDOQ4738569

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

Title of this publication is not available (Why is that?)

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

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)

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)