Login / Signup
Dual-Context Calculi for Modal Logic.
G. A. Kavvos
Published in:
Log. Methods Comput. Sci. (2020)
Keyphrases
</>
modal logic
temporal logic
sequent calculi
decision procedures
inference rules
classical logic
situation calculus
nonmonotonic logics
default logic
conditional logic
epistemic logic
dynamic logic
contextual information
propositional logic
artificial intelligence
object oriented
autoepistemic logic
prime implicates
logic programming
modal operators
explanation based generalization
probability distribution