The paper considers term-modal logics and introduces some decidable fragments thereof. In particular, two fragments will be introduced: one that simulates monotone non-normal logics and another one that simulates normal multi-agent epistemic logics with quantification over groups of agents. These logics are defined semantically. Then, each of them is proof-theoretically characterized by a labelled calculus with good structural properties. Finally, we prove that each fragment considered is decidable, and we characterize the complexity of the validity problem for some of them.
Decidable term-modal logics / eugenio orlandelli; giovanna corsi. - STAMPA. - 10767:(2018), pp. 11.147-11.162. (Intervento presentato al convegno EUMAS 2017 and AT 2017 tenutosi a Evry, France nel 14-15 December 2017) [10.1007/978-3-030-01713-2_11].
Decidable term-modal logics
eugenio orlandelli
;giovanna corsi
2018
Abstract
The paper considers term-modal logics and introduces some decidable fragments thereof. In particular, two fragments will be introduced: one that simulates monotone non-normal logics and another one that simulates normal multi-agent epistemic logics with quantification over groups of agents. These logics are defined semantically. Then, each of them is proof-theoretically characterized by a labelled calculus with good structural properties. Finally, we prove that each fragment considered is decidable, and we characterize the complexity of the validity problem for some of them.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.