A description of the tableau method using abstract state machines

DOI10.1093/LOGCOM/7.5.659MaRDI QIDQ4365324zbMATH OpenOpenAlexFDO

Authors Egon Börger, Peter H. Schmitt

Publication date 4 November 1997

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/ccaafc769df69289e49d46e98ed1c58bdcdea352

zbMATH Keywords

abstract state machinesevolving algebrasPROLOG implementationtableau calculustableaux method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Proof theory and constructive mathematics (03F99) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1841822
• First-order modal tableaux
• TABLEAUX: A general theorem prover for modal logics
• The abstract state machines method for high-level system design and analysis
• The ASM refinement method

Cited in

(2)

• Reasoning About Objects Using a Tableau Method
• scientific article; zbMATH DE number 2063024 (Why is no real title available?)

This page was built for publication: A description of the tableau method using abstract state machines

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