COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND

DOI10.1017/s1755020322000247OpenAlexW4284888488WikidataQ114116103 ScholiaQ114116103MaRDI QIDQ6131221

Yde Venema, Unnamed Author

Publication date: 4 April 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020322000247

zbMATH Keywords

completenessgraded modal logicbisimulation invariancegeneralised quantifiersinfinity diamond

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)

Cites Work

• Graded modalities. I
• Graded modalities. II. (Canonical models)
• Modal logic over finite structures
• Finality regained: A coalgebraic study of Scott-sets and multisets
• Universal coalgebra: A theory of systems
• A note on graded modal logic
• Model theory of monadic predicate logic with the infinity quantifier
• In so many possible worlds
• PSPACE Reasoning for Graded Modal Logics
• On a generalization of quantifiers
• “Sometimes” and “not never” revisited
• The Modality of Finite (Graded Modalities VII)
• Counting Objects
• An Infinitary Graded Modal Logic (Graded Modalities VI)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND