A Gabbay-Rule Free Axiomatization of T x W Validity
Journal of Philosophical Logic 27 (5):435 - 487 (1998)
| Abstract | The semantical structures called T x W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, $[Unrepresented Character]_{o}$ , which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ◇. However, these structures are also suitable for interpreting an extended language, $[Unrepresented Character]_{so}$ , containing a further possibility operator $\lozenge^{s}$ which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history 'simultaneity' operator. In the present paper we provide an infinite set of axioms in $[Unrepresented Character]_{so}$ , which is shown to be strongly complete for T x W-validity. Von Kutschera (1997) contains a finite axiomatization of T x W-validity which however makes use of the Gabbay Irreflexivity Rule (Gabbay, 1981). In order to avoid using this rule, the proof presented here develops a new technique to deal with reflexive maximal consistent sets in Henkin-style constructions. | |||||||||
| 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,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesYde Venema (1993). Derivation Rules as Anti-Axioms in Modal Logic. Journal of Symbolic Logic 58 (3):1003-1034.
Wojciech Zielonka (2001). Cut-Rule Axiomatization of the Syntactic Calculus L. Journal of Logic, Language and Information 10 (2):339-352.
Sinan Dogramaci (2010). Knowledge of Validity. Noûs 44 (3):403-432.
Athanassios Tzouvaras (2003). The Logic of Multisets Continued: The Case of Disjunction. Studia Logica 75 (3):287 - 304.
Lennart Åqvist (1999). The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic. Journal of Philosophical Logic 28 (4):329-369.
Franz Kutschervona (1997). T Ã W Completeness. Journal of Philosophical Logic 26 (3):241-250.
Mark Reynolds (1992). An Axiomatization for Until and Since Over the Reals Without the IRR Rule. Studia Logica 51 (2):165 - 193.
Alberto Zanardo (1996). Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic. Journal of Symbolic Logic 61 (1):1-39.
Franz von Kutschera (1997). T × W Completeness. Journal of Philosophical Logic 26 (3):241 - 250.
Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso (2003). Squares in Fork Arrow Logic. Journal of Philosophical Logic 32 (4):343-355.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads3 ( #202,107 of 549,694 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
