Modal logic for modelling actions and agents

DOI10.1007/3-540-61313-7_98zbMath1419.68130OpenAlexW1821860925MaRDI QIDQ4632321

Helmut Prendinger

Publication date: 29 April 2019

Published in: Practical Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61313-7_98

zbMATH Keywords

theories of actionscombining reasoning formalismsformal models for reasoningtheories of agents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic logic and temporal projection
• Process logic: Expressiveness, decidability, completeness
• Nonmonotonicity and the scope of reasoning
• Adding a temporal dimension to a logic system
• Deriving properties of belief update from theories of action
• Reasoning about action and change. A dynamic logic approach
• Intention is choice with commitment
• A practical decision method for propositional dynamic logic (Preliminary Report)

This page was built for publication: Modal logic for modelling actions and agents