An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover.

Ricardo Caferra, Nicolas Zabel

Browse the full AIMSA paper archive.