Strong completeness with respect to finite kripke models

Studia Logica 40 (3):249-252 (1981)
  Copy   BIBTEX

Abstract

We prove that each intermediate or normal modal logic is strongly complete with respect to a class of finite Kripke frames iff it is tabular, i.e. the respective variety of pseudo-Boolean or modal algebras, corresponding to it, is generated by a finite algebra.

Categories

Keywords

Reprint years

DOI

10.1007/bf02584059

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

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

Properties of Tense Logics.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):481-500.
The Superintuitionistic Predicate Logic of Finite Kripke Frames Is Not Recursively Axiomatizable.Dmitrij Skvortsov - 2005 - Journal of Symbolic Logic 70 (2):451 - 459.
On intermediate predicate logics of some finite Kripke frames, I. levelwise uniform trees.Dmitrij Skvortsov - 2004 - Studia Logica 77 (3):295 - 323.
Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - forthcoming - Studia Logica:1-30.
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
Subdirectly Irreducible Modal Algebras and Initial Frames.Sambin Giovanni - 1999 - Studia Logica 62 (2):269-282.
Axiomatization of modal logic with counting.Xiaoxuan Fu & Zhiguang Zhao - forthcoming - Logic Journal of the IGPL.
Modal Logic with “Most”.Xiaoxuan Fu & Zhiguang Zhao - forthcoming - Studia Logica:1-41.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.

Analytics

Added to PP
2009-01-28

Downloads
45 (#493,659)

6 months
9 (#488,506)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (1-2):29-32.

Add more references