A Note on Assumptions about Skolem Functions
A Nonstandard Approach to the. Logical Omniscience Problem
A non-standard Semantics for Inexact Knowledge with Introspection
A New Theory of Content
A new method to express sums of power of integers as a polynomial
A New Decidability Technique for Ground Rewrite Systems with Applications
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 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
