PP-2001-02: Goguadze, G. and Piazza, C. and Venema, Y. (2001) Simulating polyadic modal logics by monadic ones. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-2001-02.text.ps.gz Download (197kB) |
|
Text (Abstract)
PP-2001-02.abstract.txt Download (708B) |
Abstract
We define an interpretation of modal languages with polyadic operators
in modal languages that use monadic operators (diamonds) only. We also
define a simulation operator which associates a logic in the diamond
language with each logic in the language with polyadic modal
connectives. We prove that this simulation operator transfers several
useful properties of modal logics, such as finite/recursive
axiomatizability, frame completeness and the finite model property,
canonicity and first-order definability.
Keyword(s): modal logic, polyadic operators, interpretation,
simulation, transfer results
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2001-02 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2001 |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/44 |
Actions (login required)
 |
View Item |
