The Power of a Propositional Constant

Journal of Philosophical Logic 43 (1):133-152 (2014)
  Copy   BIBTEX


Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions of S4.3 is radically altered by the addition of a constant: we use it to construct continuum many such normal extensions of S4.3, and continuum many non-normal ones, none of which have the finite model property. But for logics with weakly transitive frames there are only eight maximally normal ones, of which five extend K4 and three extend S4.



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

External links

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

Through your library

Similar books and articles

The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
Not All Attitudes are Propositional.Alex Grzankowski - 2012 - European Journal of Philosophy (3):374-391.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Non‐Propositional Attitudes.Alex Grzankowski - 2013 - Philosophy Compass 8 (12):1123-1137.
Is There Propositional Understanding?Emma C. Gordon - 2012 - Logos and Episteme 3 (2):181-192.
Two Temporal Logics of Contingency.Matteo Pascucci - 2015 - Australasian Journal of Logic 12 (2):121-134.


Added to PP

11 (#1,110,001)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tomasz Kowalski
La Trobe University

Citations of this work

A Logic of Temporal Contingency.Jie Fan - forthcoming - Erkenntnis:1-30.
Note on Extending Congruential Modal Logics.Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (1):95-103.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
An observation concerning porte's rule in modal logic.Rohan French & Lloyd Humberstone - 2015 - Bulletin of the Section of Logic 44 (1/2):25-31.
A Note on the Issue of Cohesiveness in Canonical Models.Matteo Pascucci - 2020 - Journal of Logic, Language and Information 29 (3):331-348.

View all 6 citations / Add more citations

References found in this work

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
Semantic analysis of tense logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.

View all 23 references / Add more references