Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 68, Issue 2 (2003), 419- 462.
Simulating polyadic modal logics by monadic ones
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 $\simL$ in the diamond language with each logic $\La$ 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.
J. Symbolic Logic, Volume 68, Issue 2 (2003), 419- 462.
First available in Project Euclid: 11 May 2003
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Goguadze, George; Piazza, Carla; Venema, Yde. Simulating polyadic modal logics by monadic ones. J. Symbolic Logic 68 (2003), no. 2, 419-- 462. doi:10.2178/jsl/1052669058. https://projecteuclid.org/euclid.jsl/1052669058