Tableau reasoning and programming with dynamic first order logic

DOI10.1093/JIGPAL/9.3.411MaRDI QIDQ2720297zbMATH OpenOpenAlexFDO

Authors Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin

Publication date 21 May 2002

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/9.3.411

zbMATH Keywords

first-order logicdynamic logictableau reasoningassertion calculus

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1953887
• scientific article; zbMATH DE number 1556014
• A tableau calculus for first-order branching time logic
• Tableaux for verification of data-centric processes
• scientific article; zbMATH DE number 1765704

Cited in

(3)

• Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
• Tableaux for verification of data-centric processes
• Shortcuts and dynamic marking in the tableau method for adaptive logics

This page was built for publication: Tableau reasoning and programming with dynamic first order logic

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