- Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.details
|
|
Moment/History Duality in Prior’s Logics of Branching-Time.Alberto Zanardo - 2006 - Synthese 150 (3):483-507.details
|
|
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.details
|
|
Review: Michael O. Rabin, Decidability of Second-order Theories and Automata on Infinite Trees. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.details
|
|
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..details
|
|
Combinations of tense and modality for predicate logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.details
|
|
The decision problem for branching time logic.Yuri Gurevich & Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (3):668-681.details
|
|
Modal and Temporal Logics.Colin P. Stirling - 1991 - LFCS, Department of Computer Science, University of Edinburgh.details
|
|
Propositional Q-Logic.Wolfl Stefan - 2002 - Journal of Philosophical Logic 31 (5):387-414.details
|
|
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.details
|
|
Topological aspects of branching-time semantics.Michela Sabbadin & Alberto Zanardo - 2003 - Studia Logica 75 (3):271 - 286.details
|
|
Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.details
|
|
A finite axiomatization of the set of strongly valid ockhamist formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.details
|
|
Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.details
|
|
Past, Present and Future.L. Jonathan Cohen - 1970 - Philosophical Quarterly 20 (78):83-84.details
|
|
Temporal patterns and modal structure.J. van Benthem - 1999 - Logic Journal of the IGPL 7 (1):7-26.details
|
|
The unreal future.John P. Burgess - 1978 - Theoria 44 (3):157-179.details
|
|
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.details
|
|
An irreflexivity lemma with applications to axiomatizations of conditions on tense frames.Dov M. Gabbay - 1981 - In Uwe Mönnich (ed.), Aspects of Philosophical Logic: Some Logical Forays Into Central Notions of Linguistics and Philosophy. Dordrecht, Netherland: Dordrecht. pp. 67--89.details
|
|
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.details
|
|
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.details
|
|
Decidability for branching time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.details
|
|
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.details
|
|
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.details
|
|
Moment/History Duality in Prior’s Logics of Branching-Time.Alberto Zanardo - 2006 - Synthese 150 (3):483 - 507.details
|
|