The following pages link to Outstanding Contributions to Logic (Q261506):
Displaying 50 items.
- J. Michael Dunn on information based logics (Q261507) (← links)
- Dag Prawitz on proofs and meaning (Q482472) (← links)
- Martin Davis on computability, computational logic, and mathematical foundations (Q505399) (← links)
- Hilary Putnam on logic and mathematics (Q1667460) (← links)
- Rohit Parikh on logic, language and society (Q1674245) (← links)
- Larisa Maksimova on implication, interpolation, and definability (Q1674252) (← links)
- Ewa Orłowska on relational methods in logic and computer science (Q1722898) (← links)
- Don Pigozzi on abstract algebraic logic, universal algebra, and computer science (Q1754466) (← links)
- Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka (Q2012667) (← links)
- Feferman on foundations. Logic, mathematics, philosophy (Q2012669) (← links)
- Arnon Avron on semantics and proof theory of non-classical logics (Q2027291) (← links)
- Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs (Q2232484) (← links)
- Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic (Q2232485) (← links)
- Raymond Smullyan on self reference (Q2410718) (← links)
- David Makinson on classical methods for non-classical problems (Q2438624) (← links)
- Krister Segerberg on logic of actions (Q2441209) (← links)
- Leo Esakia on duality in modal and intuitionistic logics (Q2446018) (← links)
- Nuel Belnap on indeterminism and free action (Q2447073) (← links)
- Petr Hájek on mathematical fuzzy logic (Q2449330) (← links)
- Johan van Benthem on logic and information dynamics (Q2449702) (← links)
- V. A. Yankov on non-classical logics, history and philosophy of mathematics (Q2673441) (← links)
- Petr Hájek on Mathematical Fuzzy Logic (Q2948593) (← links)
- Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Q3299592) (← links)
- Parikh and Wittgenstein (Q3299831) (← links)
- Vagueness, Communication, and the Sorites Paradox (Q3299832) (← links)
- Nonmonotonicity and Knowability: As Knowable as Possible (Q3299833) (← links)
- What is Money? (Q3299835) (← links)
- Focusing on Campaigns (Q3299836) (← links)
- A Non-classical Logical Approach to Social Software (Q3299837) (← links)
- Why Bother with Syntax? (Q3299838) (← links)
- Talking About Knowledge (Q3299839) (← links)
- The Pleasure of Gossip (Q3299841) (← links)
- Modeling Monty Hall in If Logic (Q3299843) (← links)
- Solving for Best Responses and Equilibria in Extensive-Form Games with Reinforcement Learning Methods (Q3299845) (← links)
- The Logic of Approximate Dependence (Q3299846) (← links)
- On Height and Happiness (Q3299847) (← links)
- Epistemic Conditionals and the Logic of Subsets (Q3299848) (← links)
- On the Coalgebraic Theory of Kleene Algebra with Tests (Q3299849) (← links)
- Aristotle, Boole, and Categories (Q3299850) (← links)
- Galois Theory of Algorithms (Q3299851) (← links)
- Parikh’s Closing Remarks (Q3299852) (← links)
- The Complete Bibliography of Rohit Parikh (Q3299853) (← links)
- My Life as a Logician (Q3305314) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
- A Story of Hilbert’s Tenth Problem (Q3305317) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- Honest Computability and Complexity (Q3305319) (← links)
- Why Post Did [Not] Have Turing’s Thesis (Q3305321) (← links)
- On Quantum Computation, Anyons, and Categories (Q3305322) (← links)
