All Normal Extensions of S5-squared Are Finitely Axiomatizable

&
Studia Logica 78 (3):443-457 (2004)
  Copy   BIBTEX

Abstract

We prove that every normal extension of the bi-modal system S52 is finitely axiomatizable and that every proper normal extension has NP-complete satisfiability problem.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-004-6044-z

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable.Michael Zakharyaschevm & Alexander Alekseev - 1995 - Mathematical Logic Quarterly 41 (1):15-23.
An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
The Fraenkel‐Carnap question for Dedekind algebras.George Weaver & Benjamin George - 2003 - Mathematical Logic Quarterly 49 (1):92-96.
Finitely axiomatizable strongly minimal groups.Thomas Blossier & Elisabeth Bouscaren - 2010 - Journal of Symbolic Logic 75 (1):25-50.
All finitely axiomatizable subframe logics containing the provability logic CSM $_{0}$ are decidable.Frank Wolter - 1998 - Archive for Mathematical Logic 37 (3):167-182.
Finitely axiomatizable ℵ1 categorical theories.Ehud Hrushovski - 1994 - Journal of Symbolic Logic 59 (3):838 - 844.
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of ℚ.Alexandra Shlapentokh - 2001 - Archive for Mathematical Logic 40 (4):297-328.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Describing groups.André Nies - 2007 - Bulletin of Symbolic Logic 13 (3):305-339.
Axiomatizable theories with few axiomatizable extensions.D. A. Martin & M. B. Pour-El - 1970 - Journal of Symbolic Logic 35 (2):205-209.
On detachment-substitutional formalization in normal modal logics.Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):165 - 171.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.Valentin Shehtman - 1990 - Studia Logica 49 (3):365 - 385.
On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories.Leszek Aleksander Kołodziejczyk - 2006 - Journal of Symbolic Logic 71 (2):624 - 638.

Analytics

Added to PP
2009-01-28

Downloads
28 (#524,295)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nick Bezhanishvili
University of Amsterdam

Citations of this work

Add more citations

References found in this work

Two-dimensional modal logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.

View all 8 references / Add more references