yusuke1997/dblp-id-title huggingface dataset:
Which Worlds are Possible? A Judgment Aggregation Problem
Notes on naive semantics
A conjectured axiomatization of two-dimensional Reichenbachian tense logic
The ineliminability of E! in free quantification theory without identity
Arresting circles in formal dialogues
The adequacy problem for classical logic
Interrogative Belief Revision in Modal Logic
On the ontology of branching quantifiers
Stochastic independence, causal independence, and shieldability
First-order Expressivity for S5-models: Modal vs. Two-sorted Languages
Sets and Classes as Many
Necessity and truth theories
Combinations of Stit with Ought and Know
The liar paradox
Substitution Structures
The Logical Structure of Truthmaking
Of servants, lovers, and benefactors: Peirce's algebra of relatives of 1870
Preferential Semantics using Non-smooth Preference Relations
HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)
Inter-Definability of Horn Contraction and Horn Revision
Incomplete Symbols - Definite Descriptions Revisited
Referential Dependencies Between Conflicting Attitudes
A Note on Finiteness in the Predicative Foundations of Arithmetic
Independent Set Readings and Generalized Quantifiers
Simplified semantics for basic relevant logics
Reasoning about update logic
Probability functions and their assumption sets - the singulary case
Embeddability, syntax, and semantics in accounts of scientific theories
A Note on Typed Truth and Consistency Assertions
On quantifying out
Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5
Continuity and identity
Semantics for Dual Preferential Entailment
On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes
Some transformational extensions of Montague grammar
The logic of 'Almost all'
Valueless Measures on Pointless Spaces
Truth and Context Change
The Incompleteness of Theories of Games
When Rules Define Logical Operators: Rules as Second-Order Definitions
Completeness and super-valuations
Modular Semantics for Theories: An Approach to Paraconsistent Reasoning
Anderson and Belnap's Invitation to Sin
Elementary realizability
The functional model of sentential complexity
The Orthologic of Epistemic Modals
A Representation Result for Value-based Contraction
T × W Completeness
Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment
Relevant implication and the case for a weaker logic
Solution to a problem of Ono and Komori
Some Results on the Limits of Thought
A Semantics for the Impure Logic of Ground
Intentional identity generalized
Displaying and Deciding Substructural Logics 1: Logics with Contraposition
Natural deduction, separation, and the meaning of logical operators
Depth Relevance and Hyperformalism
Awareness as Potential for Knowledge
Inferential Constants
Non-classical Metatheory for Non-classical Logics
Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$
Possibilities Without Possible Worlds/Histories
Complexly fractionated syllogistic quantifiers
Possible Worlds for Modal Primitivists
Erotetic implications
Basic Quasi-Boolean Expansions of Relevance Logics
A Paraconsistent Conditional Logic
From worlds to situations
Irreducible probabilities and indeterminism
Mally's Deontic Logic: Reducibility and Semantics
A note of provability, truth and existence
Computer Implication and the Curry Paradox
Steps Toward a Computational Metaphysics
On the treatment of perceptual verbs in Montague grammar: Some philosophical remarks
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic
A Dynamic Characterization of the Pure Logic of Relevant Implication
Model theory for modal logic - part II the elimination of De re modality
Combinations of Tense and Modality for Predicate Logic
Frege on sense identity
The Broadest Necessity
Ideal Objects for Set Theory
Skolem's paradox and constructivism
A predicate calculus for intensional logic
Defaults with Priorities
Defaults in update semantics
A theory of vagueness
Is (Un)Countabilism Restrictive?
Constraints for Input/Output Logics
Potential Infinite Models and Ontologically Neutral Logic
Paradox, truth and logic part I: Paradox and truth
Predicate Change
Some Useful 16-Valued Logics: How a Computer Network Should Think
(Direct) reference
Bi-Heyting algebras, toposes and modalities
Quantification as an act of mind
The Hypothetical Syllogism
Propositional quantifiers
Predication and Extensionalization
Sequent Calculi for First-order rmST
Location by Proxy
The Logic of Counterpart Theory with Actuality
Minimal Complete Propositional Natural Deduction Systems
A Propositional Dynamic Logic with Qualitative Probabilities
A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems
Ray on Tarski on Logical Consequence
Valuational semantics of rule derivability
On some U, S -tense logics
The inconsistency of higher order extensions of Martin-Löf's type theory
Logic-Sensitivity and Bitstring Semantics in the Square of Opposition
Chunk and Permeate, a Paraconsistent Inference Strategy. Part I: The Infinitesimal Calculus
Modal logic with subjunctive conditionals and dispositional predicates
Action and ability
Self-reference and incompleteness in a non-monotonic setting
Free Choice in Modal Inquisitive Logic
Attitudes and their objects
A sieve for entailments
The semantics of generic the
Second-order Logic and the Power Set
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Pronouns and quantifier-scope in English
Partially Interpreted Relations and Partially Interpreted Quantifiers
Possible worlds foundations for probability
Conditional Probability and Defeasible Inference
Non-Adjunctive Inference and Classical Modalities
Simplism and the liar
If Logic, Definitions and the Vicious Circle Principle
A System of Axioms for Minkowski Spacetime
Description-Names
Logics of Nonsense and Parry Systems
Vagueness, Kant and Topology: a Study of Formal Epistemology
Models for entailment
Carnap's robot and inductive logic
Truth as an Epistemic Ideal
Truth-Maker Semantics for Intuitionistic Logic
A Note on Harmony
Simplified semantics for relevant logics (and some of their rivals)
Hyperformalism for Bunched Natural Deduction Systems
An Impure Logic of Representational Grounding
Patches, Patchworks, and Epsilon Terms: A Neo-Carnapian Account of Theoretical Terms in Science
Logical operations
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz's Semantics
The Logic of Theory Assessment
Ungroundedness in classical languages
A logic of Good, Should , and Would
Relevant consequence and empirical inquiry
A Note on the Interpolation Property in Tense Logic
A Comment on RCC: From RCC to RCC ++
Is the semantics of branching structures adequate for non-metric Ockhamist tense logics?
Inductive Sequents for Distributive Modal Logic
The Indefinability of "One"
Conditionals from a Linguistic Point of View: Two Case Studies
Intuitionistic Non-normal Modal Logics: A General Framework
Infinitary Belief Revision
Why the Liar Does not Matter
Multiteam Semantics for Interventionist Counterfactuals: Probabilities and Causation
Semantics for quantified relevance logic
A Relevant Logic of Questions
Actions as Events
Propositional Reasoning that Tracks Probabilistic Reasoning
Some Weakened Gödelian Ontological Systems
R and Relevance Principle Revisited
Proof Analysis in Modal Logic
A simple type theory without platonic domains
A Semantic Framework for the Impure Logic of Ground
Constituents and finite identifiability
The logical form of determiners
Fractal Images of Formal Systems
Radical Semantics: A New Theory of Meaning
Fine-grained opinion, probability, and the logic of full belief
Contextual-Hierarchical Reconstructions of the Strengthened Liar Problem
Neutral Free Logic: Motivation, Proof Theory and Models
On the logic of nonmonotonic conditionals and conditional probabilities
Maximality vs. Optimality in Dyadic Deontic Logic
An Interpretation of Łukasiewicz's 4-Valued Modal Logic
Proclus and the Neoplatonic Syllogistic
AI, me and Lewis (Abelian Implication, Material Equivalence and C I Lewis 1920)
Indicative Conditionals and Graded Information
Model theory for modal logic - Part III existence and predication
Intuitionistic Conditional Logics
Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox
A Tractarian Universe
One-Step Modal Logics, Intuitionistic and Classical, Part 1
Urn models and categoricity
From worlds to possibilities
Intuitionism and the Modal Logic of Vagueness
The shortest possible length of the longest implicational axiom
Hierarchical semantics for relevant logics
Contingent identity
Alethic Reference
Modal logic and truth
Elementary categorial logic, predicates of variable degree, and theory of quantity
Logic and the world
A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach
Validity and quantification in intuitionism
On state transformations induced by yes-no experiments, in the context of quantum logic
Logical Consequence and the Paradoxes
Impossibility Results for Infinite-Electorate Abstract Aggregation Rules
The deducibilities of S5
Revising Benardete's Zeno
Sly Pete in Dynamic Semantics
The Power of Belnap: Sequent Systems for SIXTEEN 3
Proof theory of Abelian connexive logics
Abduction as Deductive Saturation: a Proof-Theoretic Inquiry
Reasoning About Collectively Accepted Group Beliefs
Classical Logic is not Uniquely Characterizable
Proof Theory of Paraconsistent Quantum Logic
Possible Worlds Semantics and Fiction
Lucas' number is finally up
A Routley-Meyer Type Semantics for Relevant Logics Including B r Plus the Disjunctive Syllogism
A general filtration method for modal logics
Is counterpart theory inadequate?
Comparing More Revision and Fixed-Point Theories of Truth
Four-valued semantics for relevant logics (and some of their rivals)
The Intrinsic Quantum Nature of Nash Equilibrium Mixtures
General-Elimination Harmony and the Meaning of the Logical Constants
The logic of deliberate action
A Counterexample to Modus Tollens
Shafer on conditional probability
Mass Nouns in a Logic of Classes as Many
Property theory: The type-free approach v. the church approach
Abstraction and definability in semantically closed structures
Failure of Completeness in Proof-Theoretic Semantics
On Gupta's book The Logic of Common Nouns
An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency
Proto-Semantics for Positive Free Logic
Editorial Introduction to the Special Issue LOFT Sevilla
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems
Burali-Forti as a Purely Logical Paradox
A technical note on Lars Lindahl's Position and Change
On Rules
sfST and sfTS as Product and Sum
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5
Bimodal Logics with Contingency and Accident
A Two-Level Perspective on Preference
Dynamic semantics and circular propositions
Reply to Sorensen
An Intuitionistic Characterization of Classical Logic
The substitution interpretation in topological logic
The Mereological Foundation of Megethology
Principles of reflection and second-order logic
Truth as Translation - Part B
A truth-functional logic for near-universal generalizations
Varieties of indeterminacy in the theory of general choice sequences
Truth as Translation - Part A
Convergence to the Truth Without Countable Additivity
Physicalism, instrumentalism and the semantics of modal logic
On the Ternary Relation and Conditionality
Reinflating Logical Consequence
H. B. Smith on modality: A logical reconstruction
Can The Classical Ladder Be Kicked Away? The View from One Rung Up
A result in renyi's conditional probability theory with application to subjective probability
Supervaluation Fixed-Point Logics of Truth
The Logical Structure of Linguistic Commitment III Brandomian Scorekeeping and Incompatibility
Davis's formulation of Kripke's theory of truth: A correction
De Re Language, De Re Eliminability, and the Essential Limits of Both
How to Revise a Total Preorder
What are occurrences of expressions?
Modalising Plurals
Simple probabilistic semantics for propositional K, T, B, S4, and S5
On Stalnaker's Simple Theory of Propositions
Vagueness: Why Do We Believe in Tolerance?
On Structural Features of the Implication Fragment of Frege's Grundgesetze
Completeness of S 4 for the Lebesgue Measure Algebra
Penrose's New Argument
New Foundations for a Relational Theory of Theory-revision
Liar-type Paradoxes and the Incompleteness Phenomena
Expressive completeness in modal language
The logic of lost lingens
Conditional Excluded Middle in Systems of Consequential Implication
Possible worlds and situations
Derivability and Metainferential Validity
Approximate truth
Strong Completeness Theorems for Weak Logics of Common Belief
A fixed point theorem for the Weak Kleene valuation scheme
Unwinding Modal Paradoxes on Digraphs
Descriptions, essences and quantified modal logic
Angellic Content
Which 'Intensional Paradoxes' are Paradoxes?
Non-reflexivity and Revenge
A Uniform Theory of Conditionals
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω
Propositions and the Substitution Anomaly
A Formal Characterisation of Hamblin's Action-State Semantics
A Note on Formality and Logical Consequence
On a hitherto unexploited extension of the finitary standpoint
Non-Fregean World of Logics
Subject-Matter and Intensional Operators II: Applications to the Theory of Topic-Sensitive Intentional Modals
Awareness Dynamics
Minding the Is-Ought Gap
On Hierarchical Propositions
Conditionals Right and Left: Probabilities for the Whole Family
On (C.KK * ) and the KK-thesis
An alternative theory of nonexistent objects
Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic
A Simple Incomplete Extension of T which is the Union of Two Complete Modal Logics with f.m.p
The logical structure of linguistic commitment II: Systems of relevant commitment entailment
Updating by Maximizing Expected Accuracy in Infinite Non-Partitional Settings
Wajsberg normal forms for S5
Von Wright's principle of predication - some clarifications
Modality, invariance, and logical truth
Intensionality in mathematics
Modal tableau calculi and interpolation
Axiomatisation and decidability of F and P in cyclical time
How to Prove Hume's Law
Paraconsistent logics?
Relations in Monadic Third-Order Logic
An Inconsistency-Adaptive Deontic Logic for Normative Conflicts
Shades of possibility
Realism and Empirical Equivalence
On the semantics for the language ML ν based on a type system, and those for the type-free language ML ∞
Career induction stops here (and here = 2)
Undecidability and intuitionistic incompleteness
The semantics ofR4
Shallow Analysis and the Slingshot Argument
Conditional Ranking Revision - Iterated Revision with Sets of Conditionals
An Epistemic Perspective on Subjective and Objective Time
What Might be the Case after a Change in View
The extensions of BAlt 3
The finite model property and recursive bounds on the size of countermodels
Prologue-functors
Choice-Driven Counterfactuals
Relevant identity
A Unified Logic for Contingency and Accident
A finite axiomatization of the set of strongly valid Ockhamist formulas
Causal Sufficiency and Actual Causation
Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism
Epistemic foundations of logic
Generalising the probabilistic semantics of conditionals
Infinitesimal Gunk
Meaning and Circular Definitions
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic
Basic Intuitionistic Conditional Logic
Frege and the rigorization of analysis
A logical calculus with descriptions
Frege's Content-Principle and Relevant Deducibility
Four probability-preserving properties of inferences
The semantics of entailment - II
Editorial Introduction - 25 Years of AGM Theory
Reflective Mereology
Semantic Holism and Language Learning
Boxing Some: Axiomatizations of the $\Box \exists $-Bundled Fragment of First-Order Modal Logic
Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic
Notes on the History of Ideas Behind AGM
Stalnaker on inquiry
Extended Quantum Logic
What exactly is English?
Extended Gergonne Syllogisms
On branching quantifiers in English
Logic and the complexity of reasoning
Comments on Some Completeness Theorems of Urquhart and Méndez & Salto
Propositional Logic of Essence
Knowledge and necessity
Conditional obligation and counterfactuals
Falsification-Aware Semantics and Sequent Calculi for Classical Logic
Quantum Logic and Meaning
Global and Iterated Contraction and Revision: An Exploration of Uniform and Semi-Uniform Approaches
Expressive Power and Incompleteness of Propositional Logics
Cut-Elimination for Quantified Conditional Logic
Assertoric Semantics and the Computational Power of Self-Referential Truth
On Meaningfulness and Truth
Nominalistic metalogic
Existence, presupposition and anaphoric space
Belief-theoretic formal semantics for first-order logic and probability
On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion
Thought-Contents and the Formal Ontology of Sense
Uncertainty and Persistence: a Bayesian Update Semantics for Probabilistic Expressions
Two-dimensional modal logic
Defining sets as sets of points of spaces
Gleason's theorem is not constructively provable
Individuation and the semantics of demonstratives
Logic of paradox revisited
Don't eliminate cut
Explication of Inductive Probability
If quanta had logic
Single-Assumption Systems in Proof-Theoretic Semantics
Orthomodular lattices as implication algebras
On the completeness of first degree weakly aggregative modal logics
Merging without mystery or: Variables in dynamics semantics
Author Correction: Supervaluation-Style Truth Without Supervaluations
Bare-Boned Demonstratives
Positive understatement: The logic of attributive adjectives
Concrete forms - Their application to the logical paradoxes and Gödel's theorem
The Logic and Meaning of Plurals. Part I
On the Possibility of Inference to the Best Explanation
The Logic and Meaning of Plurals. Part II
Inference and necessity
Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial
Correction to: Causal Sufficiency and Actual Causation
A Formal Construction of the Spacetime Manifold
An alternate formulation of Kripke's theory of truth
A Hierarchy of Classical and Paraconsistent Logics
Message Exchange Games in Strategic Contexts
Kripke and the logic of truth
Objectual Quantifier Theory
State-of-affairs Semantics for Positive Free Logic
Blockage Contraction
Roads to Necessitarianism
Against extended modal realism
Hierarchical Propositions
A Contextual-Hierarchical Approach to Truth and the Liar Paradox
On the logic of high probability
A Note on Binary Inductive Logic
Logic on the Australian plan
Constructions, proofs and the meaning of logical constants
Quotational theories of propositional attitudes
The logic of modifiers
Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL
The surprise examination paradox
Exploring Jaśkowski's Discussive Logic
Logical Constraints on Judgement Aggregation
Recovery Recovered
Consequence Mining - Constants Versus Consequence Relations
Natural Deduction for Modal Logic with a Backtracking Operator
On qualitative axiomatizations for probability theory
Connectives Stranger than Tonk
On the primary and secondary semantics of logical necessity
Relative Necessity Reformulated
Correction to: Depth Relevance and Hyperformalism
Individual-actualism and three-valued modal logics, part 2: Natural-deduction formalizations
One Hundred Years of Semantic Paradox
Toward a More Natural Expression of Quantum Logic with Boolean Fractions
The true modal logic
Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts
Against Stepping Back: A Critique of Contextualist Approaches to the Semantic Paradoxes
Disappearing Diamonds: Fitch-Like Results in Bimodal Logic
Hyperintensions as Computations
Ockham Efficiency Theorem for Stochastic Empirical Methods
The One-Variable Fragment of T →
A critique of some logical treatments of ontological predicates
Lévy Hierarchy in weak Set Theories
Indexed Actuality
Mathematical instrumentalism meets the conjunction objection
Logics of Synonymy
Entailment and Bivalence
Inquisitive Conditional Logics
On the philosophical basis of essentialist theories
An interpretation of classical proofs
Causation
Two modellings for theory change
The Best Question
Quantum logic and physical modalities
Semantics for Dual and Symmetric Combinatory Calculi
Symmetry as a method of proof
How far can Hume's is-ought thesis be generalized?
Carnap's Problem, Definability and Compositionality
Stability and Paradox in Algorithmic Logic
Limits in the Revision Theory
A free logic with intensions as possible values of terms
A Meinongian Way out of the Polish Proofs Against General Objects
Foundational belief change
The SameP-Relation as a Response to Critics of Baker's Theory of Constitution
A Topological Approach to Full Belief
Philosophical logic and artificial intelligence
Intuitionist type theory and foundations
Counterlogicals as Counterconventionals
Non-genuine MacIntosh logics
Utility, Informativity and Protocols
Axiomatic Theories of Partial Ground II
An Admissible Semantics for Propositionally Quantified Relevant Logics
Bilateralism, Trilateralism, Multilateralism and Poly-Sequents
Tolerant, Classical, Strict
Tensed Mereology
On Fork Arrow Logic and its Expressive Power
Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision
Symmetry and Completeness in Relevant Epistemic Logic
Expectation Biases and Context Management with Negative Polar Questions
A misplaced thesis of conditional logic
How does quantum logic correspond to physical reality?
Normal Modal Substructural Logics with Strong Negation
Iterated Conditionalization in a General Setting
Combinatory completeness without classical equality
More Triviality
Semantics for existential graphs
Paradigms of truth detection
Bolzano's consequence, relevance, and enthymemes
Revisiting Quine on Truth by Convention
On the logic of ability
A Rational Way of Playing: Revision Theory for Strategic Interaction
On a Logico-Algebraic Approach to AGM Belief Contraction Theory
Tarski's Theory of the Formal Correctness of Definitions
The Fundamental Theorem of World Theory
Quantum logic and generalized probability theory
Modal Monsters and Talk about Fiction
Logical Predictivism
What is the Meaning of Proofs?
The Irreducibility of Iterated to Single Revision
Doing and refraining from refraining
Yablifying the Rosser Sentence
Alternative Axiomatics and Complexity of Deliberative STIT Theories
On the Concept of the Scale
Monstrous Content and the Bounds of Discourse
A Gentzen Calculus for Nothing but the Truth
Axiomatic Theories of Partial Ground I
What Truth Depends on
Grounding Generalizations
Quantum logical calculi and lattice structures
Noncumulative dialectical models and formal dialectics
Partially-Ordered (Branching) Generalized Quantifiers: A General Definition
A Dynamic Solution to the Problem of Logical Omniscience
Contraction, Infinitary Quantifiers, and Omega Paradoxes
First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation
Be Nice! How Simple Imperatives Simplify Imperative Logic
Possible Worlds Semantics for Partial Meet Multiple Contraction
Constructive mathematics and unbounded operators - A reply to Hellman
Thomason's Paradox for Belief, and Two Consequence Relations
The "Natural" and the "Formal"
Transmissible improbabilities and marginal essentialness of premises in inferences involving indicative conditionals
Belief in discourse representation theory
Circumscriptive theories: A logic-based framework for knowledge representation