Login / Signup
Propositional dynamic logic with Belnapian truth values.
Igor Sedlár
Published in:
CoRR (2016)
Keyphrases
</>
truth values
propositional dynamic logic
inference rules
boolean logic
dynamic logic
multi valued
reasoning about actions
fixpoint
valued logic
lattice structure
general purpose
programming language
logic programs
horn clauses
linearly ordered