Login / Signup
Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics.
Ricardo Caferra
Stéphane Demri
Michel Herment
Published in:
AAAI (1991)
Keyphrases
</>
modal logic
epistemic logic
dynamic epistemic logic
classical logic
main contribution
nonmonotonic logics
modal operators
proof theoretic
data sets
logic programming
propositional dynamic logic
inference rules
logical framework
mathematical theory
predicate logic
proof theory