scientific article; zbMATH DE number 1215464

zbMath0917.03010MaRDI QIDQ4215596

Bernhard Heinemann

Publication date: 7 July 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicsemanticstopological modal logicbimodal logicnexttime operatorknowledge operatortopological nexttime logicneighborhood situations

Mathematics Subject Classification ID

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

Related Items (8)

Augmenting Subset Spaces to Cope with Multi-agent Knowledge ⋮ A Logic for Belief Contraction ⋮ On Binary Computation Structures ⋮ Temporal aspects of the modal logic of subset spaces ⋮ Epistemic Conditionals and the Logic of Subsets ⋮ Using hybrid logic for coping with functions in subset spaces ⋮ Reusing topological nexttime logic ⋮ Observational Effort and Formally Open Mappings

This page was built for publication: