- Introductory Remarks.[author unknown] - 1946 - Synthese 5 (1):44-44.details
|
|
Advertisement.[author unknown] - 1998 - Symposium 2 (2):258-258.details
|
|
Advertisement.[author unknown] - 1999 - Symposium 3 (2):304-304.details
|
|
Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.details
|
|
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Øhrstrøm & Per F. V. Hasle - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.details
|
|
Decidability and the finite model property.Alasdair Urquhart - 1981 - Journal of Philosophical Logic 10 (3):367 - 370.details
|
|
Modality and quantification in S5.A. N. Prior - 1956 - Journal of Symbolic Logic 21 (1):60-62.details
|
|
Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
Decision problems for propositional linear logic.Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar - 1992 - Annals of Pure and Applied Logic 56 (1-3):239-311.details
|
|
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.details
|
|
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.details
|
|
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.details
|
|
Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.details
|
|
Short Proofs of Tautologies using the Schema of Equivalence.Matthias Baaz & Richard Zach - 1994 - In Egon Börger, Yuri Gurevich & Karl Meinke (eds.), Computer Science Logic. 7th Workshop, CSL '93, Swansea. Selected Papers. Berlin: Springer. pp. 33-35.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.details
|
|
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.details
|
|
Time and Modality.A. N. PRIOR - 1957 - Philosophy 34 (128):56-59.details
|
|
Time and Modality.A. N. PRIOR - 1957 - Zeitschrift für Philosophische Forschung 13 (3):477-479.details
|
|