yusuke1997/dblp-id-title huggingface dataset:
Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
Intuitionistic Mereology II: Overlap and Disjointness
The deliberative stit: A study of action, omission, ability, and obligation
Multiset-Multiset Frames
The meaning of pure mathematics
A Logic Inspired by Natural Language: Quantifiers As Subnectors
The Scandal of Deduction - Hintikka on the Information Yield of Deductive Inferences
Classical second-order intensional logic with maximal propositions
Fitch's Paradox Beyond Verificationism: On a Puzzle for Closure and Some Modally Qualified Principles
Adequate Conditionals and Kripke's Theory of Truth
Modal logics with the Macintosh rule
Antecedent-Relative Comparative World Similarity
Two methods of constructing contractions and revisions of knowledge systems
Structural accessibility and similarity of possible worlds
Hintikka and defensibility: Some further remarks
Tensed modalities
Strict Finitism and the Happy Sorites
One Variable Relevant Logics are S5ish
A unified theory of conditionals
Model theory for modal logic part I - The De re/de dicto distinction
Choice and Logic
Severe Withdrawal (and Recovery)
The Logic of Framing Effects
Logic of Knowledge and Utterance and the Liar
On when a semantics is not a semantics: Some reasons for disliking the Routley-Meyer semantics for relevance logic
The Logic of Instance Ontology
On the logic of informational independence and its applications
Determining Maximal Entropy Functions for Objective Bayesian Inductive Logic
Propositional Q -Logic
Neighborhoods for Entailment
The Many Faces of Closure and Introspection
Over-Assignment of Structure
Vagueness and Quantification
Quantum logic of quantifiers
The modal logic of quantum logic
Negation on the Australian Plan
Some Forms of Collectively Bringing About or 'Seeing to it that'
Predication and extensionality
A Theory of Necessities
Modus Ponens Under the Restrictor View
Indexed systems of sequents and cut-elimination
Higher-Order Sorites Paradox
AGM 25 Years - Twenty-Five Years of Research in Belief Change
Necessity in the Highest Degree
Arithmetic is Necessary
A Minimal Probability Space for Conditionals
Moral Conflicts between Groups of Agents
Quandaries and the logic of rules
An incomplete system of modal logic
Jeffrey Conditionalization Permits Undermining
Normal Derivations and Sequent Derivations
Analysis of quantum probability theory. II
Truth and Assertability
A New Analysis of Quasianalysis
Free Choice Impossibility Results
Rewriting the History of Connexive Logic
Routley Star and Hyperintensionality
Modal Correspondence for Models
The Toffoli-Hadamard Gate System: an Algebraic Approach
8 Valued Non-Deterministic Semantics for Modal Logics
Common Ground in Non-face-to-face Communication: In Sensu Diviso or In Sensu Composito
Translating the hypergame paradox: Remarks on the set of founded elements of a relation
A logic of good, should , and would
Boolean Mereology
Extended Simples, Unextended Complexes
On the characterization of entities by means of individuals and properties
Normal, Sasaki, and classical implications
Non-well-founded sets via revision rules
Truth and Gradability
Principles of abstraction for events and processes
Gleason's Theorem Has a Constructive Proof
Getting the Most Out of Inconsistency
Morgan on deductive explanation: A rejoinder
Natural Deduction and Curry's Paradox
On formalizing the referential/attributive distinction
Supervaluations and the Strict-Tolerant Hierarchy
Handling Inconsistencies in the Early Calculus
On probabilistic representation of non-probabilistic belief revision
Rosser-Type Undecidable Sentences Based on Yablo's Paradox
The Logic of Lexical Connectives
On the Logic of Nonmonotonic Conditionals and Conditional Probabilities: Predicate Logic
Higher-Order Contingentism, Part 3: Expressive Limitations
On the Referential Indeterminacy of Logical and Mathematical Concepts
Atom Exchangeability and Instantial Relevance
Identification in the limit of first order structures
The modal logic of provability. The sequential approach
A Disquotational Theory of Truth as Strong as (Z 2 - )
The equivalence of tautological and "strict" entailment: Proof of an amended conjecture of Lewy's
The Dynamics of Argumentative Discourse
Modal Ontology and Generalized Quantifiers
Non-Prioritized Ranked Belief Change
On the Logic of Belief and Propositional Quantification
First-Order Frege Theory is Undecidable
Some Comments on Ian Rumfitt's Bilateralism
The Berry Paradox
A Family of Strict/Tolerant Logics
On Generalization of Definitional Equivalence to Non-Disjoint Languages
Boethius' thesis and conditional logic
The Logic Of Reliable And Efficient Inquiry
Bilattices and the theory of truth
Explicit Abstract Objects in Predicative Settings
Editorial Introduction: Logical Methods for Social Concepts
Agglomerative Algebras
Exclusion Problems and the Cardinality of Logical Space
Naive Modus Ponens
Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)
Disagreement and Epistemic Utility-Based Compromise
Approximations and truth spaces
Tarski on "essentially richer" metalanguages
The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz
Between Burgess and Lewis - Part II: Semantics without Rational Monotonicity
Bealer's Quality and concept
Quantum Mechanical Unbounded Operators and Constructive Mathematics - a Rejoinder to Bridges
The Modal Logic of Gödel Sentences
A case for a heretical deontic semantics
The origins of Zermelo's axiomatization of set theory
Some Ways the Ways the World Could Have Been Can't Be
Expressivity of Second Order Propositional Modal Logic
Time and Determinism
Formalizing Kant's Rules
Acceptance and Certainty, Doxastic Modals, and Indicative Conditionals
The Definability of the set of natural numbers in the 1925 Principia Mathematica
Mirror notation: symbol manipulation without inscription manipulation
A Simple Logic of Concepts
Bertrand Russell on his paradox and the multiplicative axiom. An unpublished letter to Philip Jourdain
Erratum to: The Compatibility of Relevance and Mingle
Necessity predicates and operators
Towards a model theory of diagrams
Some remarks on extending and interpreting theories with a partial predicate for truth
Number of Extensions of Non-Fregean Logics
Grounding, Quantifiers, and Paradoxes
Rethinking Revision
Deflationism, Conservativeness and Maximality
A Note on Priest's Finite Inconsistent Arithmetics
Magari's theorem via the recession frame
Foundations of conditional logic
Preference-based deontic logic (PDL)
That Principia mathematica , first edition, has a predicative interpretation after all
Gupta's rule of revision theory of truth
Kreisel, the continuum hypothesis and second order set theory
Correlations, Contextuality and Quantum Logic
A Dynamic Logic of Data-Informed Knowledge
Modes of Adjointness
On A New Semantics for First-Order Predicate Logic
The Revival of Rejective Negation
Euler-type Diagrams and the Quantification of the Predicate
Necessary versus Probable Cause
Assertion, denial, and the Liar Paradox
Absolute Probability Functions for Intuitionistic Propositional Logic
On an alleged refutation of Hilbert's Program using Gödel's First Incompleteness Theorem
A Logical Modeling of Severe Ignorance
A Defense of the Principle of Indifference
Translation and reduction
The Representation of Belief
Sets and Plural Comprehension
Essentialism in quantified modal logic
Quantified quinean S5
Intervals and tenses
The principle of excluded middle in quantum logic
Individual Concepts in Modal Predicate Logic
Mathematical Modality: An Investigation in Higher-order Logic
Paraconsistent Metatheory: New Proofs with Old Tools
Reading Conclusions Conjunctively
Understanding Church's thesis
The Leibniz project
Logical consequence: A defense of Tarski
Exact Truthmaker Semantics for Modal Logics
On a Paradox of Hilbert and Bernays
Relevant predication: Grammatical characterisations
Dynamic squares
The logic of paradox
Reasoning About Social Choice Functions
Deductively Definable Logics of Induction
Theory contraction through base contraction
Communication and Strong Compositionality
The Logic of Pragmatic Truth
Daggers, Kernels, Baer *-semigroups, and Orthomodularity
Validities, antivalidities and contingencies: A multi-standard approach
Solving the Color Incompatibility Problem
A State-of-Affairs-Semantic Solution to the Problem of Extensionality in Free Logic
Fixed-Point Posets in Theories of Truth
Some theorems on the expressive limitations of modal languages
TW + and RW + are decidable
Well Founding Grounding Grounding
A modal reduction for partial logic
Four paradoxes
A relevant theory of conditionals
Three Problems for the Singularity Theory of Truth
Logics of Informational Interactions
Synthetic mechanics revisited
On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation
The Logic of Group Decisions: Judgment Aggregation
Ontology as a normative science
Real Analysis in Paraconsistent Logic
Aristotle's response to Quine's objections to modal logic
Conditioning against the Grain
The Fundamental Problem of Logical Omniscience
Bilateralism in Proof-Theoretic Semantics
Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition
Completeness and Decidability Results for Some Propositional Modal Logics Containing "Actually" Operators
Reference and Truth
Frege, Boolos, and Logical Objects
System of Spheres-based Multiple Contractions
Distribution and proportion
Logical Theories of Intention and the Database Perspective
Bernoulli Semantics and Ordinal Semantics for Conditionals
The Value of the One Value: Exactly True Logic revisited
The modal logic of provability: Cut-elimination
Anti-foundation and self-reference
On the Decidability Status of Fuzzy ALC with General Concept Inclusions
Defending the Possibility of Knowledge
Conjunction-based Sorites: A Misguided Objection to Degree-Theoretic (Fuzzy) Solutions to Sorites Paradoxes
The elimination of de re formulas
On the status of the postulate of recovery in the logic of theory change
Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates
Modus Ponens and the Logic of Decision
Completeness of quantum logic
Failure of interpolation in relevant logics
Setting the Facts Straight
A Logic for Disjunctive Ignorance
Meta-inferences and Supervaluationism
Dynamic Topological Logic Interpreted over Minimal Systems
Moral dilemmas and nonmonotonic logic
Explicating Logical Independence
Conservative Translations Revisited
Obligation as Optimal Goal Satisfaction
Paradoxes of fulfillment
Counterfactual Worlds
On Sahlqvist Formulas in Relevant Logic
On AGM for Non-Classical Logics
Modal Languages and Bounded Fragments of Predicate Logic
A General Theory of Location Based on the Notion of Entire Location
Modal Logic, Truth, and the Master Modality
Universal semantics?
Modality, Quantification, and Many Vlach-Operators
A Grim Semantics For Logics of Belief
The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins
The compatibility of relevance and mingle
Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective)
Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis
On the logic of quantum logic
Too Much Reference: Semantics for Multiply Signifying Terms
On Prima Facie Obligations and Nonmonotonicity
Reasoning about Dependence, Preference and Coalitional Power
On Evans's Vague Object from Set Theoretic Viewpoint
The essence of genuine reference
Continuous Accessibility Modal Logics
Epistemic semantics defended
The Paradox of Inference and the Non-Triviality of Analytic Information
A semantical theory of analytic implication
On the Matter of Essential Richness
Some descending chains of incomplete modal logics
Logic and the Condemnations of 1277
Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi's Commentary on the Handbook of Logic
Fusions in Intuitionistic Mereology
Truth and paradox
A Simple Logic of Functional Dependence
The semantics of entailment - III
Elementary Belief Revision Operators
What is referential opacity?
The Structure of Paradoxes in a Logic of Sentential Operators
Assertion, denial and some cancellation rules in modal logic
A refined theory of counterfactuals
The Logics of Strict-Tolerant Logic
The Dynamics of Non-Belief (with Modesty)
The Modal Logic of Discrepancy
A Double Deduction System for Quantum Logic Based On Natural Deduction
A Constructive Formulation of Gleason's Theorem
Naïve Truth and the Evidential Conditional
Quantum Epistemology and Constructivism
Natural deduction and Hilbert's ɛ-operator
Abstraction in Algorithmic Logic
Cardinality and Identity
Embedding If and Only If
Conditionals, quantification, and strong mathematical induction
Formal Epistemology
A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness
Evidence Sensitivity in Weak Necessity Deontic Modals
Truth without satisfaction
Combinatorial Bitstring Semantics for Arbitrary Logical Fragments
Reasoning with Truth
Subjective probability: Criticisms, reflections, and problems
Iterative and fixed point common belief
Jeffrey Meets Kolmogorov
On the danger of half-truths
Rules versus theorems
On the Costs of Nonclassical Logic
Axiomatizing Rumsfeld Ignorance
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms
Partial Semantics for Quantified Modal Logic
Supervaluation-Style Truth Without Supervaluations
The Intensional Many - Conservativity Reclaimed
An unlabeled bracketing solution to the problem of conjoined phrases in Montague's PTQ
Decidability and the finite model property
Iterated Descriptor Revision and the Logic of Ramsey Test Conditionals
Substitutional quantification and set theory
On modal logics which enrich first-order S5
Modal Weak Kleene Logics Through Variables Inclusion
'Now' and 'Then' in Tense Logic
Absolute and restricted concepts
A Three-Valued Fregean Quantification Logic
The logic of historical necessity as founded on two-dimensional modal tense logic
Kaplan on quine and suspension of judgment
Reflections on "difficult" embeddings
Substitutivity, Obstinacy, and the Case of Giorgione
A new theory of content I: Basic content
Fine-grained Concurrency with Separation Logic
The Relevance of a Relevantly Assertable Disjunction for Material Implication
A definition of truth for theories with intensional definite description operators
A model existence theorem in infinitary propositional modal logic
On the Nature of Continuous Physical Quantities in Classical and Quantum Mechanics
FEW 2009 Special Issue: Preface
A nominalistic proof of the conservativeness of set theory
Models and Logical Consequence
Some preliminaries to ontology
One Step is Enough
Necessary and sufficient conditions for existence of a unique measure strictly agreeing with a qualitative probability ordering
De Finettian Logics of Indicative Conditionals Part I: Trivalent Semantics and Validity
An analysis of Hansson's dyadic deontic logic
Reversing the Levi identity
Point-Free Geometry and Verisimilitude of Theories
Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories
A semantic analysis of conditional assertion
Mechanical Turkeys
The Power of a Propositional Constant
A Logic for Multiple-source Approximation Systems with Distributed Knowledge Base
A solution to a problem of urquhart
Collective Opinion as Tendency Towards Consensus
On Modal μ-Calculus and Non-Well-Founded Set Theory
Probabilistic Cause and the Thirsty Traveler
Formal and material consequence
Neighbourhood Semantics for Modal Relevant Logics
Three Models of Sequential Belief Updating on Uncertain Evidence
Types of I -Free Hereditary Right Maximal Terms
Well- and Non-Well-Founded Fregean Extensions
Did Descartes make a Diagonal Argument?
An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic
Analysing choice sequences
Essence and Necessity
Naive Modus Ponens and Failure of Transitivity
You've Come a Long Way, Bayesians
Strict Fregean free logic
Conditional Probability in the Light of Qualitative Belief Change
Modelling Afthairetic Modality
Restricted Arrow
Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models
On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models
On Extensions of Intermediate Logics by Strong Negation
The Irreducibility of Personal Obligation
Logic and the Classical Theory of Mind
The k -variable property is stronger than H-dimension k
A Note on the Unprovability of Consistency in Formal Theories of Truth
Logical Multilateralism
Saving the Truth Schema from Paradox
A General Schema for Bilateral Proof Rules
Revision Without Revision Sequences: Self-Referential Truth
From worlds to probabilities: A probabilistic semantics for modal logic
Variable-free semantics for anaphora
A logical study of the correspondence relation
A Generalization of Inquisitive Semantics
The Application of Constraint Semantics to the Language of Subjective Uncertainty
Pure Logic of Many-Many Ground
Some numerical constructions in English
Correction to: Agglomerative Algebras
A note on the tense logic of dominoes
On the logic of demonstratives
Scopeless quantifiers and operators
What is a syllogism?
Rosenkranz's Logic of Justification and Unprovability
No Future
Holism, Meaning Similarity and Inferential Space - a Measurement Theoretic Approach
Socratic Proofs for Quantifiers
Quine and Slater on Paraconsistency and Deviance
Logical Rationalism
Question-begging in non-cumulative systems
Replacement in Logic
On the Compositional Extension Problem
Some Notes on Truths and Comprehension
Problems in Epistemic Space
Generic terms and generic sentences
Mereotopological Connection
Generalized normal logic
Arithmetic is Determinate
Models for Hylomorphism
Paths to Triviality
A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic
Paradoxes and many-valued set theory
Hedges: A study in meaning criteria and the logic of fuzzy concepts
Counterpart Theory and Actuality
Set theory and free logic
A program for the semantics of science
Replacement - A Sheffer Stroke for Belief Change
Is, Ought, and Cut
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework
Entailment with Near Surety of Scaled Assertions of High Conditional Probability
Logical Pluralism and Semantic Information
Axiomatization of a Branching Time Logic with Indistinguishability Relations
Erratum to: Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism
On the use (and abuse) of Logic in Game Theory
The logic of ground
Interpersonal Sameness of Meaning for Inferential Role Semantics
If-Logic and Truth-definition
The diagonal argument and the Liar
Quantification in Some Non-normal Modal Logics
Incompleteness and the Barcan formula
The intuitive background of normative legal discourse and its formalization
Matters of relevance
What is ceteris paribus preference?
A Defense of Temperate Epistemic Transparency
LE t ® , LR ° [^( ~ )] , LK and Cutfree Proofs
Principles for Object-Linguistic Consequence: from Logical to Irreflexive
One-Step Modal Logics, Intuitionistic and Classical, Part 2
Learning Conditional Information by Jeffrey Imaging on Stalnaker Conditionals
Testimony as Evidence: More Problems for Linear Pooling
Counterfactuals and comparative possibility
Antirealism and the Conditional Fallacy: The Semantic Approach
Modal Discussive Logics
Is Gold-Putnam diagonalization complete?
Syllogisms with fractional quantifiers
Reasoning About Permitted Announcements
Intended models and the Löwenheim-Skolem theorem
A Step Towards Absolute Versions of Metamathematical Results
Merging Frameworks for Interaction
Singulary Extensional Connectives: A Closer Look
Taking Up Thagard's Challenge: A Formal Model of Conceptual Revision
Unifying Quantified Modal Logic
Provability, truth, and modal logic
Corrections to: Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective)
A new actualist modal semantics
Logic and Aggregation
Consistent Theories in Inconsistent Logics
Truthlikeness and the Number of Planets
A subjective interpretation of conditional probability
Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion
Simplified Tableaux for STIT Imagination Logic
Symmetric Categorial Grammar
Remarks on a theorem of McGee
An empirical hypothesis about natural semantics
The logic of approximation in quantum theory
False Though Partly True - An Experiment in Logic
Some Supervaluation-based Consequence Relations
Relevant predication 1: The formal theory
Logic and Ontological Pluralism
Rabern's Semantics for Metaphysical and Epistemic Modalities and the Nesting Problem
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach
Validity and Necessity
The Syllogistic with Unity
Empty Logics
A Framework for Location
Serious Actualism and Higher-Order Predication
Computing Strong and Weak Permissions in Defeasible Logic
A New Theory of Content II: Model Theory and Some Alternatives
Region-Based Topology
Algebraic Kripke-Style Semantics for Relevance Logics
On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics
Deflationism About Logic
Modal Information Logics: Axiomatizations and Decidability
Semantic analysis of the modal syllogistic
A natural deduction system for discourse representation theory
A Revenge-Immune Solution to the Semantic Paradoxes
Same Same But Different: An Alphabetically Innocent Compositional Predicate Logic
Carnapian extensions of S5
One True Logic?
A metalinguistic interpretation of counterfactual conditionals
Notions of relevance - Comments on Leblanc's paper
Mīmāṃsā on 'better-not' Permissions
Subjunctive Conditional Probability
On Interpreting Chaitin's Incompleteness Theorem
Probability Semantics for Quantifier Logic
Note on a completeness theorem in the theory of counterfactuals
The Hooded Man
Languages of similarity
The gentzenization and decidability of RW
A Basis for AGM Revision in Bayesian Probability Revision
Varieties of Self-Reference in Metamathematics
Many-valued computational logics
Constructing Situations and Time
Modal logic with names
Cut Elimination for GLS Using the Terminability of its Regress Process
On Logics with Coimplication
Complex Predicates and Logics for Properties and Relations
Logic and Semantics for Imperatives
Ordering semantics and premise semantics for counterfactuals
The first axiomatization of relevant logic
From Epistemic Norms to Logical Rules: Epistemic Models for Logical Expressivists
Relevant deontic logic
The Leibniz Continuity Condition, Inconsistency and Quantum Dynamics
Temporal Reference in Linear Tense Logic
Testability and Ockham's Razor: How Formal and Statistical Learning Theory Converge in the New Riddle of Induction
The Problem of Cross-world Predication
A DDL Approach to Pluralistic Ignorance and Collective Belief
Heraclitus-Maximal Worlds
Semantic analysis of orthologic
That's It! Hyperintensional Total Logic
Dimensions of truth
Utility and Language Generation: The Case of Vagueness
The lattice of extensional connectives: A correction
Quantum Logic as a Fragment of Independence-Friendly Logic
Should knowledge entail belief?
Comments on Predicative Logic
Sortal ranges for complex predicates
On Negation for Non-classical Set Theories
Varieties of Linear Calculi
Analysis of quantum probability theory. I
A Type Reduction from Proof-conditional to Dynamic Semantics
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems
Facts and the semantics of gerunds
Identity in Mares-Goldblatt Models for Quantified Relevant Logic
Strong Boethius' Thesis and Consequential Implication
The Content of Deduction
Indefinite topological logic
On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
Variable Priorities and Exclusionary Reasons in Input/Output Logic
A Modest Logic of Plurals