Results 231 to 240 of about 765,429 (244)

A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics

Studia Logica, 2022
exaly  

Times in Tense Logic

Notre Dame Journal of Formal Logic, 2009
Ulrich Meyer
exaly  

An algebraic axiomatization of the Ewald’s intuitionistic tense logic

Soft Computing, 2014
Gustavo Andrés Pelaitay, Aldo V Figallo
exaly  

Temporal Reference in Linear Tense Logic

Journal of Philosophical Logic, 2010
M J Cresswell
exaly  

Lattices of Finitely Alternative Normal Tense Logics

Studia Logica, 2021
exaly  

Interval semantics for tense logic: Some remarks

Journal of Philosophical Logic, 1979
I L Humberstone
exaly  

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete

Studia Logica, 2005
Tadeusz Litak, Frank Wolter
exaly  

A. N. Prior's rediscovery of tense logic

Erkenntnis, 1993
Peter Øhrstrøm
exaly  

Cut-free sequent calculi for some tense logics

Studia Logica, 1994
exaly  

A conjectured axiomatization of two-dimensional Reichenbachian tense logic

Journal of Philosophical Logic, 1979
Lennart Åqvist
exaly