In this paper we study proof procedures for some variants of first order modal logics, where domains may be either cumulative or freely varying and terms may be either rigid or non-rigid, local or non-local. We define both ground and free variable tableau methods, parametric with respect to the variants of the considered logics. The treatment of each variant is equally simple and is based on the annotation of functional symbols by natural numbers, conveying some semantical information on the worlds where they are meant to be interpreted.

Cerrito S, & Cialdea Mayer M (2000). Variants of First-Order Modal Logics. In Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000) (pp.175-189). BERLIN HEIDELBERG : Springer-Verlag [10.1007/10722086_16].

Variants of First-Order Modal Logics

CIALDEA, Marta
2000

Abstract

In this paper we study proof procedures for some variants of first order modal logics, where domains may be either cumulative or freely varying and terms may be either rigid or non-rigid, local or non-local. We define both ground and free variable tableau methods, parametric with respect to the variants of the considered logics. The treatment of each variant is equally simple and is based on the annotation of functional symbols by natural numbers, conveying some semantical information on the worlds where they are meant to be interpreted.
978-3-540-67697-3
Cerrito S, & Cialdea Mayer M (2000). Variants of First-Order Modal Logics. In Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000) (pp.175-189). BERLIN HEIDELBERG : Springer-Verlag [10.1007/10722086_16].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: http://hdl.handle.net/11590/188071
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 1
social impact