Algebraic and model theoretic techniques for fusion decidability in modal logics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Algebraic and model theoretic techniques for fusion decidability in modal logics

Résumé

We introduce a new method (derived from model theoretic general combination procedures in automated deduction) for proving fusion decidability in modal systems. We apply it to show fusion decidability in case not only the boolean connectives, but also a universal modality and nominals are shared symbols.

Mots clés

Dates et versions

hal-01281233 , version 1 (01-03-2016)

Identifiants

Citer

Luigi Santocanale, Silvio Silvio.Ghilardi@unimi.It Ghilardi. Algebraic and model theoretic techniques for fusion decidability in modal logics. 10th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Sep 2003, Almaty, Kazakhstan. pp.152--166, ⟨10.1007/b13986⟩. ⟨hal-01281233⟩
80 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More