• HyLoRes

  • Referenced in 7 articles [sw17660]
  • prover for hybrid logics. These are modal-like 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 first-order modal logic provers. First-order 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 multi-modal 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 t-norm based logics and some of their modal expansions. In the literature, little ... presented extit{mNiBLoS (a modal Nice BL-Logics Solver)}: a modular SMT-based solver complete ... continuous t-norm based fuzzy modal logics (both with finite and infinite universes), restricting ... extends the usual one of fuzzy modal logics with rational constants and the Monteiro-Baaz...
  • LegalRuleML

  • Referenced in 6 articles [sw30411]
  • using legalruleml to a variant of modal defeasible logic (and vice versa) such that...
  • 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 Multi-Modal Logics. ModalCASL extends CASL by modal operators. Syntax for ordinary ... modalities, multi-modal logics as well as term-modal 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 multi-modal logics on a Java smart card. The tight ... security policy encoded in multi-modal logic. In particular, modal logic may be useful ... applet. That is, by using multi-modal logic to express notions of permissions and obligations...
  • CLProver

  • Referenced in 2 articles [sw39245]
  • Coalition Logic, a non-normal 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...
  • Hintikka's world

  • Referenced in 2 articles [sw31988]
  • tool can be used for: learning modal logic, model checking and satisfiability problem; learning models...