Tableau reasoning and programming with dynamic first order logic

DOI10.1093/jigpal/9.3.411zbMath0985.03018OpenAlexW2145806860MaRDI QIDQ2720297

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

Publication date: 21 May 2002

Published in: Logic Journal of 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

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

Related Items

Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution