Logic Games are Complete for Game Logics

By van Benthem Johan  

Studia Logica, Vol. 75, Iss. 2, 2003-11 ,pp. : 183-203

Springer Publishing Company

Access to resources Recommend Favorite

Glivenko Type Theorems for Intuitionistic Modal Logics

By Bezhanishvili G.  

Studia Logica, Vol. 67, Iss. 1, 2001-02 ,pp. : 89-109

Springer Publishing Company

Access to resources Recommend Favorite

On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics

By Skvortsov D.  

Studia Logica, Vol. 61, Iss. 2, 1998-09 ,pp. : 281-292

Springer Publishing Company

Access to resources Recommend Favorite

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

By Litak Tadeusz   Wolter Frank  

Studia Logica, Vol. 81, Iss. 2, 2005-11 ,pp. : 153-165

Springer Publishing Company

Access to resources Recommend Favorite

A Simple Incomplete Extension of T which is the Union of Two Complete Modal Logics with f.m.p.

By Benton R.A.  

Journal of Philosophical Logic, Vol. 31, Iss. 6, 2002-12 ,pp. : 527-541

Springer Publishing Company

Access to resources Recommend Favorite