A two dimensional tense-modal sortal logic

DOI10.1007/S10992-007-9050-6zbMATH Open1126.03022OpenAlexW2163927396MaRDI QIDQ2454876FDOQ2454876

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

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

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)

Cites Work

• Combinations of tense and modality for predicate logic
• Title not available (Why is that?)
• A modal sortal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relative Identity: A Reconsideration
• A temporal logic for sortals
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• 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)