A modal perspective on monadic second
A MODAL EXTENSION OF FIRST ORDER CLASSICAL LOGIC–Part
A mathematical sentence is a sentence that states a fact or contains
A Mathematical Introduction to Modal Logic
A LOGICAL SEMANTICS FOR NONMONOTONIC SORTS
A Logical Framework for Default Reasoning
A Logical Foundation for Session
A Logical Expression of Reasoning
A logical basis for quantum evolution and entanglement
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 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
