COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND

DOI10.1017/S1755020322000247MaRDI QIDQ6131221zbMATH OpenOpenAlexWikidataFDO

Authors Yde Venema

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

bisimulation invariancecompletenessgeneralised quantifiersgraded modal logicinfinity diamond

Mathematics Subject Classification ID

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

Cites work

• “Sometimes” and “not never” revisited
• A note on graded modal logic
• An Infinitary Graded Modal Logic (Graded Modalities VI)
• Counting Objects
• Finality regained: A coalgebraic study of Scott-sets and multisets
• Graded modalities. I
• Graded modalities. II. (Canonical models)
• Handbook of modal logic
• scientific article; zbMATH DE number 1678374 (Why is no real title available?)
• scientific article; zbMATH DE number 5853298 (Why is no real title available?)
• scientific article; zbMATH DE number 6003856 (Why is no real title available?)
• scientific article; zbMATH DE number 3528202 (Why is no real title available?)
• scientific article; zbMATH DE number 3289419 (Why is no real title available?)
• scientific article; zbMATH DE number 3349770 (Why is no real title available?)
• In so many possible worlds
• Modal logic
• Modal logic over finite structures
• Model theory of monadic predicate logic with the infinity quantifier
• On a generalization of quantifiers
• PSpace reasoning for graded modal logics
• The Modality of Finite (Graded Modalities VII)
• Universal coalgebra: A theory of systems

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

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