scientific article; zbMATH DE number 2196591

MaRDI QIDQ5465441zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 22 August 2005

zbMATH Keywords

bimodal logiccompletenessdecidabilitysubset spacestopological reasoning

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• Characterizing subset spaces as bi-topological structures
• Topological reasoning and the logic of knowledge
• A modal logic for discretely descending chains of sets
• Completeness of certain bimodal logics for subset spaces
• Topological facets of the logic of subset spaces (with emphasis on canonical models)

Cited in

(1)

• Characterizing subset spaces as bi-topological structures

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 Q5465441)