Modal Logics with Counting

DOI10.1007/978-3-642-13824-9_9MaRDI QIDQ4931593zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Guillaume Hoffmann, A. Denis

Publication date 29 September 2010

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13824-9_9

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Recommendations

• Decidable first-order modal logics with counting quantifiers
• Logics with counting and equivalence
• Modal logic over finite structures
• scientific article; zbMATH DE number 2048519
• Quantified modal logic
• scientific article; zbMATH DE number 1028834
• scientific article; zbMATH DE number 1852921
• scientific article; zbMATH DE number 1975408
• Logics with counting and local properties
• scientific article; zbMATH DE number 2101966

Cited in

(7)

• A modal representation of graded medical statements
• Number of non-Fregean sentential logics that have adequate models
• Counting Objects
• Decidable logics with associative binary modalities
• Adequacy of the logic \(\mathrm{K}(\mathsf{E}_{n})\)
• Hybrid modal operators for definite descriptions
• The modal logic of n-state frames

This page was built for publication: Modal Logics with Counting

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