Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 57, Number 1 (2016), 95-103.
Note on Extending Congruential Modal Logics
It is observed that a consistent congruential modal logic is not guaranteed to have a consistent extension in which the Box operator becomes a truth-functional connective for one of the four one-place (two-valued) truth functions.
Notre Dame J. Formal Logic, Volume 57, Number 1 (2016), 95-103.
Received: 27 July 2013
Accepted: 4 October 2013
First available in Project Euclid: 30 September 2015
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Humberstone, Lloyd. Note on Extending Congruential Modal Logics. Notre Dame J. Formal Logic 57 (2016), no. 1, 95--103. doi:10.1215/00294527-3315588. https://projecteuclid.org/euclid.ndjfl/1443619665