• TABLEAUX

  • Referenced in 18 articles [sw11674]
  • modal logics, including usual temporal, epistemic or dynamic logics. We survey the modal languages covered...
  • DEMO

  • Referenced in 8 articles [sw29079]
  • Also, DEMO implements the reduction of dynamic epistemic logic to PDL. The paper gives...
  • SMCDEL

  • Referenced in 7 articles [sw29077]
  • SMCDEL: A symbolic model checker for Dynamic Epistemic Logic (DEL) implemented in Haskell...
  • Aximo

  • Referenced in 4 articles [sw15031]
  • verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic ... based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical...
  • Hintikka's world

  • Referenced in 2 articles [sw31988]
  • satisfiability problem; learning models of dynamic epistemic logic; having fun with epistemic puzzles...
  • mAL

  • Referenced in 1 article [sw26683]
  • work has been done within the dynamic epistemic logic community towards understanding how the actions ... indirect effects of both ontic and epistemic actions within a multi-agent setting. This paper ... developed in both communities for reasoning about dynamic multi-agent domains involving both ontic...
  • Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • CP-nets

  • Referenced in 137 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • ConGolog

  • Referenced in 48 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • VerICS

  • Referenced in 34 articles [sw02011]
  • Verics (VerICS) is our original tool for automated...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • LUPS -- a language for updating logic programs. Most...
  • KARO

  • Referenced in 22 articles [sw03116]
  • Formalizing potential of agents. The KARO framework revisited...
  • SPIN

  • Referenced in 721 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 870 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • NuSMV

  • Referenced in 305 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • CUDD

  • Referenced in 152 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • SLMC

  • Referenced in 72 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...