A modal-tense sortal logic with variable-domain second-order quantification

MaRDI QIDQ3466627zbMATH OpenFDO

Authors Max Alberto Freund

Publication date 1 February 2016

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/2084/2035

zbMATH Keywords

modal-tense sorted logicsecond-order quantifiers

Mathematics Subject Classification ID

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

Recommendations

• A two dimensional tense-modal sortal logic
• A modal sortal logic
• First-order modal logic
• A temporal logic for sortals
• Modal logic. An introduction to its syntax and semantics

Cited in

(4)

• A modal sortal logic
• A two dimensional tense-modal sortal logic
• Constructing formal semantics from an ontological perspective. The case of second-order logics
• Improved Second-Order Quantifier Elimination in Modal Logic

This page was built for publication: A modal-tense sortal logic with variable-domain second-order quantification

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