
HyLoRes
 Referenced in 7 articles
[sw17660]
 prover for hybrid logics. These are modallike logics with facilities to refer to objects ... modal (or hybrid) input, with no translation into background logics. HyLoRes fuses state...

STeLP
 Referenced in 10 articles
[sw09772]
 input a particular kind of logic program with modal operators (called Splitable Temporal Logic Program...

Cool
 Referenced in 4 articles
[sw11992]
 ontology logic solver Cool, a generic reasoner that decides the satisfiability of modal (and, more ... global assumptions – in description logic parlance, we support a general TBox and internalize a Boolean ... framework covering a wide range of modal logics, beyond relational semantics. The core of Cool ... relational examples as well as graded modal logic and Pauly’s coalition logic (the next...

FMLtoHOL
 Referenced in 4 articles
[sw21539]
 based firstorder modal logic provers. Firstorder modal logics (FMLs) can be modeled...

LWB
 Referenced in 3 articles
[sw01820]
 Relations between propositional normal modal logics: An overview. In this short paper the authors give ... most common propositional normal modal logics by first providing a catalogue of their axioms ... theorem prover for propositional modal and other nonclassical logics. A pleasant side effect of their ... performance of different theorem provers for modal logics...

MetTeL
 Referenced in 16 articles
[sw11990]
 tableau prover for various modal, intuitionistic, hybrid, description and metric logics. The core component...

Mechanized Semantic Library
 Referenced in 5 articles
[sw13123]
 useful for developing semantic models of program logics and type systems: separation algebras, permission share ... clean axiomatization of step indexing), and modal logics. The library has a special emphasis...

MLAT
 Referenced in 3 articles
[sw00582]
 present an abstraction framework based on modal logic and predicate abstraction technique. In the framework ... employ modal logic 2CTLN in order to express predicates for abstraction and specifications of programs...

Sibyl
 Referenced in 6 articles
[sw11995]
 automated theorem prover for multimodal hibrid logic with binders, the converse and global modalities...

Datalog LITE
 Referenced in 10 articles
[sw28894]
 highly expressive: It encompasses popular modal and temporal logics such as CTL or the alternation...

MoMo
 Referenced in 4 articles
[sw10020]
 MoMo: A modal logic for reasoning about mobility. A temporal logic is proposed...

MNiBLoS
 Referenced in 2 articles
[sw32318]
 continuous tnorm based logics and some of their modal expansions. In the literature, little ... presented extit{mNiBLoS (a modal Nice BLLogics Solver)}: a modular SMTbased solver complete ... continuous tnorm based fuzzy modal logics (both with finite and infinite universes), restricting ... extends the usual one of fuzzy modal logics with rational constants and the MonteiroBaaz...

LegalRuleML
 Referenced in 6 articles
[sw30411]
 using legalruleml to a variant of modal defeasible logic (and vice versa) such that...

Epistemic Logic
 Referenced in 2 articles
[sw42014]
 Epistemic_Logic: Epistemic Logic: Completeness of Modal Logics. This work is a formalization of epistemic ... logic with countably many agents. It includes proofs of soundness and completeness for the axiom ... proofs are based on the textbook ”Modal Logic” by Blackburn, de Rijke and Venema (Cambridge...

GQML
 Referenced in 2 articles
[sw11996]
 general theorem prover for quantified modal logics. The main contribution of this work is twofold ... main domain variants of quantified modal logic and dealing with languages where rigid...

ModalCasl
 Referenced in 1 article
[sw11951]
 ModalCasl: Specification with MultiModal Logics. ModalCASL extends CASL by modal operators. Syntax for ordinary ... modalities, multimodal logics as well as termmodal logic (also covering dynamic logic ... provided. Specific modal logics can be obtained via restrictions to sublanguages...

CardKt
 Referenced in 1 article
[sw01599]
 perform automated deduction in propositional multimodal logics on a Java smart card. The tight ... security policy encoded in multimodal logic. In particular, modal logic may be useful ... applet. That is, by using multimodal logic to express notions of permissions and obligations...

CLProver
 Referenced in 2 articles
[sw39245]
 Coalition Logic, a nonnormal modal logic that can be used for reasoning about cooperative...

MODPROF
 Referenced in 2 articles
[sw21543]
 model finder for propositional and modal logic K. MODPROF is based on labelled modal tableaux...

KAD
 Referenced in 2 articles
[sw32231]
 simple algebraic basis for Hoare logics, dynamic logics or predicate transformer semantics. We formalise ... ranges from domain and antidomain semigroups to modal Kleene algebras and divergence Kleene algebras ... traces. We include some examples from modal logics, termination and program analysis...