Results 211 to 216 of about 2,910 (216)

Times in Tense Logic

Notre Dame Journal of Formal Logic, 2009
Ulrich Meyer
exaly  

Temporal Reference in Linear Tense Logic

Journal of Philosophical Logic, 2010
M J Cresswell, Cresswell M J
exaly  

An algebraic axiomatization of the Ewald’s intuitionistic tense logic

Soft Computing, 2014
Aldo V Figallo, Gustavo Pelaitay, Pelaitay Gustavo   +2 more
exaly  

A. N. Prior's rediscovery of tense logic

Erkenntnis, 1993
Peter Øhrstrøm, Øhrstrøm Peter
exaly  

A conjectured axiomatization of two-dimensional Reichenbachian tense logic

Journal of Philosophical Logic, 1979
Lennart Åqvist, Åqvist Lennart
exaly  

A Note on the Interpolation Property in Tense Logic

Journal of Philosophical Logic, 1997
Frank Wolter, Wolter Frank
exaly