Abstract | ||
---|---|---|
In this paper we study proof procedures for some variants of rst-order modallogics, where domains may be either cumulative or freely varying and terms may be eitherrigid or non-rigid, local or non-local. We dene both ground and free variable tableaumethods, parametric with respect to the variants of the considered logics. The treatmentof each variant is equally simple and is based on the annotation of functional symbols bynatural numbers, conveying some semantical information on the... |
Year | DOI | Venue |
---|---|---|
2001 | 10.1023/A:1013838528631 | Studia Logica |
Keywords | Field | DocType |
Quantified Modal Logics,Tableaux | T-norm fuzzy logics,Discrete mathematics,Kripke semantics,Normal modal logic,Accessibility relation,Algorithm,Multimodal logic,Monoidal t-norm logic,Mathematics,Method of analytic tableaux,S5 | Journal |
Volume | Issue | ISSN |
69 | 1 | 1572-8730 |
Citations | PageRank | References |
4 | 0.60 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marta Cialdea Mayer | 1 | 274 | 28.25 |
Serenella Cerrito | 2 | 139 | 13.72 |