Note on extending congruential modal logics

Lloyd Humberstone

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)


It is observed that a consistent congruential modal logic is not guaranteed to have a consistent extension in which the Box operator becomes a truthfunctional connective for one of the four one-place (two-valued) truth functions.

Original languageEnglish
Pages (from-to)95-103
Number of pages9
JournalNotre Dame Journal of Formal Logic
Issue number1
Publication statusPublished - 2016


  • Congruential modal logics
  • Modal logic
  • Neighborhood semantics
  • Post completeness

Cite this