A two dimensional tense-modal sortal logic

DOI10.1007/S10992-007-9050-6MaRDI QIDQ2454876zbMATH OpenOpenAlexFDO

Authors Max A. Freund

Publication date 22 October 2007

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-007-9050-6

zbMATH Keywords

modal logicsecond-order monadic predicate logicsortal logictemporal logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Review text

This paper consists of five parts. After some introductory remarks, in Section 2 outlines of conceptual realism are sketched. These remarks are intended to motivate the semantical definition in Section 3 of a two-dimensional modal and temporal predicate logic with relative (sortal) identity, first-order sortal quantification, and second-order quantification over sorts. In Section 4 an axiom system for the language under con\-sideration is presented. The main part of the paper, Section 5, then consists of proofs of soundness and completeness with respect to the semantics of Section 3.

Recommendations

• A temporal logic for sortals
• A modal sortal logic
• A modal-tense sortal logic with variable-domain second-order quantification
• A complete and consistent formal system for sortals
• Some System of Predicate Tense Logic

Cites work

• A modal sortal logic
• A temporal logic for sortals
• Combinations of tense and modality for predicate logic
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 3604868 (Why is no real title available?)
• scientific article; zbMATH DE number 1028835 (Why is no real title available?)
• scientific article; zbMATH DE number 3993529 (Why is no real title available?)
• Relative Identity: A Reconsideration

Cited in

(7)

• The logic of historical necessity as founded on two-dimensional modal tense logic
• A modal sortal logic
• Axiomatising the Prior future in predicate logic
• scientific article; zbMATH DE number 4213961 (Why is no real title available?)
• A modal-tense sortal logic with variable-domain second-order quantification
• Contextual logic with modalities for time and space
• scientific article; zbMATH DE number 4121966 (Why is no real title available?)

This page was built for publication: A two dimensional tense-modal sortal logic

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