Reasoning about action and change. A dynamic logic approach

DOI10.1007/BF00173701zbMath0864.03019OpenAlexW2884214427MaRDI QIDQ1923832

Gerhard Schurz, Helmut Prendinger

Publication date: 15 June 1997

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00173701

zbMATH Keywords

dynamic logicframe problemreasoning about actionreasoning about changechronological preservation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (8)

Means-end relations and a measure of efficacy ⋮ A description logic based situation calculus ⋮ Unnamed Item ⋮ Modal logic for modelling actions and agents ⋮ A semantics for means-end relations ⋮ t-DeLP: an argumentation-based temporal defeasible logic programming framework ⋮ PDL with negation of atomic programs ⋮ Frame problem in dynamic logic

This page was built for publication: Reasoning about action and change. A dynamic logic approach