Login / Signup
Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus.
Alexander Bolotov
Alessandro Basso
Oleg M. Grigoriev
Published in:
IICAI (2009)
Keyphrases
</>
deontic logic
probabilistic model
knowledge base
sufficient conditions
model checking
fixed point
incomplete information
temporal logic
computation tree logic