Login / Signup

Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.

Marco BernardoAndrea Esposito
Published in: GandALF (2023)
Keyphrases
  • modal logic
  • decision procedures
  • temporal logic
  • bi directional
  • forward and backward
  • expert systems
  • inference rules
  • nonmonotonic logics
  • conditional logic
  • epistemic logic
  • dynamic programming
  • belief revision