The power of the ''always'' operator in first-order temporal logic

By Kaminski M.   Chung K.W.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 271-281

Elsevier

Access to resources Recommend Favorite

Completeness of a first-order temporal logic with time-gaps

By Baaz M.   Leitsch A.   Zach R.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 241-270

Elsevier

Access to resources Recommend Favorite

From first-order logic to automated word generation for Lyee

By Amon B.   Ekenberg L.   Johannesson P.   Munguanaze M.   Njabili U.   Manka Tesha R.  

Knowledge-Based Systems, Vol. 16, Iss. 7, 2003-11 ,pp. : 413-429

Elsevier

Access to resources Recommend Favorite

A semantic proof of strong cut-admissibility for first-order Gdel logic

By Lahav Ori   Avron Arnon  

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 59-86

Oxford University Press

Access to resources Recommend Favorite

A first order logic of effects

By Mason I.A.  

Theoretical Computer Science, Vol. 185, Iss. 2, 1997-10 ,pp. : 277-318

Elsevier

Access to resources Recommend Favorite