A Unified Semantics for a Family of Modal Logics with Propositional Constants

Research output: Contribution to journalArticlepeer-review

Abstract (may include machine translation)

This article concerns the metatheory of a class of modal logics whose language includes propositional constants of various kinds. The main novelties are the use of general frames with specific restrictions and the definition of the strict range of a formula. Many examples from the literature are treated within the framework provided and some traditional model-theoretic issues such as preservation results concerning the validity of formulas and definability results concerning frame properties are addressed.

Original languageEnglish
Pages (from-to)45-66
Number of pages22
JournalLogica Universalis
Volume10
Issue number1
DOIs
StatePublished - 1 Mar 2016
Externally publishedYes

Keywords

  • general frames
  • Modal logic
  • propositional constants
  • strict range

Fingerprint

Dive into the research topics of 'A Unified Semantics for a Family of Modal Logics with Propositional Constants'. Together they form a unique fingerprint.

Cite this