A tableau-based decision procedure for LTL
A Tableau Calculus for Minimal Modal Model Generation
A systematic proof theory for several modal logics
A System of Interaction and Structure
A Syntactic Characterization of Minimal Entailment
A Survey on the Model Theory of Difference Fields - Library
A Survey on Small Fragments of First-Order Logic over Finite
A survey on Interactive Theorem Proving
A Supervised Learning Approach to Search of Definitions[*]
A strong intuitionistic theory of functionals
A Small Framework for Proof Checking - CEUR
A simplified form of condensed detachment - Research Online
A Simple Tableau System for the Logic of Elsewhere
A simple proof of Parsons` theorem
A Simple Exposition of Gödel`s Theorem
A Simple and Practical Valuation Tree Calculus for First
A Simpl Shortest Path Checker Verification
A SHORT PROOF FOR THE COMPLETENESS OF
A Short Introduction to the Idea of Proof.
A Short Glossary of Metaphysics
