Journal of Philosophical Logic 27 (5):435 - 487 (1998)

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 temporal logic  branching-time  synchronism  axiomatization
Categories (categorize this paper)
DOI 10.1023/A:1004284420809
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,512
Through your library

References found in this work BETA

Laws and Symmetry.Bas C. Van Fraassen - 1989 - Oxford, England: Oxford University Press.
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, England: Clarendon Press.
Logic and Time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.

View all 10 references / Add more references

Citations of this work BETA

Temporal Logic and its Application to Normative Reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.
Propositional Q-Logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.

View all 9 citations / Add more citations

Similar books and articles

Derivation Rules as Anti-Axioms in Modal Logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
T × W Completeness.Franz Kutschervona - 1997 - Journal of Philosophical Logic 26 (3):241-250.
Knowledge of Validity.Sinan Dogramaci - 2010 - Noûs 44 (3):403-432.
Cut-Rule Axiomatization of the Syntactic Calculus L.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):339-352.


Added to PP index

Total views
39 ( #293,309 of 2,520,899 )

Recent downloads (6 months)
1 ( #405,457 of 2,520,899 )

How can I increase my downloads?


My notes