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

DOI10.1023/A:1013838528631MaRDI QIDQ5955623zbMATH OpenFDO

Authors Marta Cialdea Mayer, Serenella Cerrito

Publication date 27 May 2002

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1013838528631

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1612550
• Free variable tableaux for propositional modal logics
• scientific article; zbMATH DE number 1765667
• Free-variable tableaux for propositional modal logics
• First-order modal tableaux

Cited in

(8)

• Free-variable semantic tableaux for the logic of fuzzy inequalities
• Modal definability of first-order formulas with free variables and query answering
• scientific article; zbMATH DE number 1612550 (Why is no real title available?)
• scientific article; zbMATH DE number 1189105 (Why is no real title available?)
• scientific article; zbMATH DE number 1765667 (Why is no real title available?)
• Free variable tableaux for propositional modal logics
• scientific article; zbMATH DE number 4116498 (Why is no real title available?)
• Free-variable tableaux for propositional modal logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5955623)