A modal logic for discretely descending chains of sets

DOI10.1023/B:STUD.0000027467.49608.9DzbMATH Open1054.03016OpenAlexW1995051601MaRDI QIDQ1826367FDOQ1826367

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

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

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)

Cited In (7)

• Topological modal logics satisfying finite chain conditions
• Reusing topological nexttime logic
• Title not available (Why is that?)
• Completeness of certain bimodal logics for subset spaces
• Some descending chains of incomplete modal logics
• Characterizing subset spaces as bi-topological structures
• 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)