Kripke Incomplete Logics Containing KTB

By Miyazaki Yutaka  

Studia Logica, Vol. 85, Iss. 3, 2007-04 ,pp. : 303-317

Springer Publishing Company

Access to resources Recommend Favorite

Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics

By Suzuki Nobu-Yuki  

Studia Logica, Vol. 63, Iss. 3, 1999-11 ,pp. : 387-416

Springer Publishing Company

Access to resources Recommend Favorite

On the Predicate Logic of Linear Kripke Frames and some of its Extensions

By Skvortsov Dmitrij  

Studia Logica, Vol. 81, Iss. 2, 2005-11 ,pp. : 261-282

Springer Publishing Company

Access to resources Recommend Favorite

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster

By Shimura T.  

Studia Logica, Vol. 65, Iss. 2, 2000-07 ,pp. : 237-247

Springer Publishing Company

Access to resources Recommend Favorite

On the Existence of Continua of Logics Between Some Intermediate Predicate Logics

By Skvortsov D.  

Studia Logica, Vol. 64, Iss. 2, 2000-02 ,pp. : 257-270

Springer Publishing Company

Access to resources Recommend Favorite