The following pages link to Outstanding Contributions to Logic (Q261506):
Displaying 50 items.
- At the Limits of Thought (Q3305681) (← links)
- Some Comments and Replies (Q3305682) (← links)
- Crossing Boundaries (Q3305683) (← links)
- Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Q4966261) (← links)
- Krister Segerberg’s Philosophy of Action (Q4982649) (← links)
- The Concept of a Routine in Segerberg’s Philosophy of Action (Q4982650) (← links)
- On the Reconciliation of Logics of Agency and Logics of Event Types (Q4982651) (← links)
- Three Traditions in the Logic of Action: Bringing them Together (Q4982652) (← links)
- Deontic Logics Based on Boolean Algebra (Q4982653) (← links)
- Dynamic Deontic Logic, Segerberg-Style (Q4982654) (← links)
- Contraction, Revision, Expansion: Representing Belief Change Operations (Q4982655) (← links)
- Segerberg on the Paradoxes of Introspective Belief Change (Q4982656) (← links)
- Equivalent Beliefs in Dynamic Doxastic Logic (Q4982657) (← links)
- On Revocable and Irrevocable Belief Revision (Q4982658) (← links)
- Actions, Belief Update, and DDL (Q4982659) (← links)
- DDL as an “Internalization” of Dynamic Belief Revision (Q4982660) (← links)
- Two Logical Faces of Belief Revision (Q4982661) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Interpretations of Weak Positive Modal Logics (Q5020162) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Credal Calculi, Evidence, and Consistency (Q5020164) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
- What Is Negation in a System 2020? (Q5020169) (← links)
- Relevance Domains and the Philosophy of Science (Q5020170) (← links)
- Consequence Relations with Real Truth Values (Q5020171) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- Connexive Variants of Modal Logics Over FDE (Q5020173) (← links)
- Comments on the Papers (Q5020174) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Relevance-Sensitive Truth-Trees (Q5027231) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
- Beth Definability in the Logic KR (Q5027235) (← links)
- Geometric Models for Relevant Logics (Q5027236) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- The Universal Theory Tool Building Toolkit Is Substructural (Q5027238) (← links)
- More on the Power of a Constant (Q5027239) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics (Q5027243) (← links)
- Ockham Algebras—An Urquhart Legacy (Q5027244) (← links)
- Temporal Logic of Minkowski Spacetime (Q5027245) (← links)
- Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality (Q5027246) (← links)
- Substitution and Propositional Proof Complexity (Q5027247) (← links)
- Reflections on Proof Complexity and Counting Principles (Q5027248) (← links)
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals (Q5027249) (← links)
