Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.

Guram Bezhanishvili Kristina Brantley Julia Ilin

Published in: J. Symb. Log. (2023)

Keyphrases

modal logic
classical logic
valued logic
temporal logic
decision procedures
inference rules
default logic
epistemic logic
autoepistemic logic
situation calculus
default theories
datalog queries
nonmonotonic logics
probability distribution
theorem prover
query processing
multi agent systems