• GOLOG

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

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

  • Referenced in 65 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...
  • KIV

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

  • Referenced in 74 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 41 articles [sw28891]
  • logics of programs (such as propositional dynamic logic), for which tableau procedures have been quite...
  • HYSDEL

  • Referenced in 39 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...
  • Fuzzy Logic Toolbox

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

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

  • Referenced in 264 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...
  • KeYmaera X

  • Referenced in 9 articles [sw40558]
  • theorem prover for differential dynamic logic ( ), a logic for specifying and verifying properties of hybrid...
  • Isar

  • Referenced in 144 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 45 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...
  • DEMO

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

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

  • Referenced in 5 articles [sw00486]
  • syntax, semantics, and calculus of C Dynamic Logic (CDL) that were adapted from their Java...
  • 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...