A modal logic for discretely descending chains of sets

DOI10.1023/B:STUD.0000027467.49608.9DMaRDI QIDQ1826367zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Some descending chains of incomplete modal logics
• scientific article; zbMATH DE number 1975408
• Finite-Chain Graded Modal Logic
• Topological modal logics satisfying finite chain conditions
• Sequent-systems for modal logic
• On nested sequents for constructive modal logics
• A Sequent Calculus for the Lesniewskian Modal Logic
• Some strong logics within combinatorial set theory and the logic of chains
• Modular sequent systems for modal logic
• Expressivity in chain-based modal logics

Cited in

(7)

• Characterizing subset spaces as bi-topological structures
• Topological modal logics satisfying finite chain conditions
• Reusing topological nexttime logic
• scientific article; zbMATH DE number 2196591 (Why is no real title available?)
• Some descending chains of incomplete modal logics
• Completeness of certain bimodal logics for subset spaces
• A logic for belief contraction

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1826367)