- Events, instants and temporal reference.Hans Kamp - 1979 - In Rainer Bäuerle, Urs Egli & Arnim von Stechow (eds.), Semantics from different points of view. New York: Springer Verlag. pp. 376--418.details
|
|
On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.details
|
|
On the decision problem for two-variable first-order logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.details
|
|
Expressiveness and completeness of an interval tense logic.Yde Venema - 1990 - Notre Dame Journal of Formal Logic 31 (4):529-547.details
|
|
A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.details
|
|
A general tableau method for propositional interval temporal logics: Theory and implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.details
|
|
Chronological Future Modality in Minkowski Spacetime.Ilya Shapirovsky & Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 437-459.details
|
|
Two variable first-order logic over ordered domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.details
|
|
On The Decision Problem For Two-variable First-order Logic, By, Pages 53 -- 69.Erich Gr\"Adel, Phokion Kolaitis & Moshe Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.details
|
|
On the Decision Problem for Two-Variable First-Order Logic.Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.details
|
|