Studia Logica

, Volume 69, Issue 1, pp 97–131

Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics

  • Marta Cialdea Mayer
  • Serenella Cerrito

DOI: 10.1023/A:1013838528631

Cite this article as:
Mayer, M.C. & Cerrito, S. Studia Logica (2001) 69: 97. doi:10.1023/A:1013838528631


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.

This paper is an extended version of a previous work where full proofs were not included. Proofs are in some points rather tricky and may help in understanding the reasons for some details in basic definitions.

Quantified Modal Logics Tableaux 

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Marta Cialdea Mayer
    • 1
  • Serenella Cerrito
    • 2
  1. 1.Universit[agravItaly
  2. 2.Universit[eacutFrance

Personalised recommendations