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 $Λ^{sim}$ in the diamond language with each logic A 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.

Simulating Polyadic Modal Logics by Monadic Ones

PIAZZA, Carla;
2003-01-01

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 $Λ^{sim}$ in the diamond language with each logic A 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.
File in questo prodotto:
File Dimensione Formato  
jsleditorial.pdf

non disponibili

Descrizione: Editorial version
Tipologia: Versione Editoriale (PDF)
Licenza: Non pubblico
Dimensione 919.88 kB
Formato Adobe PDF
919.88 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
PP-2001-02.text.pdf

accesso aperto

Descrizione: Post print
Tipologia: Documento in Post-print
Licenza: Creative commons
Dimensione 1.3 MB
Formato Adobe PDF
1.3 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/674445
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 6
social impact