Mathematical Foundations of Computer Science 2005

DOI10.1007/11549345MaRDI QIDQ5492882zbMATH OpenOpenAlexFDO

Authors Bernhard Heinemann

Publication date 20 October 2006

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

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

zbMATH Keywords

decidabilityknowledge and algebrasmodal and hybrid logicreasoning about knowledgetopological reasoning

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Knowledge algebras and their discrete duality
• scientific article; zbMATH DE number 1923135
• Geometrical aspect of databases and knowledge bases.
• A hybrid logic for reasoning about knowledge and topology
• A logico-algebraic approach to the model theory of knowledge

Cited in

(10)

• A hybrid logic for reasoning about knowledge and topology
• Epistemic foundations for set-algebraic representations of knowledge
• An algebraic approach to knowledge base models informational equivalence
• scientific article; zbMATH DE number 5910828 (Why is no real title available?)
• scientific article; zbMATH DE number 60119 (Why is no real title available?)
• scientific article; zbMATH DE number 647709 (Why is no real title available?)
• scientific article; zbMATH DE number 1923135 (Why is no real title available?)
• scientific article; zbMATH DE number 1418346 (Why is no real title available?)
• Knowledge algebras and their discrete duality
• An algebraic semantics of notional entailment logic Cn

This page was built for publication: Mathematical Foundations of Computer Science 2005

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