Open Access
2016 Note on Extending Congruential Modal Logics
Lloyd Humberstone
Notre Dame J. Formal Logic 57(1): 95-103 (2016). DOI: 10.1215/00294527-3315588

Abstract

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.

Citation

Download Citation

Lloyd Humberstone. "Note on Extending Congruential Modal Logics." Notre Dame J. Formal Logic 57 (1) 95 - 103, 2016. https://doi.org/10.1215/00294527-3315588

Information

Received: 27 July 2013; Accepted: 4 October 2013; Published: 2016
First available in Project Euclid: 30 September 2015

zbMATH: 1350.03018
MathSciNet: MR3447727
Digital Object Identifier: 10.1215/00294527-3315588

Subjects:
Primary: 03B45

Keywords: congruential modal logics , modal logic , neighborhood semantics , Post completeness

Rights: Copyright © 2016 University of Notre Dame

Vol.57 • No. 1 • 2016
Back to Top