
embed_modal
 Referenced in 3 articles
[sw28304]
 algorithmically embedding problems formulated in higherorder modal logic into classical higherorder logic ... compliant theorem provers into provers for various modal logics. The choice of the concrete modal...

GoedelGod
 Referenced in 7 articles
[sw32223]
 modal logic KB (QML KB). QML KB is modeled as a fragment of classical higher ... order logic (HOL); thus, the formalization is essentially a formalization...

FMLtoHOL
 Referenced in 3 articles
[sw21539]
 Firstorder modal logics (FMLs) can be modeled as natural fragments of classical higherorder...

Hintikka's world
 Referenced in 1 article
[sw31988]
 shows intelligent artificial agents reasoning about higherorder knowledge (a knows that b knows that ... tool can be used for: learning modal logic, model checking and satisfiability problem; learning models...

ANSYS
 Referenced in 662 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

Dafny
 Referenced in 66 articles
[sw00183]
 Dafny is an imperative objectbased language with...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

HasCasl
 Referenced in 17 articles
[sw00399]
 HasCasl: integrated higherorder specification and program development...

Isabelle
 Referenced in 611 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LEOII
 Referenced in 51 articles
[sw00512]
 LEOII is a standalone, resolutionbased higher...

Maple
 Referenced in 5124 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5957 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 536 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Nitpick
 Referenced in 61 articles
[sw00622]
 Nitpick is a counterexample generator for Isabelle/HOL that...

SETHEO
 Referenced in 119 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

SINGULAR
 Referenced in 1408 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

AUTO
 Referenced in 885 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...