- On ‘There Is’: Logical Investigations into Instantial Sentences
- Modal Discussive Logics
- On Universally Free First-Order Extensions of Belnap-Dunn’s Four-Valued Logic and Nelson’s Paraconsistent Logic $$N{4}$$
- Multilateral Supervaluationism and Classicality
- Necessity in the Highest Degree
- Location by Proxy
- Belief Revision Normalized
- The Structure of Paradoxes in a Logic of Sentential Operators
- $$textsf{ST}$$ and $$textsf{TS}$$ as Product and Sum
- Reading Conclusions Conjunctively
- A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic
- Multiteam Semantics for Interventionist Counterfactuals: Probabilities and Causation
- Axiomatization of an Orthologic of Indeterminacy
- Patches, Patchworks, and Epsilon Terms: A Neo-Carnapian Account of Theoretical Terms in Science
- Fusions in Intuitionistic Mereology
- Infinity, Choice, and Hume’s Principle
- Epistemic Logics for Relevant Reasoners
- Number Theory and Infinity Without Mathematics
- Explicit Abstract Objects in Predicative Settings
- An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic
- Sequent Calculi for First-order $$textrm{ST}$$
- Carnap’s Problem, Definability and Compositionality
- Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition
- Which ‘Intensional Paradoxes’ are Paradoxes?
- Multiset-Multiset Frames
- Modal Knowledge for Expressivists
- Arithmetic is Necessary
- A Truthmaker-based Epistemic Logic
- The Orthologic of Epistemic Modals
- Modelling Afthairetic Modality
- On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation
- Some Ways the Ways the World Could Have Been Can’t Be
- Quantified Modal Logics: One Approach to Rule (Almost) them All!
- Exact Truthmaker Semantics for Modal Logics
- Counterpart Theory and Actuality
- One Variable Relevant Logics are S5ish
- A General Schema for Bilateral Proof Rules
- Naïve Truth and the Evidential Conditional
- Common Ground in Non-face-to-face Communication: In Sensu Diviso or In Sensu Composito
- A Hyperintensional Logic of Non-prime Evidence
- Questions & Indexicality
- Grzegorczyk and Whitehead Points: The Story Continues
- First-Degree Entailment and Truthmaker Functions
- An Algebraic View of the Mares-Goldblatt Semantics
- A Semantic Framework for the Impure Logic of Ground
- Truthlikeness and the Number of Planets
- Jeffrey Conditionalization Permits Undermining
- Supervaluationism, Modal Logic, and Weakly Classical Logic
- A Dynamic Logic of Data-Informed Knowledge
- 8 Valued Non-Deterministic Semantics for Modal Logics
- Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems
- Tarski’s Theory of the Formal Correctness of Definitions
- Ab Esse ad Posse Non Valet Consequentia
- A Step Towards Absolute Versions of Metamathematical Results
- Reasoning about Dependence, Preference and Coalitional Power
- Mathematical Modality: An Investigation in Higher-order Logic
- The Implicative Conditional
- A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic
- The Liar Paradox and “Meaningless” Revenge
- Modal Information Logics: Axiomatizations and Decidability
- Subject-Matter and Intensional Operators II: Applications to the Theory of Topic-Sensitive Intentional Modals
- Axiomatizing Rumsfeld Ignorance
- Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes
- Logic-Sensitivity and Bitstring Semantics in the Square of Opposition
- Logical Multilateralism
- Abduction as Deductive Saturation: a Proof-Theoretic Inquiry
- A Minimal Probability Space for Conditionals
- A Basis for AGM Revision in Bayesian Probability Revision
- A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations
- The Value of the One Value: Exactly True Logic revisited
- Quantum Epistemology and Constructivism
- Internal Categoricity, Truth and Determinacy
- On the Provable Contradictions of the Connexive Logics C and C3
- Communication Pattern Logic: Epistemic and Topological Views
- The Logic of Lexical Connectives
- From Epistemic Norms to Logical Rules: Epistemic Models for Logical Expressivists
- Correction to: Depth Relevance and Hyperformalism
- Intuitionistic Mereology II: Overlap and Disjointness
- Solutions to the Knower Paradox in the Light of Haack’s Criteria
- Identity and Harmony and Modality
- A Logical Modeling of Severe Ignorance
- The Logic of Action and Control
- Modus Ponens and the Logic of Decision
- Varieties of Self-Reference in Metamathematics
- Reflective Mereology
- Is, Ought, and Cut
- Consistent Theories in Inconsistent Logics
- That’s It! Hyperintensional Total Logic
- Wright’s Strict Finitistic Logic in the Classical Metatheory: The Propositional Case
- The Logic of Framing Effects
- A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable
- Editorial Introduction: Substructural Logics and Metainferences
- Valueless Measures on Pointless Spaces
- Conservative Translations Revisited
- Elementary Belief Revision Operators
- Empty Logics
- A Simple Logic of Concepts
- Grounding Generalizations
- The Final Cut
- Boolean Mereology
- Awareness as Potential for Knowledge
- Inferential Constants
- On the Metainferential Solution to the Semantic Paradoxes
- Determining Maximal Entropy Functions for Objective Bayesian Inductive Logic
- Extended Simples, Unextended Complexes
- The Metalogic of Ground: Pure and Iterative Systems
- Continuous Accessibility Modal Logics
- A Semantics for the Impure Logic of Ground
- Pure Quotation in Linguistic Context
- Two-sided Sequent Calculi for FDE-like Four-valued Logics
- Neutral Free Logic: Motivation, Proof Theory and Models
- Free Choice in Modal Inquisitive Logic
- The Laws of Thought and the Laws of Truth as Two Sides of One Coin
- Arbitrary Public Announcement Logic with Memory
- Bernoulli Semantics and Ordinal Semantics for Conditionals
- Neighbourhood Semantics for Modal Relevant Logics
- Monstrous Content and the Bounds of Discourse
- Mighty Belief Revision
- Subminimal Negation on the Australian Plan
- Probability and Symmetric Logic
- Valuation Semantics for First-Order Logics of Evidence and Truth
- Acceptance and Certainty, Doxastic Modals, and Indicative Conditionals
- Higher-Order Logic and Disquotational Truth
- Sly Pete in Dynamic Semantics
- Corrections to: Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)
- Single-Assumption Systems in Proof-Theoretic Semantics
- Revisiting McGee’s Probabilistic Analysis of Conditionals
- Embedding Friendly First-Order Paradefinite and Connexive Logics
- What is a Relevant Connective?
- Paraconsistent Metatheory: New Proofs with Old Tools
- Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories
- Essence and Necessity
- Depth Relevance and Hyperformalism
- Classical Logic is not Uniquely Characterizable
- Taking Up Thagard’s Challenge: A Formal Model of Conceptual Revision
- Designing Paradoxes: A Revision-theoretic Approach
- A Unified Logic for Contingency and Accident
- On the Logical Form of Concessive Conditionals
- Rewriting the History of Connexive Logic
- Ideal Objects for Set Theory
- A General Theory of Location Based on the Notion of Entire Location
- Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics
- Correction to: One Step is Enough
- How to Prove Hume’s Law
- Deep ST
- MTV Logics
- Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach
- Non-reflexivity and Revenge
- Identity and Aboutness
- The Dynamics of Argumentative Discourse
- Neighbourhood Semantics for Quantified Relevant Logics
- Choice-Driven Counterfactuals
- Multi-Path vs. Single-Path Replies to Skepticism
- On Representations of Intended Structures in Foundational Theories
- Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
- Logic and Majority Voting
- Correction to: Causal Sufficiency and Actual Causation
- A Theory of Necessities
- Metasequents and Tetravaluations
- Did Descartes make a Diagonal Argument?
- One-Step Modal Logics, Intuitionistic and Classical, Part 2
- Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics
- Metainferential Reasoning on Strong Kleene Models
- Meta-inferences and Supervaluationism
- Supervaluations and the Strict-Tolerant Hierarchy
- One Step is Enough
- Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates
- Derivability and Metainferential Validity
- Grounding, Quantifiers, and Paradoxes
- Falsification-Aware Semantics and Sequent Calculi for Classical Logic
- Arithmetic is Determinate
- Validities, antivalidities and contingencies: A multi-standard approach
- Causal Sufficiency and Actual Causation
- Introducing Identity
- Mind the Gap
- Selective Base Revisions
- Proof-Theoretic Semantics and Inquisitive Logic
- A Note on the Unprovability of Consistency in Formal Theories of Truth
- Blocking an Argument for Emergent Chance
- Identity in Mares-Goldblatt Models for Quantified Relevant Logic
- Closed Structure
- Probabilities with Gaps and Gluts
- Variable Sharing in Connexive Logic
- Basic Quasi-Boolean Expansions of Relevance Logics
- Ontology, Set Theory, and the Paraphrase Challenge
- A Logic for Disjunctive Ignorance
- On the Logic of Belief and Propositional Quantification
- A Simple Logic of Functional Dependence
- Towards a Non-classical Meta-theory for Substructural Approaches to Paradox
- De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics
- Some Forms of Collectively Bringing About or ‘Seeing to it that’
- On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics
- Counterlogicals as Counterconventionals
- Comparing More Revision and Fixed-Point Theories of Truth
- One-Step Modal Logics, Intuitionistic and Classical, Part 1
- Truth and Gradability
- On a Logico-Algebraic Approach to AGM Belief Contraction Theory
- Elusive Propositions
- Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems
- Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions
- Collective Opinion as Tendency Towards Consensus
- Plurals and Mereology
- On Negation for Non-classical Set Theories
- What is the Meaning of Proofs?
- Correction to: Agglomerative Algebras
- More Aboutness in Imagination
- Opaque Updates
- A Family of Strict/Tolerant Logics
- Inferences and Metainferences in ST
- Convergence to the Truth Without Countable Additivity
- De Finettian Logics of Indicative Conditionals Part I: Trivalent Semantics and Validity
- Unwinding Modal Paradoxes on Digraphs
- A More Unified Approach to Free Logics
- Logical Predictivism
- Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion
- Agential Free Choice
- A System of Axioms for Minkowski Spacetime
- Counterfactual Logic and the Necessity of Mathematics
- On Stalnaker’s Simple Theory of Propositions
- Roads to Necessitarianism
- Rosenkranz’s Logic of Justification and Unprovability
- Routley Star and Hyperintensionality
- Brouwer’s Weak Counterexamples and the Creative Subject: A Critical Survey
- Between Atomism and Superatomism
- Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion
- Intuitionistic Non-normal Modal Logics: A General Framework
- Predicate Change
- Revising Probabilities and Full Beliefs
- Jeffrey Meets Kolmogorov
- Transfinite Meta-inferences
- A State-of-Affairs-Semantic Solution to the Problem of Extensionality in Free Logic
- Probability Modals and Infinite Domains
- Intuitionism and the Modal Logic of Vagueness
- Infinitesimal Gunk
- A Relevant Logic of Questions
- Logics of Synonymy
- Truthmaker Semantics for Relevant Logic
- Relative Necessity and Propositional Quantification
- A Paraconsistent Conditional Logic
- The Fundamental Problem of Logical Omniscience
- Intuitionistic Conditional Logics
- Formalizing Kant’s Rules
- Correction to: Deflationism About Logic
- Forcing and the Universe of Sets: Must We Lose Insight?
- Deflationism About Logic
- Indicative Conditionals and Graded Information
- Reference and Truth
- Realism and Empirical Equivalence
- Rabern’s Semantics for Metaphysical and Epistemic Modalities and the Nesting Problem
- Alethic Reference
- Unsettling Preferential Semantics
- Euler-type Diagrams and the Quantification of the Predicate
- Classical Logic and the Strict Tolerant Hierarchy
- Free Choice Impossibility Results
- Blame it on me
- An Accuracy Argument in Favor of Ranking Theory
- Modal Expansionism
- Intensional Protocols for Dynamic Epistemic Logic
- Explicating Logical Independence
- Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL
- The logic of ground
- Expectation Biases and Context Management with Negative Polar Questions
- On Hierarchical Propositions
- Negation on the Australian Plan
- A Hierarchy of Classical and Paraconsistent Logics
- Author Correction: Supervaluation-Style Truth Without Supervaluations
- Models for Hylomorphism
- Substitution Structures
- Algebraic Analysis of Demodalised Analytic Implication
- Disappearing Diamonds: Fitch-Like Results in Bimodal Logic
- Simplified Tableaux for STIT Imagination Logic
- Burali-Forti as a Purely Logical Paradox
- A Calculus of Regions Respecting Both Measure and Topology
- The Harmony of Identity
- Symmetric Contingency Logic with Unlimitedly Many Modalities
- Instability and Contraction
- Correction to: HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)
- The Modal Logic of Bayesian Belief Revision
- Six Problems in Pure Inductive Logic
- Implicit and Explicit Stances in Logic
- The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins
- A New Game Equivalence, its Logic and Algebra
- Agglomerative Algebras
- Notes on Stratified Semantics
- Holism, Meaning Similarity and Inferential Space—a Measurement Theoretic Approach
- Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective
- Ungroundedness in Tarskian Languages
- On Generalization of Definitional Equivalence to Non-Disjoint Languages
- Truth, Predication and a Family of Contingent Paradoxes
- Rethinking Revision
- Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms
- Probability for the Revision Theory of Truth
- Limits in the Revision Theory
- Fixed-Point Posets in Theories of Truth
- Revising Benardete’s Zeno
- Revision Without Revision Sequences: Circular Definitions
- Guest Editors’ Introduction
- Revision Without Revision Sequences: Self-Referential Truth
- Serious Actualism and Higher-Order Predication
- A Dynamic Solution to the Problem of Logical Omniscience
- Basic Intuitionistic Conditional Logic
- A Three-Valued Fregean Quantification Logic
- Disentangling Structural Connectives or Life Without Display Property
- HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)
- Bimodal Logics with Contingency and Accident
- Correction to: The Broadest Necessity
- Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic
- A Topological Approach to Full Belief
- Bilateralism, Trilateralism, Multilateralism and Poly-Sequents
- A Meinongian Way out of the Polish Proofs Against General Objects
- Partial Semantics for Quantified Modal Logic
- Stabilizing Quantum Disjunction
- Modus Ponens Under the Restrictor View
- A Representation Result for Value-based Contraction
- Variable Priorities and Exclusionary Reasons in Input/Output Logic
- Relational Semantics and Domain Semantics for Epistemic Modals
- Subjunctive Conditional Probability
- Some Results on the Limits of Thought
- Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction
- Supervaluation-Style Truth Without Supervaluations
- Correction to: Message Exchange Games in Strategic Contexts
- Bridging Ranking Theory and the Stability Theory of Belief
- Exclusion Problems and the Cardinality of Logical Space
- Modular Semantics for Theories: An Approach to Paraconsistent Reasoning
- Learning Conditional Information by Jeffrey Imaging on Stalnaker Conditionals
- Minimal Complete Propositional Natural Deduction Systems
- The Representation of Belief
- The Broadest Necessity
- A Representation Theorem for Frequently Irrational Agents
- Quantification in Some Non-normal Modal Logics
- An Impure Logic of Representational Grounding
- Rosy with Sider? The Case of the Metaphysical Liar
- On Sahlqvist Formulas in Relevant Logic
- Williamson on Counterpossibles
- Axiomatic Theories of Partial Ground II
- Message Exchange Games in Strategic Contexts
- The Irreducibility of Iterated to Single Revision
- On Structural Features of the Implication Fragment of Frege’s Grundgesetze
- A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach
- Vague Objects within Classical Logic and Standard Mereology, and without Indeterminate Identity
- Higher-Order Contingentism, Part 3: Expressive Limitations
- Emptying a Paradox of Ground
- Obligation as Optimal Goal Satisfaction
- Principles for Object-Linguistic Consequence: from Logical to Irreflexive
- Contraction, Infinitary Quantifiers, and Omega Paradoxes
- Inter-Definability of Horn Contraction and Horn Revision
- Cut-Elimination for Quantified Conditional Logic
- Interpersonal Sameness of Meaning for Inferential Role Semantics
- Modeling Unicorns and Dead Cats: Applying Bressan’s ML ν to the Necessary Properties of Non-existent Objects
- A Theory of Truthmaker Content II: Subject-matter, Common Content, Remainder and Ground
- A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation
- Erratum to: An Impure Logic of Representational Grounding
- On A New Semantics for First-Order Predicate Logic
- Referential Dependencies Between Conflicting Attitudes
- Hierarchical Propositions
- Revisiting Quine on Truth by Convention
- Quantifiers Defined by Parametric Extensions
- Agreement and Updating For Self-Locating Belief
- Handling Inconsistencies in the Early Calculus
- Uncertainty and Persistence: a Bayesian Update Semantics for Probabilistic Expressions
- Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)
- Combinatorial Bitstring Semantics for Arbitrary Logical Fragments
- Some Notes on Truths and Comprehension
- Proof Theory of Paraconsistent Quantum Logic
- On the Costs of Nonclassical Logic
- A Rational Way of Playing: Revision Theory for Strategic Interaction
- Higher-Order Contingentism, Part 2: Patterns of Indistinguishability
- There is More to Negation than Modality
- Relative Necessity Reformulated
- Same Same But Different: An Alphabetically Innocent Compositional Predicate Logic
- Conditionals in Theories of Truth
- An Axiomatic System and a Tableau Calculus for STIT Imagination Logic
- Approximating Cartesian Closed Categories in NF-Style Set Theories
- Probabilistic Opinion Pooling with Imprecise Probabilities
- Axiomatic Theories of Partial Ground I
- Second-order Logic and the Power Set
- Does Semantic Relationism Solve Frege’s Puzzle?
- The Problem of Cross-world Predication
- Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework
- Higher-Order Contingentism, Part 1: Closure and Generation