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 language | English |
---|---|
Pages (from-to) | 45-66 |
Number of pages | 22 |
Journal | Logica Universalis |
Volume | 10 |
Issue number | 1 |
DOIs | |
State | Published - 1 Mar 2016 |
Externally published | Yes |
Keywords
- general frames
- Modal logic
- propositional constants
- strict range