Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
An Attempt to Reason about Shared-State Concurrency Ketil Stlen
An Attempt to Reason about Shared-State Concurrency Ketil Stlen
An Attempt to Reason about Shared-State Concurrency
An Attempt to Reason about Shared-State Concurrency
An Arrow-like theorem for voting with logical concequences
An Arrow-like theorem for voting with logical concequences
An Approach to Minimal Belief via Objective Belief
An Approach to Minimal Belief via Objective Belief
An Application of the Interpretation Method in and the Product Logic
An Application of the Interpretation Method in and the Product Logic
An application of results by Hardy, Ramanujan and Andreas Weiermann 1†
An application of results by Hardy, Ramanujan and Andreas Weiermann 1†
An Analysis of the Equational Properties of the Well-Founded Fixed Point
An Analysis of the Equational Properties of the Well-Founded Fixed Point
An Analysis of Logical Determinism
An Analysis of Logical Determinism
An Alternative Axiomatization of DEL and Its Applications
An Alternative Axiomatization of DEL and Its Applications
An algorithmic approach for belief revision
An algorithmic approach for belief revision
An Algorithm for Inducing Least Generalization under Relative Implication Svetla Boytcheva
An Algorithm for Inducing Least Generalization under Relative Implication Svetla Boytcheva
An Algorithm for Adapting Cases Represented in ALC
An Algorithm for Adapting Cases Represented in ALC
An Algebra for Program Designs Tony Hoare Moscow July 2011
An Algebra for Program Designs Tony Hoare Moscow July 2011
An Agent-Based Model of the Emergence and Transmission of a
An Agent-Based Model of the Emergence and Transmission of a
An Action Description Language for Iterated Belief Change
An Action Description Language for Iterated Belief Change
An Abstract Logical Approach to Characterizing Strong Equivalence in
An Abstract Logical Approach to Characterizing Strong Equivalence in
An Abstract General Model and Logic
An Abstract General Model and Logic
An Abductive Reasoning Approach to the Belief-Bias Effect Lu´ıs Moniz Pereira
An Abductive Reasoning Approach to the Belief-Bias Effect Lu´ıs Moniz Pereira
An Abductive Model for Human Reasoning
An Abductive Model for Human Reasoning
An Integration of Theorem Proving 19104
An Integration of Theorem Proving 19104
An Experiment in Paul M. Lefelhocz
An Experiment in Paul M. Lefelhocz
An Efficient Automatic Test Generation System
An Efficient Automatic Test Generation System
An Efficient ATMS for Equivalence Relations*
An Efficient ATMS for Equivalence Relations*
An Approach to Default Reasoning ... Conditional Logic
An Approach to Default Reasoning ... Conditional Logic