Modal formulas true at some point in every model

MaRDI QIDQ3629240zbMATH OpenFDO

Authors Lloyd Humberstone

Publication date 27 May 2009

zbMATH Keywords

consequence relationmodal logicJain logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03) History of Indian mathematics (01A32)

Recommendations

• Mostly Meyer modal models
• Modal correspondence for models
• The interval-valued truth degree theory of the modal formulas
• scientific article; zbMATH DE number 727674
• A model existence theorem in infinitary propositional modal logic

Cited in

(5)

• Jaina Logic: A Contemporary Perspective
• Existential definability of modal frame classes
• Context-sensitivity in Jain philosophy: a dialogical study of Siddharṣigaṇi's \textit{Commentary on the handbook of logic}
• Inverse images of box formulas in modal logic
• The disjunction-free fragment of \(\mathbf{D}_2\) is three-valued

This page was built for publication: Modal formulas true at some point in every model

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