scientific article; zbMATH DE number 1215464

MaRDI QIDQ4215596zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 7 July 1999

zbMATH Keywords

bimodal logicknowledge operatormodal logicneighborhood situationsnexttime operatorsemanticstopological modal logictopological nexttime logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Temporal aspects of the modal logic of subset spaces
• scientific article; zbMATH DE number 1361487
• Reusing topological nexttime logic

Cited in

(11)

• Temporal aspects of the modal logic of subset spaces
• Reusing topological nexttime logic
• A logic for belief contraction
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• Epistemic conditionals and the logic of subsets
• Observational Effort and Formally Open Mappings
• On Binary Computation Structures
• scientific article; zbMATH DE number 1361487 (Why is no real title available?)
• Augmenting subset spaces to cope with multi-agent knowledge
• Topological modal logics satisfying finite chain conditions
• 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 Q4215596)