Note on extending congruential modal logics

Lloyd Humberstone

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

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 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
Volume57
Issue number1
DOIs
Publication statusPublished - 2016

Keywords

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

Cite this