MSPASS

MSPASS: Modal Reasoning by Translation and First-Order Resolution. mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for the relational calculus.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 25 articles )

Showing results 1 to 20 of 25.
Sorted by year (citations)

1 2 next

  1. Steen, Alexander; Benzmüller, Christoph: Extensional higher-order paramodulation in Leo-III (2021)
  2. Baumgartner, Peter; Schmidt, Renate A.: Blocking and other enhancements for bottom-up model generation methods (2020)
  3. Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare: (\mathrmK_\mathrmS\mathrmP) a resolution-based theorem prover for (\mathsfK_n): architecture, refinements, strategies and experiments (2020)
  4. Lagniez, Jean-Marie; Le Berre, Daniel; de Lima, Tiago; Montmirail, Valentin: An assumption-based approach for solving the Minimal S5-Satisfiability problem (2018)
  5. Steen, Alexander; Benzmüller, Christoph: The higher-order prover Leo-III (2018)
  6. Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz: Capturing equilibrium models in modal logic (2014)
  7. Otten, Jens: MleanCoP: a connection prover for first-order modal logic (2014)
  8. Benzmüller, Christoph; Raths, Thomas: HOL based first-order modal logic provers (2013)
  9. Korovin, Konstantin: Inst-Gen -- a modular approach to instantiation-based automated reasoning (2013)
  10. Schmidt, Renate A.; Hustadt, Ullrich: First-order resolution methods for modal logics (2013)
  11. Benzmüller, Christoph; Otten, Jens; Raths, Thomas: Implementing and evaluating provers for first-order modal logics (2012)
  12. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)
  13. Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio: A foundational view on integration problems (2011)
  14. Baader, Franz; Beckert, Bernhard; Nipkow, Tobias: Deduktion: von der Theorie zur Anwendung (2010) ioport
  15. Schmidt, Renate A.: Simulation and synthesis of deduction calculi (2010)
  16. van Valkenhoef, Gert; van der Vaart, Elske; Verbrugge, Rineke: OOPS: an (S5_n) prover for educational settings (2010) ioport
  17. Abate, Pietro; Goré, Rajeev: The Tableau Workbench (2009)
  18. Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina: Solving the $100 modal logic challenge (2009)
  19. Schmidt, Renate A.: A new methodology for developing deduction methods (2009)
  20. Tsarkov, Dmitry; Horrocks, Ian; Patel-Schneider, Peter F.: Optimizing terminological reasoning for expressive description logics (2007)

1 2 next