A logic-based theory of deductive arguments
A Logic of Explicit Knowledge - Lehman College
A Logic of Belief with the Complexity Measure
A Logic for Perception and Belief Department of Computer Science
A KE Tableau for a Logic of Formal Inconsistency - IME-USP
A Judgmental Reconstruction of Modal Logic
A joint logic of problems and propositions, a modified BHK
A Horn Clause that Implies an Undecidable Set of Horn Clauses ⋆ 1
A Hoare Logic for Linear Systems - School of Electronic Engineering
A HIGHER-ORDER FINE-GRAINED LOGIC FOR INTENSIONAL
A Generalization of St˚almarck`s Method
A game semantics for proof search: Preliminary results - LIX
A Friendly Introduction to Mathematical Logic
A FORMULA SEPARATING TWO THEORIES
a first atempt to full descriptions of the new class
A Finite Model Theorem for the Propositional µ-Calculus
A Few Basics of Probability
A Deduction Method Complete for Refutation and Finite Satis ability
a Decidable Language Supporting Syntactic Query Difference
A Cut-Free Calculus for Second
