Branching-time logic with quantification over branches: The point of view of modal logic

Journal of Symbolic Logic

Volumn 61, Issue 1, 1996, Pages 1-39

  Zanardo, Alberto ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030553582     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275595     Document Type: Article

References (36)

1. J. BELL and M. MACHOVER, A course in mathematical logic, North-Holland, Amsterdam, 1977.
2. N. BELNAP, Branching space-time, Synthese, vol. 92 (1992), pp. 385-434.
3. N. BELNAP and M. GREEN, Indeterminism and the red thin line, Philosophical Perspectives, Vol. 8: Logic and Language (1994), pp. 365-388.
4. N. BELNAP and M. PERLOFF, Seeing to it that: a canonical form of agentives, Knowledge representation and defeasible reasonings (H. E. Kyburg, Jr., R. P. Loui, and G. N. Carlson, editors), Kluwer Academic Publisher, 1990, pp. 175-199.
5. J. VAN BENTHEM, The logic of time, Reidel, Dordrecht, 1983.
6. _, Modal logic and classical logic, Bibliopolis, Napoli, 1985.
7. _, Temporal logic, Handbook of logic in artificial intelligence and logic programming Vol. III (D. Gabbay, editor), Oxford University Press, Oxford, 1992.
8. _, Logic as programming, Fundamenta Informaticae, vol. 17 (1994), pp. 285-317.
9. J. BURGESS, Logic and time, this JOURNAL, vol. 44 (1979), pp. 556-582.
10. _, Decidability for branching time, Studia Logica, vol. 39 (1980), pp. 203-218.
11. _, Axioms for tense logic I. "Since" and "Until", Notre Dame Journal of Formal Logic, vol. 23 (1982), pp. 367-374.
12. C. CHANG and J. KEISLER, Model theory, (3rd ed.), North-Holland, Amsterdam, 1990.
13. B. CHELLAS, Time and modality in the logic of agency, Studia Logica, vol. 51 (1992), pp. 485-517.
14. E. CLARKE and E. EMERSON, Design and synthesis of synchronization skeletons using branching time temporal logic, Proceedings of the Workshop on Logics of Programs (D. Kozen, editor), Lecture Notes in Computer Science, vol. 131, Springer-Verlag, 1981, pp. 52-71.
15. M. C. Di MAIO and A. ZANARDO, Synchronised histories in Prior-Thomason representation of branching time, Proceedings of the First International Conference on Temporal Logic (D. Gabbay and H. Ohlbach, editors), Springer-Verlag, 1994, pp. 265-282.
16. E. EMERSON, Alternative semantics for temporal logics, Theoretical Computer Science, vol. 26 (1983), pp. 120-130.
17. D. GABBAY, An irreflexivity lemma with applications to axiomatizations of conditions on tense frames, Aspects of Philosophical Logic (U. Mönnich, editor), Reidel, Dordrecht, 1981, pp. 67-89.
18. D. GABBAY, I. HODKINSON, and M. REYNOLDS, Temporal logic: Mathematical foundation and computational aspects Vol. I, Oxford University Press, Oxford, 1994.
19. Y. GUREVICH and S. SHELAH, The decision problem for branching time logic, this JOURNAL, vol. 50 (1985), pp. 668-681.
20. J. KAMP, Tense logic and the theory of linear order, Ph.D. dissertation, University of California at Los Angeles, 1968.
21. _, Formal properties of 'now', Theoria, vol. 37 (1971), pp. 227-273.
22. F. VON KUTSCHERA, Causation, Journal of Philosophical Logic, vol. 22 (1993), pp. 563-588.
23. L. HENKIN, Completeness in the theory of types, this JOURNAL, vol. 15 (1950), pp. 81-91.
24. A. PRIOR, Past, present and future, Clarendon, Oxford, 1967.
25. H. SAHLQVIST, Completeness and correspondence and the first and second order semantics for modal logic, Proceedings of the third Scandinavian logic symposium (S. Kanger, editor), North-Holland, Amsterdam, pp. 110-143.
26. G. SAMBIN and V. VACCARO, A new proof of Sahlqvist's theorem on modal definability and completeness, this JOURNAL, vol. 54 (1989), pp. 992-999.
27. K. SEGERBERG, Modal logics with linear alternative relations, Theoria, vol. 36 (1970), pp. 301-322.
28. C. STIRLING, Modal and temporal logics, Handbook of Logic in Computer Science (S. Abramsky D. Gabbay and T. Maibaum, editors), Oxford University Press, Oxford, 1991.
29. R. THOMASON, Combinations offense and modality, The Handbook of Philosophical Logic, vol. 2 (D. Gabbay and F. Guenthner, editors), Reidel, Dordrecht, 1984, pp. 135-165.
30. Y. VENEMA, Derivation Rules as anti-axioms in modal logic, this JOURNAL, vol. 58 (3) (1993), pp. 1003-1034.
31. M. XU, On some US-tense logics, Journal of Philosophical Logic, vol. 17 (1988), pp. 181-202.
32. A. ZANARDO, A finite axiomatization of the set of strongly valid Ockhamist formulas, Journal of Philosophical Logic, vol. 14 (1985), pp. 447-468.
33. _, On the charactezizability of the frames for the unpreventability of the present and the past, Notre Dame Journal of Formal Logic, vol. 27 (1986), pp. 556-564.
34. _, Axiomatization of 'Peircean' branching-time logic, Studia Logica, vol. 49 (1990), pp. 183-195.
35. _, A complete deductive system for Since-Until branching-time logic, Journal of Philosophical Logic, vol. 20 (1991), pp. 131-148.
36. A. ZANARDO and J. CARMO, Ockhamist computational logic: Past-sensitive necessitation in CTL*, Journal of Logic and Computation, vol. 3 (1993), pp. 249-268.