Simulating Polyadic Modal Logics by Monadic Ones (2001)
| Venue: | Journal of Symbolic Logic |
| Citations: | 6 - 2 self |
BibTeX
@ARTICLE{Goguadze01simulatingpolyadic,
author = {George Goguadze and Carla Piazza and Yde Venema},
title = {Simulating Polyadic Modal Logics by Monadic Ones},
journal = {Journal of Symbolic Logic},
year = {2001},
volume = {68},
pages = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
