A proof–theoretic study of the correspondence of hybrid logic and classical logic

By Kushida H.   Okada M.  

Journal of Logic, Language and Information, Vol. 16, Iss. 1, 2007-01 ,pp. : 35-61

Springer Publishing Company

Access to resources Recommend Favorite

Cut Elimination inside a Deep Inference System for Classical Predicate Logic

By Brünnler Kai  

Studia Logica, Vol. 82, Iss. 1, 2006-02 ,pp. : 51-71

Springer Publishing Company

Access to resources Recommend Favorite

Proof Analysis in Modal Logic

By Negri Sara  

Journal of Philosophical Logic, Vol. 34, Iss. 5-6, 2005-10 ,pp. : 507-544

Springer Publishing Company

Access to resources Recommend Favorite

Harmony and Autonomy in Classical Logic

By Read S.  

Journal of Philosophical Logic, Vol. 29, Iss. 2, 2000-04 ,pp. : 123-154

Springer Publishing Company

Access to resources Recommend Favorite

Logic and the Classical Theory of Mind

By Novak P.  

Journal of Philosophical Logic, Vol. 27, Iss. 4, 1998-08 ,pp. : 389-434

Springer Publishing Company

Access to resources Recommend Favorite