Login / Signup
08061 Executive Summary -- Types, Logics and Semantics for State.
Amal Ahmed
Nick Benton
Martin Hofmann
Greg Morrisett
Published in:
Types, Logics and Semantics for State (2008)
Keyphrases
</>
propositional dynamic logic
state space
formal semantics
proof theory
neural network
hidden markov models
nonmonotonic logics
conditional logic
epistemic logic