All Normal Extensions of S5-squared Are Finitely Axiomatizable

Author： Bezhanishvili Nick   Hodkinson Ian  

Publisher： Springer Publishing Company

ISSN： 0039-3215

Source： Studia Logica, Vol.78, Iss.3, 2004-12, pp. : 443-457

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

All Proper Normal Extensions of S5-square have the Polynomial Size Model Property

By Bezhanishvili N.   Marx M.  

Studia Logica, Vol. 73, Iss. 3, 2003-04 ,pp. : 367-382

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

Not Every "Tabular" Predicate Logic is Finitely Axiomatizable

By Skvortsov D.  

Studia Logica, Vol. 59, Iss. 3, 1997-11 ,pp. : 387-396

Springer Publishing Company

Access to resources Recommend Favorite

Classifying ℵ_o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories

By Weaver G.   Lippel D.  

Studia Logica, Vol. 60, Iss. 2, 1998-03 ,pp. : 275-297

Springer Publishing Company

Access to resources Recommend Favorite

Enunciation Squared

By Tofts Darren  

Angelaki: Journal of Theoretical Humanities, Vol. 14, Iss. 1, 2009-04 ,pp. : 155-164

Routledge Ltd

Access to resources Recommend Favorite