The logic of deliberate action.

Krister Segerberg

Published in: J. Philos. Log. (1982)

Keyphrases

reasoning about actions
transition systems
logic programming
automated reasoning
modal logic
real time
multi valued
classical logic
digital circuits
predicate logic
information systems
temporal logic
action theories
delay insensitive