On sets growing continuously

DOI10.1007/3-540-46691-6_34MaRDI QIDQ4501687zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 4 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46691-6_34

zbMATH Keywords

continuous timedecidabilitygrowing setmodal logicsituation

Mathematics Subject Classification ID

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

Review text

A system of modal logic with two modal operators is introduced to describe the continuous growth of sets over time. Soundness and completeness results are given and issues of decidability are discussed. For the entire collection see [Zbl 0931.00044].

Recommendations

• Generalizing the modal and temporal logic of linear time
• Linear Tense Logics of Increasing Sets
• A modal logic for discretely descending chains of sets
• Modal Expressivity and Definability over Sets
• scientific article; zbMATH DE number 38137

Cited in

(3)

• A logic for belief contraction
• Linear Tense Logics of Increasing Sets
• Epistemic conditionals and the logic of subsets

This page was built for publication: On sets growing continuously

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