Studia Logica 64 (2):193-213 (2000)

Abstract
Dealing with topics of definability, this paper provides some interesting insights into the expressive power of basic modal logic. After some preliminary work it presents an abstract algebraic characterization of the elementary classes of basic modal logic, that is, of the classes of models that are definable by means of (sets of) basic modal formulas. Taking that for a start, the paper further contains characterization results for modal universal classes and modal positive classes.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1005233530449
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Modal Horn Classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.

Add more citations

Similar books and articles

Modal Sequents and Definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
The Modal Logic of Inequality.Maarten De Rijke - 1992 - Journal of Symbolic Logic 57 (2):566 - 584.
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Derivation Rules as Anti-Axioms in Modal Logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Modal Horn Classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.

Analytics

Added to PP index
2009-01-28

Total views
65 ( #179,684 of 2,533,634 )

Recent downloads (6 months)
2 ( #260,743 of 2,533,634 )

How can I increase my downloads?

Downloads

My notes