Login / Signup
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics.
Giovanna D'Agostino
Giacomo Lenzi
Tim French
Published in:
J. Appl. Non Class. Logics (2006)
Keyphrases
</>
modal logic
inference rules
dynamic logic
decision procedures
temporal logic
epistemic logic
nonmonotonic logics
classical logic
default logic
image interpolation
autoepistemic logic
theorem proving
natural language
modal operators
situation calculus
fixpoint
horn clauses
kripke models