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 logictemporal logicsortal logicsecond-order monadic predicate logic

Mathematics Subject Classification ID

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

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

• 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?)
• A modal sortal logic
• A temporal logic for sortals
• Combinations of tense and modality for predicate logic
• Relative Identity: A Reconsideration

Cited in

(6)

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

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)