A two dimensional tense-modal sortal logic
Journal of Philosophical Logic 36 (5):571 - 598 (2007)
| Abstract | We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFrank Wolter (1995). The Finite Model Property in Tense Logic. Journal of Symbolic Logic 60 (3):757-774.
Takashi Yagisawa (2008). Modal Realism with Modal Tense 1. Australasian Journal of Philosophy 86 (2):309-327.
Ulrich Meyer (2006). Worlds and Times. Notre Dame Journal of Formal Logic 47 (1):25--37.
Lennart Åqvist (1999). The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic. Journal of Philosophical Logic 28 (4):329-369.
Ulrich Meyer (2009). ”Now' and ”Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229--47.
Max A. Freund (2000). A Complete and Consistent Formal System for Sortals. Studia Logica 65 (3):367-381.
Max A. Freund (2001). A Temporal Logic for Sortals. Studia Logica 69 (3):351-380.
Max A. Freund (2004). A Modal Sortal Logic. Journal of Philosophical Logic 33 (3):237-260.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads26 ( #47,623 of 549,070 )Recent downloads (6 months)1 ( #63,185 of 549,070 )How can I increase my downloads? |
My notes
Discussion
