A modal logic for discretely descending chains of sets

DOI10.1023/B:STUD.0000027467.49608.9DzbMath1054.03016OpenAlexW1995051601MaRDI QIDQ1826367

Bernhard Heinemann

Publication date: 6 August 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000027467.49608.9d

zbMATH Keywords

completenessdecidabilitytemporalizationmodal logic of subset spaceslogic of knowledge and effortmodal logic \textbf{S5}propositional linear time temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (2)

A Logic for Belief Contraction ⋮ Reusing topological nexttime logic

This page was built for publication: A modal logic for discretely descending chains of sets