scientific article; zbMATH DE number 1215464

zbMATH Open0917.03010MaRDI QIDQ4215596FDOQ4215596

Authors: Bernhard Heinemann 

Publication date: 7 July 1999

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

Recommendations

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

zbMATH Keywords

semanticsmodal logicbimodal logictopological modal logicnexttime operatorknowledge operatortopological nexttime logicneighborhood situations

Mathematics Subject Classification ID

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

Cited In (10)

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