Parametrized modal logic I: an introduction - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Parametrized modal logic I: an introduction

Résumé

In this paper, within the context of a two-typed parametrized modal language, we define a parametrized modal logic as a couple whose components are sets of formulas containing, in their respective types, all propositional tautologies and the distribution axiom and closed, in their respective types, under modus ponens, uniform substitution and generalization. We axiomatically introduce different two-typed parametrized modal logics and we prove their completeness with respect to appropriate classes of two-typed frames by means of an adaptation of the canonical model construction.
Fichier principal
Vignette du fichier
Parametrized_boxes_and_diamonds_42.pdf (432.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03867100 , version 1 (07-09-2023)

Identifiants

  • HAL Id : hal-03867100 , version 1

Citer

Philippe Balbiani, Saúl Fernández González. Parametrized modal logic I: an introduction. Advances in Modal Logic (AiML 2022), IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires), Jul 2022, Rennes, France. ⟨hal-03867100⟩
9 Consultations
8 Téléchargements

Partager

Gmail Facebook X LinkedIn More