Anytime Approximations of Classical Logic from Above (original) (raw)
Related papers
The universe of propositional approximations
Theoretical Computer Science, 2006
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic
Lecture Notes in Computer Science, 2005
Towards an Efficient Prover for the C1 Paraconsistent Logic
Electronic Notes in Theoretical Computer Science, 2009
An optimal decision procedure for right propositional neighborhood logic
Systems for Provability and Countermodel Generation in Propositional Minimal Implicational Logic
Combining linear-time temporal logic with constructiveness and paraconsistency
Journal of Applied Logic, 2010
On the strength of temporal proofs
Theoretical Computer Science, 1991
Investigations into the complexity of some propositional calculi
University of Oxford, PRG technical monographs, 1990
TITLE : A Prolog Implementation of an Analytic Tableau Theorem Prover for the Propositional Calculus
Implicates and Reduction Techniques for Temporal Logics
Lecture Notes in Computer Science, 1998
A reasoning method for a paraconsistent logic
Studia Logica - An International Journal for Symbolic Logic, 1993
Automated Natural Deduction for Propositional Linear-Time Temporal Logic
14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic
2002
Journal of Applied Non-Classical Logics, 2009
A modular, tactic-based approach to first-order temporal theorem proving
2000
Labeled Natural Deduction for Temporal Logics
An Informational View of Classical Logic
A KE Tableau for a Logic of Formal Inconsistency
Proceedings of TABLEAUX
Tactic-based theorem proving in first-order modal and temporal logics
2001
A Lazy Approach to Temporal Epistemic Logic Model Checking
Adaptive Agents and Multi-Agents Systems, 2016
Natural Deduction Calculus for Linear-Time Temporal Logic
Vasilyi Shangin, artie basukoski
Lecture Notes in Computer Science, 2006
Anytime Deduction for Probabilistic Logic
Artificial Intelligence, 1994
Proof systems for effectively propositional logic
IJCAR, 2008
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
Journal of Logic and Computation, 2004
Hylores: A hybrid logic prover based on direct resolution
Journal of Pharmacology and Experimental Therapeutics, 2002
A uniform proof procedure for classical and non-classical logics
Lecture Notes in Computer Science, 1996
The deduction rule and linear and near-linear proof simulations
The Journal of Symbolic Logic, 1993
Propositional interval neighborhood temporal logics
2003