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
A Critique of the Foundations of Hoare-Style Programming Logics
A Critique of the Foundations of Hoare-Style
A Crevice on the Crane Beach: Finite-Degree
A Course in Modal Logic - Sun Yat
