Ground and free-variable tableaux for variants of quantified modal logics

DOI10.1023/A:1013838528631zbMath0988.03034MaRDI QIDQ5955623

Serenella Cerrito, Marta Cialdea Mayer

Publication date: 27 May 2002

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

proof procedures for variants of first-order modal logicsquantified modal logicstableau methods

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Ground and free-variable tableaux for variants of quantified modal logics