Old Foundations for the Logic of Agency and Action.

Lennart Åqvist

Published in: Stud Logica (2002)

Keyphrases

artificial intelligence
reasoning about actions
transition systems
logic programming
environmental protection
modal logic
digital circuits
classical logic
multi valued
dynamic logic
deontic logic
action theories
database
automated reasoning
human actions
spatio temporal
website
data sets