
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 realvalued firstorder dynamic...

KeY
 Referenced in 65 articles
[sw09969]
 theorem prover for the firstorder Dynamic Logic for Java with a userfriendly 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. Modelchecking ... reason about spatial properties and structural dynamics. The SLMC is the only currently available tool...

KLONE
 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, ifthenelse and propositional logic rules. Once ... HYSDEL transforms it to the mixedlogical 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 firstorder 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 firstorder 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 metalogic implementation. Theories, theorems, proof procedures...

YAPProlog
 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 justintime 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...

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

PetriPDL
 Referenced in 3 articles
[sw15081]
 Towards reasoning in dynamic logics with rewriting logic: the PetriPDL 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 multishot answer set programming. The causal rejectionbased ... update semantics assign meanings to a dynamic logic program (DLP), which is a sequence...