You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Simulating Polyadic Modal Logics by Monadic Ones
Contributor:
Venema, Yde
imprint:
The Association for Symbolic Logic, Inc., 2003
Published in:The Journal of Symbolic Logic
Language:
English
ISSN:
0022-4812
Origination:
Footnote:
Description:
<p>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<tex-math>$\Lambda^{sim}$</tex-math>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.</p>