Sign in

On Inverse Operators in Dynamic Epistemic Logic.

Shota MotouraShin-ya Katsumata
Published in: LFCS (2022)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • morphological operators
  • data model
  • mathematical morphology
  • modal logic