scientific article; zbMATH DE number 1215464

MaRDI QIDQ4215596zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 7 July 1999

zbMATH Keywords

semanticsmodal logicbimodal logictopological modal logicnexttime operatorknowledge operatortopological nexttime logicneighborhood situations

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

(10)

• Epistemic conditionals and the logic of subsets
• Augmenting subset spaces to cope with multi-agent knowledge
• Topological modal logics satisfying finite chain conditions
• Reusing topological nexttime logic
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• Observational Effort and Formally Open Mappings
• Temporal aspects of the modal logic of subset spaces
• A logic for belief contraction
• On Binary Computation Structures
• 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)