A Unified Semantics for a Family of Modal Logics with Propositional Constants |
| |
Authors: | Matteo Pascucci |
| |
Institution: | 1.Dipartimento di Informatica,Università di Verona,Verona,Italy |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|