References
Burgess J., ‘Logic and time’,Journal of Symbolic Logic 44 (1979), 566–582.
Burgess J., ‘The unreal future,’Theoria 44 (1978), 157–179.
Gurevich, Y. and Shelah, S., ‘Branching time logic’,Journal of Symbolic Logic, forthcoming.
Prior A.,Past, Present and Future, Clarendon Press, Oxford (1967).
Segerberg K., ‘Modal logics with linear alternative relations’,Theoria 36 (1970), 301–322.
Thomason R., ‘Combinations of tense and modality’, in D. Gabbay and F. Guenthner (eds.),The Handbook of Philosophical Logic, vol. 2, D. Reidel, Dordrecht (1984).
Author information
Authors and Affiliations
Additional information
Ricercatore Universitario, Istituto di Analisi e Meccanica, Università di Padova.
Rights and permissions
About this article
Cite this article
Zanardo, A. A finite axiomatization of the set of strongly valid Ockhamist formulas. J Philos Logic 14, 447–468 (1985). https://doi.org/10.1007/BF00649485
Issue Date:
DOI: https://doi.org/10.1007/BF00649485