The following pages link to Outstanding Contributions to Logic (Q261506):
Displaying 50 items.
- Logic and Probabilistic Update (Q5249676) (← links)
- Belief as a Simplification of Probability, and What This Entails (Q5249677) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Knowledge Games and Coalitional Abilities (Q5249679) (← links)
- On Definitive Solutions of Strategic Games (Q5249680) (← links)
- Logical Player Types for a Theory of Play (Q5249681) (← links)
- An Alternative Analysis of Signaling Games (Q5249682) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- Roles, Rigidity, and Quantification in Epistemic Logic (Q5249684) (← links)
- Stit Logics, Games, Knowledge, and Freedom (Q5249685) (← links)
- The Logic of Best Actions from a Deontic Perspective (Q5249686) (← links)
- When are Two Arguments the Same? Equivalence in Abstract Argumentation (Q5249687) (← links)
- Three Etudes on Logical Dynamics and the Program of Natural Logic (Q5249688) (← links)
- From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value (Q5249689) (← links)
- Logic and Complexity in Cognitive Science (Q5249690) (← links)
- Dynamic Versus Classical Consequence (Q5249691) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- Situation Theory Reconsidered (Q5249694) (← links)
- Unified Correspondence (Q5249695) (← links)
- David Makinson on Classical Methods for Non-Classical Problems (Q5250320) (← links)
- Short Autobiography (Q5886454) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory (Q5886456) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- The Invariance Modality (Q5886459) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)
- An Application of the Yankov Characteristic Formulas (Q5886461) (← links)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)
- On V.A. Yankov’s Contribution to the History of Foundations of Mathematics (Q5886463) (← links)
- On V.A. Yankov’s Existential Interpretation of the Early Greek Philosophy. The Case of Heraclitus (Q5886464) (← links)
- On V.A. Yankov’s Hypothesis of the Rise of Greek Mathematics (Q5886465) (← links)
- Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Q5896165) (← links)
- Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Q5896166) (← links)
- Hiroakira Ono on Substructural Logics (Q6486095) (← links)
- Samson Abramsky on logic and structure in computer science and beyond (Q6534907) (← links)
- Peter Schroeder-Heister on proof-theoretic semantics (Q6536037) (← links)
- Dick de Jongh on intuitionistic and provability logics (Q6536038) (← links)
- Saul Kripke on modal logic (Q6583017) (← links)
- Publication:261507 (← links)
- Publication:482472 (← links)
- Publication:505399 (← links)
- Publication:2232484 (← links)
- Publication:2232485 (← links)
- Publication:2410718 (← links)
- Publication:2438624 (← links)
- Publication:2441209 (← links)
- Publication:2447073 (← links)
- Publication:2446018 (← links)
