Journal of Philosophical Logic 14 (4):447 - 468 (1985)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/BF00649485 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Citations of this work BETA
Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.
Derivation Rules as Anti-Axioms in Modal Logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
An Axiomatization of Full Computation Tree Logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
Completeness of a Branching-Time Logic with Possible Choices.Roberto Ciuni & Alberto Zanardo - 2010 - Studia Logica 96 (3):393-420.
Combinations of Tense and Modality for Predicate Logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.
View all 25 citations / Add more citations
Similar books and articles
Finite Structural Axiomatization of Every Finite-Valued Propositional Calculus.Zdzis?aw Dywan - 1980 - Studia Logica 39 (1):1 - 4.
Axiom Systems for First Order Logic with Finitely Many Variables.James S. Johnson - 1973 - Journal of Symbolic Logic 38 (4):576-578.
A Gabbay-Rule Free Axiomatization of T X W Validity.Maria Concetta Di Maio & Alberto Zanardo - 1998 - Journal of Philosophical Logic 27 (5):435 - 487.
The Existence of Matrices Strongly Adequate for E, R and Their Fragments.Marek Tokarz - 1979 - Studia Logica 38 (1):75 - 85.
The Lattice of Strengthenings of a Strongly Finite Consequence Operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
An Axiomatization for Until and Since Over the Reals Without the IRR Rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
Analytics
Added to PP index
2009-01-28
Total views
40 ( #285,880 of 2,520,770 )
Recent downloads (6 months)
1 ( #405,623 of 2,520,770 )
2009-01-28
Total views
40 ( #285,880 of 2,520,770 )
Recent downloads (6 months)
1 ( #405,623 of 2,520,770 )
How can I increase my downloads?
Downloads
