Login / Signup
08061 Abstracts Collection -- Types, Logics and Semantics for State.
Amal Ahmed
Nick Benton
Martin Hofmann
Greg Morrisett
Published in:
Types, Logics and Semantics for State (2008)
Keyphrases
</>
proof theory
modal logic
conditional logic
expressive power
default reasoning
higher order logic
propositional dynamic logic
database
web services
document collections
semantic information
computational properties
nonmonotonic logics
action theories
proof theoretic