A Linear Meta-Interpreter for Reasoning About States and Actions

DOI10.1093/jigpal/9.5.631zbMath0999.68036OpenAlexW2089896408MaRDI QIDQ2765559

Graham White

Publication date: 2 December 2002

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

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

zbMATH Keywords

frame problemactionssituation calculuslinear logic programminglinear logic programming language Lygon

Mathematics Subject Classification ID

Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: A Linear Meta-Interpreter for Reasoning About States and Actions