Login / Signup
Modal quantales, involutive quantales, Dedekind Quantales.
Georg Struth
Cameron Calk
Published in:
Arch. Formal Proofs (2023)
Keyphrases
</>
modal logic
lower order
nonmonotonic logics
temporal logic
databases
decision making