Studia Logica 64 (2):193-213 (2000)
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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Derivation Rules as Anti-Axioms in Modal Logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Expressivity of Second Order Propositional Modal Logic.ten Cate Balder - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Characterizations of Negative Definability in Modal Logic.Marco Hollenberg - 1998 - Studia Logica 60 (3):357-386.
Added to index2009-01-28
Total downloads34 ( #151,117 of 2,168,640 )
Recent downloads (6 months)6 ( #49,907 of 2,168,640 )
How can I increase my downloads?