• GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming...
  • KeY

  • Referenced in 63 articles [sw09969]
  • theorem prover for the first-order Dynamic Logic for Java with a user-friendly graphical...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • conducted so far in the field of logic programming has focused on representing static knowledge ... authors introduced the concept of dynamic logic programming. There, they studied and defined the declarative ... sequences of logic programs (or dynamic logic programs), P0 Phi : : : Phi Pn . Each such program ... sets of priorities. The role of dynamic logic programming is to employ the mutual relationships...
  • KeYmaera

  • Referenced in 41 articles [sw03709]
  • hybrid systems. KeYmaera supports differential dynamic logic, which is a real-valued first-order dynamic...
  • KIV

  • Referenced in 51 articles [sw10060]
  • applications rely on a definition of dynamic logic, for reasoning about the correctness of software...
  • SLMC

  • Referenced in 71 articles [sw04604]
  • model checking concurrent systems against dynamical spatial logic specifications. The Spatial Logic Model Checker ... structural properties expressed in the spatial logic for concurrency of Caires and Cardelli. Model-checking ... reason about spatial properties and structural dynamics. The SLMC is the only currently available tool...
  • KL-ONE

  • Referenced in 40 articles [sw28891]
  • logics of programs (such as propositional dynamic logic), for which tableau procedures have been quite...
  • HYSDEL

  • Referenced in 38 articles [sw05200]
  • interconnections of linear dynamic systems, automata, if-then-else and propositional logic rules. Once ... HYSDEL transforms it to the mixed-logical dynamical (MLD) form which can be immediately used...
  • GEX

  • Referenced in 35 articles [sw09961]
  • automated reasoning software, we can build dynamic logic models which can do reasoning themselves ... proofs for mant geometry throerms. 2) By dynamic visual models, we mean models built...
  • TABLEAUX

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

  • Referenced in 57 articles [sw07379]
  • model complex system behaviors using simple logic rules, and then implement these rules ... within a comprehensive model of the entire dynamic system...
  • VAMPIRE

  • Referenced in 239 articles [sw02918]
  • automatic theorem prover for first-order classical logic. It consists of a shell ... introduction of new predicate definitions and dynamic folding of such definitions. A number of standard ... problem in the full first-order logic syntax, clausifies it and performs a number...
  • Isar

  • Referenced in 142 articles [sw04599]
  • quite independent of the underlying logic, and integrates a broad range of automated proof methods ... reading, thus being intelligible later without requiring dynamic replay that is so typical for traditional ... tightly integrated into the Isabelle/Pure meta-logic implementation. Theories, theorems, proof procedures...
  • YAP-Prolog

  • Referenced in 44 articles [sw06948]
  • achieve an efficient Prolog engine. Second, most logic programming systems have a rather limited indexing ... contributes to this area by providing a dynamic indexing mechanism, or just-in-time indexer ... parallelism and tabling in a single logic programming system...
  • KeY-C

  • Referenced in 5 articles [sw00486]
  • syntax, semantics, and calculus of C Dynamic Logic (CDL) that were adapted from their Java...
  • DEMO

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

  • Referenced in 3 articles [sw15081]
  • Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case. Safety ... variety of scenarios increase with complexity. Dynamic Logics (DL) present a large body of techniques...
  • Moviola

  • Referenced in 3 articles [sw27497]
  • Moviola: interpreting dynamic logic programs via multi-shot answer set programming. The causal rejection-based ... update semantics assign meanings to a dynamic logic program (DLP), which is a sequence...
  • ModelPlex

  • Referenced in 4 articles [sw23944]
  • automatically from CPS proofs in differential dynamic logic by a correct-by-construction approach, leading...
  • SMCDEL

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