Login / Signup

Multi-type display calculus for dynamic epistemic logic.

Sabine FrittellaGiuseppe GrecoAlexander KurzAlessandra PalmigianoVlasta Sikimic
Published in: J. Log. Comput. (2016)
Keyphrases
  • multi type
  • dynamic epistemic logic
  • epistemic logic
  • relational data
  • data objects
  • multiple types
  • cost model
  • model checking
  • database
  • knowledge representation
  • modal logic