Correspondence Theory for Atomic Logics
Résumé
We develop the correspondence theory for the framework of atomic and molecular logics on the basis of the work of Goranko & Vakarelov. First, we show that atomic logics and modal polyadic logics can be embedded into each other. Using this embedding, we reformulate the notion of inductive formulas introduced by Goranko & Vakarelov into our framework. This allows us to prove correspondence theorems for atomic logics by adapting their results.
Fichier principal
AtomicMolecularLogicsCorrespondenceTheoryPart2.pdf (584.04 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY NC ND - Paternité - Pas d'utilisation commerciale - Pas de modification
Licence : CC BY NC ND - Paternité - Pas d'utilisation commerciale - Pas de modification