Login / Signup
Propositional dynamic logic with Belnapian truth values.
Igor Sedlár
Published in:
Advances in Modal Logic (2016)
Keyphrases
</>
truth values
propositional dynamic logic
inference rules
boolean logic
multi valued
reasoning about actions
dynamic logic
fixpoint
lattice structure
valued logic
modal logic
machine learning
linearly ordered
database
logic programs