Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Ordinary Expressions Have No Exact and Systematic Logic
Ordinary Expressions Have No Exact and Systematic Logic
Ordered Epistemic Logic: Semantics, Complexity and Applications
Ordered Epistemic Logic: Semantics, Complexity and Applications
Oracle Semantics for Concurrent Separation Logic Aquinas Hobor Joint work with
Oracle Semantics for Concurrent Separation Logic Aquinas Hobor Joint work with
Optimal Trust Network Analysis with Subjective Logic
Optimal Trust Network Analysis with Subjective Logic
Optimal Regression for Reasoning about Knowledge and Actions Hans van Ditmarsch
Optimal Regression for Reasoning about Knowledge and Actions Hans van Ditmarsch
Optimal Planning with Temporal Logic Specifications Sertac Karaman JUN 62009
Optimal Planning with Temporal Logic Specifications Sertac Karaman JUN 62009
Optimal Depth Neural Networks for Multiplication and Related
Optimal Depth Neural Networks for Multiplication and Related
Optimal Control with Weighted Average Costs and Temporal Logic
Optimal Control with Weighted Average Costs and Temporal Logic
Open - The Scottish Government
Open - The Scottish Government
Ontology Contraction: Beyond the Propositional - CEUR
Ontology Contraction: Beyond the Propositional - CEUR
Ontological Pluralism, the Gradation of Being, and the Question
Ontological Pluralism, the Gradation of Being, and the Question
Ontological Analysis For Description Logics Knowledge Base Debugging Julien Corman Nathalie Aussenac-Gilles
Ontological Analysis For Description Logics Knowledge Base Debugging Julien Corman Nathalie Aussenac-Gilles
Only-Knowing: Taking It Beyond Autoepistemic Reasoning Gerhard Lakemeyer Hector J. Levesque
Only-Knowing: Taking It Beyond Autoepistemic Reasoning Gerhard Lakemeyer Hector J. Levesque
Network information flow - Information Theory, IEEE Transactions on
Network information flow - Information Theory, IEEE Transactions on
Nested Sequents for Intuitionistic Logics
Nested Sequents for Intuitionistic Logics
Nested Quantifiers
Nested Quantifiers
neously shape a back up in case things would go wrong.
neously shape a back up in case things would go wrong.
NeoFregeanism and Quantifier Variance
NeoFregeanism and Quantifier Variance
Nemos: A Framework for Axiomatic and Executable
Nemos: A Framework for Axiomatic and Executable
Negotiation as Mutual Belief Revision Dongmo Zhang Norman Foo
Negotiation as Mutual Belief Revision Dongmo Zhang Norman Foo
Negation and Quantification. A New Look at the Square of Opposition
Negation and Quantification. A New Look at the Square of Opposition
negation as Reasoning with minimal
negation as Reasoning with minimal
Negating Nested Quantifiers
Negating Nested Quantifiers
Nature of Science and Science Processing Skills
Nature of Science and Science Processing Skills