A Unified Semantics for a Family of Modal Logics with Propositional Constants
| Autor: | Matteo Pascucci |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
Propositional variable
Discrete mathematics Logic Normal modal logic Applied Mathematics Well-formed formula Modal logic 010102 general mathematics Classical logic Modal μ-calculus 06 humanities and the arts 0603 philosophy ethics and religion 01 natural sciences propositional constants TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES strict range Modal logic propositional constants general frames strict range 060302 philosophy Accessibility relation Calculus 0101 mathematics T-norm fuzzy logics general frames Mathematics |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|