Search Results for author: Nik Sultana

Found 2 papers, 0 papers with code

Systematic Verification of the Modal Logic Cube in Isabelle/HOL

no code implementations • 31 Jul 2015 • Christoph Benzmüller, Maximilian Claus, Nik Sultana

We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools.

Paper
Add Code

Update report: LEO-II version 1.5

no code implementations • 15 Mar 2013 • Christoph Benzmüller, Nik Sultana

Recent improvements of the LEO-II theorem prover are presented.

Scheduling

Paper
Add Code

Cannot find the paper you are looking for? You can Submit a new open access paper.