NuSMV returns undefined operation...

prolog catch all clause that's only active if no other clause is...

(New?) Modal Operators for Foldable...

Extending propositional logic to modal logic in Haskell...

Kripke semantics: learning software available?...

inconsistent formulaes in the list python...

Change the parsing language...

P implies Q, how to read in english...

Can modal operator be defined as a boolean function?...

python modal logic K solver...

Interesting operators in Haskell that obey modal axioms...

Solvers for modal epistemic logics...