yusuke1997/dblp-id-title huggingface dataset:
Event-Triggered Robust State Estimation for Nonlinear Networked Systems with Measurement Delays against DoS Attacks
An Experiment-Based Profile Function for the Calculation of Damage Distribution in Bulk Silicon Induced by a Helium Focused Ion Beam Process
Auto-Denoising for EEG Signals Using Generative Adversarial Network
Optimizing Face Recognition Inference with a Collaborative Edge-Cloud Network
Comparison of Three 3D Segmentation Software Tools for Hip Surgical Planning
SSIM-Based Autoencoder Modeling to Defeat Adversarial Patch Attacks
Multi-Fading Factor and Updated Monitoring Strategy Adaptive Kalman Filter-Based Variational Bayesian
Indeterminism, indeterminateness, and tense logic
Multilateral Supervaluationism and Classicality
Traditional Cavalieri principles applied to the modern notion of area
Is (quantum) logic empirical?
Orthomodularity and relevance
Comment on Peter of Spain, Jim Mackenzie, and begging the question
Responsibility in Multi-Step Decision Schemes
Logic Based Merging
The Logic of Action and Control
Henkin Quantifiers and the Definability of Truth
Three Dual Ontologies
Ontology-free modal semantics
Paraconsistent analytic implication
Permission from an Input/Output Perspective
Number Theory and Infinity Without Mathematics
A note on the axiomatisation of brouwersche modal logic
How Truth Behaves When There's No Vicious Reference
Algebraic Analysis of Demodalised Analytic Implication
Relative truth and semantic categories
Completeness in Hybrid Type Theory
Context-dependent Abduction and Relevance
A "definitive" probabilistic semantics for first-order logic
Truth and reflection
Individual-actualism and three-valued modal logics, part 1: Model-theoretic semantics
Socratic Proofs
Predicate Metric Tense Logic for 'Now' and 'Then'
Disentangling Structural Connectives or Life Without Display Property
The logic of essence
On good and bad arguments
The Elimination of Self-Reference: Generalized Yablo-Series and the Theory of Truth
Inexact Knowledge with Introspection
Probability Modals and Infinite Domains
Free construction of time from events
Paradox and Potential Infinity
A complete deductive-system for since-until branching-time logic
Williamson on Counterpossibles
On Chisholm's paradox
Gödelizing the Yablo Sequence
How truthlike can a predicate be? A negative result
Subformula semantics for strong negation systems
A study of type-neutrality - Part II: Relations
The Implicative Conditional
More Aboutness in Imagination
Truth, Predication and a Family of Contingent Paradoxes
Relational Complexes
Probability implication in the logics of classical and quantum mechanics
Representational of conditional probabilities
The relations of logic and semantics to ontology
Experimental logics and Δ inf2 sup0 - theories
Remarks on Penrose's "New Argument"
Classes and change
Unsettling Preferential Semantics
Inferences and Metainferences in ST
Provability in Principle and Controversial Constructivistic Principles
Does Semantic Relationism Solve Frege's Puzzle?
Intuitionism: An introduction to a seminar
First-Order Dialogical Games and Tableaux
Inquisitive Logic
Dangerous Reference Graphs and Semantic Paradoxes
In Defense of Imperative Inference
Axioms for Deliberative Stit
Can All Things Be Counted?
A Peculiarity in Pearl's Logic of Interventionist Counterfactuals
Stratified Belief Bases Revision with Argumentative Inference
Algebras of Intervals and a Logic of Conditional Assertions
Possible Ideas of Necessity in Indian Logic
Agential Free Choice
Meinong reconstructed versus early russell reconstructed
Disquotationalism and Expressiveness
Three-valued Logic, Indeterminacy and Quantum Mechanics
A theory of modal dialectics
Intensional Protocols for Dynamic Epistemic Logic
Selective Base Revisions
Tense systems with discrete moments of time, part I
A Note on Irrelevance in Inductive Logic
Finite Models Constructed from Canonical Formulars
Between Burgess and Lewis - Part I: Logics without Rational Monotonicity
Embedding Friendly First-Order Paradefinite and Connexive Logics
Ungroundedness in Tarskian Languages
A curious inference
Partition and revision: The semantics of counterfactuals
Emptying a Paradox of Ground
First- and Second-Order Logic of Mass Terms
A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation
What's Wrong with Tonk(?)
A Theory of Truth that Prefers Falsehood
Are arithmetical truths analytic? New results in free set theory
An objection to possible-world semantics for counterfactual logics
Tuomela on deductive explanation
An axiomatic approach to first law thermodynamics
Concepts of randomness
Transfinite Meta-inferences
Vagueness: A Conceptual Spaces Approach
Modal Expansionism
A formalization of a nominalistic set theory
Routes to Triviality
Körner's criterion of relevance and analytic tableaux
Arbitrary Public Announcement Logic with Memory
Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants
Hintikka on analyticity
Correction to: HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)
Relative Necessity and Propositional Quantification
Term Models for Abstraction Principles
A Modal Sortal Logic
When Hyperpropositions Meet ..
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
A Generalization of the Routley-Meyer Semantic Framework
Axiomatization of an Orthologic of Indeterminacy
A syntactical approach to modality
Functional completeness for subsystems of intuitionistic propositional logic
Compatible elements in implicative models
Axiomatic Quantum Theory
Prioritized and Non-prioritized Multiple Change on Belief Bases
A single primitive trope relation
Elusive Propositions
Deflationary Truth and the Liar
Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
Is Conditioning Really Incompatible with Holism?
Qualitative probability as an intensional logic
Curry's paradox in contractionless constructive logic
A Łukasiewicz-style refutation system for the modal logic S4
On evaluating deontic logics - Comments on van Fraassen's paper
Modeling Unicorns and Dead Cats: Applying Bressan's ML ν to the Necessary Properties of Non-existent Objects
Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic
Accepting inconsistencies from the paradoxes
On the philosophical significance of consistency proofs
Mechanism, Truth, and Penrose's New Argument
The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic
The Genesis of Possible Worlds Semantics
On Qualitative Route Descriptions
Modeling Relations
A1 is not a conservative extension of S4 but of S5
The principle of predication
Free semantics for indefinite descriptions
The adequacy problem for inferential logic
Semantic Closure, Descriptions and Non-Triviality
Why Conclusions Should Remain Single
Vague Objects within Classical Logic and Standard Mereology, and without Indeterminate Identity
A Representation Theorem for Frequently Irrational Agents
Truthmaker Semantics for Relevant Logic
Harmony and Autonomy in Classical Logic
Reply to Hugly and Sayward
Hilbert's ɛ-operator and classical logic
On the Brouwerian concept of negative continuity
Questions & Indexicality
Canonicity for Intensional Logics Without Iterative Axioms
Remarks on Compositionality and Weak Axiomatic Theories of Truth
Possible-Worlds Semantics for Modal Notions Conceived as Predicates
Some Embedding Theorems for Conditional Logic
Finite H-dimension does not imply expressive completeness
Some Thoughts about the Hardest Logic Puzzle Ever
Grzegorczyk and Whitehead Points: The Story Continues
A logic of intentions and beliefs
Category theory and quantum mechanics (kinematics)
There is a probabilistic semantics for every extension of classical sentence logic
Probability for the Revision Theory of Truth
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations
A Truthmaker-based Epistemic Logic
Relatively precomplete numerations and arithmetic
(Global) Quantification & (Local) Definability - Some Comments on del Valle-Inclán's Criticism of Bonnay and Westerståhl's Solution to Carnap's problem
A Gabbay-Rule Free Axiomatization of T×W Validity
Foundations as a branch of mathematics
Negationless intuitionism
Frege Puzzles?
Remarks on Gregory's "Actually" Operator
The Graph Conception of Set
Interval semantics for tense logic: Some remarks
Coherentist Contraction
On 'There Is': Logical Investigations into Instantial Sentences
On the Provable Contradictions of the Connexive Logics C and C3
Erratum to: An Impure Logic of Representational Grounding
Properties, propositions and sets
Situationist Deontic Logic
Diamonds are a Philosopher's Best Friends
A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic
Blocking an Argument for Emergent Chance
Approximating Cartesian Closed Categories in NF-Style Set Theories
Deep ST
Relevant Restricted Quantification
Canonical superlanguages
Position Systems in Dynamic Domains
Contradictory Information: Too Much of a Good Thing
Operating on Functions with Variable Domains
Introducing Identity
Identity and Harmony and Modality
A First Order Theory of Functional Parthood
Acceptable Contradictions: Pragmatics or Semantics? A Reply to Cobreros et al
An Intuitionistic Reformulation of Mally's Deontic Logic
Bochenski on Property Identity and the Refutation of Universals
Axioms for actuality
The decidable normal modal logics are not recursively enumerable
The logic of conditional obligation
Probabilistic semantics objectified: I. postulates and logics
Correction to: Message Exchange Games in Strategic Contexts
The propositional objects of mental attitudes
Efficient reasoning about rich temporal domains
Closed Structure
Conditionals and Propositions in Semantics
Inductive reasoning and the uniformity of nature
Ramified Frege Arithmetic
Grounding, dependence, and paradox
Scientific Discovery on Positive Data via Belief Revision
Modal Logics of Succession for 2-Dimensional Integral Spacetime
Relational Models for the Modal Syllogistic *
Logical Operations and Invariance
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3
Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics
Partitions and Conditionals
Intensional logics and logical truth
Yes, Virginia, there Really are Paraconsistent Logics
Boolean negation and all that
Logic and Majority Voting
Normal modal model theory
On Permutation in Simplified Semantics
Sense, entailment and Modus ponens
Vagueness and Blurry Sets
Supervaluationism, Modal Logic, and Weakly Classical Logic
Intentional inexistence
Is the semantics of branching structures adequate for chronological modal logics?
Towards a Theory of Limited Indeterminism in Branching Space-times
Reference and singular referring terms
Knowledge and true belief in Hintikka's epistemic logic
The Simple Consistency of Naive Set Theory using Metavaluations
A Proof System for Contact Relation Algebras
The Ramsey Test and Conditional Semantics
Six Problems in Pure Inductive Logic
Logic and Social Cognition - The Facts Matter, and so do Computational Models
Single variable formulas in S4 →
Some Observations on Induction in Predicate Probabilistic Reasoning
The Pleasures of Anticipation: Enriching Intuitionistic Logic
A study of type-neutrality
A new classical relevance logic
Probabilistic Opinion Pooling with Imprecise Probabilities
A posts cript on fallacies
On the strong law of large numbers in quantum probability theory
A laplacean formal semantics for single-case propensities
Popper Functions, Uniform Distributions and Infinite Sequences of Heads
Semantics of propositional attitudes: A critical study of Cresswell's
Basic conditional logic
Possible-world semantics for counterfactual logics: A rejoinder
Direct reference and ascriptions of belief
CE is Not a Conservative Extension of E
Global supervenience and belief
Synonymous Logics
Squares in Fork Arrow Logic
General semantic closure
BH-CIFOL: Case-Intensional First Order Logic
A Two Dimensional Tense-modal Sortal Logic
A Routley-Meyer semantics for converse Ackermann Property
Quantified Modal Logics: One Approach to Rule (Almost) them All!
Pure Quotation in Linguistic Context
Pragmatic Interpretations of Vague Expressions: Strongest Meaning and Nonmonotonic Consequence
Beyond tense logic
Parts and Participants
Remarks on the Modal Logic of Henry Bradford Smith
How to Precisify Quantifiers
Inferentialism and Uniformity
CIFOL: Case-Intensional First Order Logic
Elementary Polyhedral Mereotopology
Foundations of Everyday Practical Reasoning
Ab Esse ad Posse Non Valet Consequentia
Modal translations in substructural logics
The Logic of Dominance Reasoning
A system of logic for bicategorial ontology
Whither relevance logic?
Editorial Introduction: Selected Papers from the 2nd Workshop on Logic, Rationality and Interaction (LORI-II)
Note on the Scope of Truth-functional Logic
Reapproaching Ramsey: Conditionals and Iterated Belief Change in the Spirit of AGM
Evaluating Dialectical Structures
Counterfactual Logic and the Necessity of Mathematics
Stabilizing Quantum Disjunction
The Justification of the Basic Laws of Logic
Free Semantics
Some Limitations to the Psychological Orientation in Semantic Theory
I'm OK if you're OK: On the notion of trusting communication
Revision Without Revision Sequences: Circular Definitions
Truth, belief, and vagueness
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences
Paradoxes of Interaction?
Non-monotonic Probability Theory and Photon Polarization
An Update on Epistemic Modals
Aspects of analytic deduction
Why Propositions Might be Sets of Truth-supporting Circumstances
Making a Start with the stit Logic Analysis of Intentional Action
Intuitionistic truth
Tarskian and Kripkean truth
Priest, the Liar, and Gödel
Presuppositions
Defeasible Conditionalization
Suspension of judgment: A response to Heidelberger on Kaplan
A new puzzle about intentional identity
Standard Quantification Theory in the Analysis of English
Synthetic mechanics
A non-compactness phenomenon in logics with hyperintensional predication
On the Axiomatisation of Elgesem's Logic of Agency and Ability
Goodman's "New Riddle"
Correction to: One Step is Enough
Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions
Logic in India - Editorial Introduction
Generalized Logical Consequence: Making Room for Induction in the Logic of Science
Action Emulation between Canonical Models
Counterfactuals without possible worlds
On the Logical Form of Concessive Conditionals
The domino relation: Flattening a two-dimensional logic
Categoricity Theorems and Conceptions of Set
Higher-Order Contingentism, Part 1: Closure and Generation
Revisiting McGee's Probabilistic Analysis of Conditionals
Propositions, circumstances, objects
Taken by surprise: The paradox of the surprise test revisited
Search for Quantum Reality
Russell-Names: An Introduction to Millian Descriptivism
Traditional Logic, Modern Logic and Natural Language
A utilitarian semantics for deontic logic
Two-Dimensional Awareness Logics
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable
Higher-Order Logic and Disquotational Truth
What is character?
Iterated revision and minimal change of conditional beliefs
The permutation principle in quantificational logic
A preference logic minimally complete for expected utility maximization
Truth, Dependence and Supervaluation: Living with the Ghost
Rosy with Sider? The Case of the Metaphysical Liar
Correction to: The Broadest Necessity
Notes on Stratified Semantics
A Sound and Complete Tableaux Calculus for Reichenbach's Quantum Mechanics Logic
Rules in relevant logic - I: Semantic classification
The Laws of Thought and the Laws of Truth as Two Sides of One Coin
The Metaphysical Foundation of Logic
Two-sided Sequent Calculi for FDE-like Four-valued Logics
Against Hypothetical Syllogism
A System of Dynamic Modal Logic
Marti on Descriptions in Carnap'S S2
Towards an adequate definition of distribution for first-order logic
Can Deflationists be Dialetheists?
What is a Relevant Connective?
Probability kinematics: A constrained optimization problem
Axiomatizing Belnap's conditional assertion
External Curries
Wright's Strict Finitistic Logic in the Classical Metatheory: The Propositional Case
The intended interpretation of intuitionistic logic
Compactness in finite probabilistic inference
Belief Change in Branching Time: AGM-consistency and Iterated Revision
Alternative revision theories of truth
The theory of empirical sequences
The foundations of probability and quantum mechanics
Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
Revising Probabilities and Full Beliefs
Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege's Grundgesetze in Object Theory
Reconciling Austinian and Russellian accounts of the Liar paradox
Symmetric Propositions and Logical Quantifiers
The Rationalizability of Two-Step Choices
Four valued semantics and the Liar
Logic for Languages Containing Referentially Promiscuous Expressions
A correlation between modal reduction principles and properties of relations
An Accuracy Argument in Favor of Ranking Theory
Subminimal Negation on the Australian Plan
On alternatives in epistemic logic
Shades of the liar
MTV Logics
Blame it on me
A note on the elimination rules
Frege's double correlation thesis and quine's set theories NF and ML
Systematic Withdrawal
Higher-Order Contingentism, Part 2: Patterns of Indistinguishability
On the Metainferential Solution to the Semantic Paradoxes
Note on Some Fixed Point Constructions in Provability Logic
Conditionals, probability, and non-triviality
Logic in quotes
On the Treatment of Incomparability in Ordering Semantics and Premise Semantics
Deductive explanation of scientific laws
On Representations of Intended Structures in Foundational Theories
Forcing and the Universe of Sets: Must We Lose Insight?
On Dependent Pronouns and Dynamic Semantics
New Work for Carnap's Quasi-Analysis
Plurals and Mereology
An Impossibility Theorem for Allocation Aggregation
Physical topology
A Complete Axiom System for Polygonal Mereotopology of the Real Plane
Comparing Fixed-Point and Revision Theories of Truth
Properties, abstracts, and the axiom of infinity
Notes on free description theory: Some philosophical issues and consequences
Supervaluations and the Propositional Attitude Constraint
An Algebraic View of the Mares-Goldblatt Semantics
The Concept of Truth in a Finite Universe
Theories of truth and semantical primitives
Brouwer's Weak Counterexamples and the Creative Subject: A Critical Survey
Designing Paradoxes: A Revision-theoretic Approach
Can Constructive Mathematics be Applied in Physics?
Interpretations of intuitionist logic in non-normal modal logics
Bringing it about
The unaxiomatizability of a quantified intensional logic
Inferentializing Semantics
A Natural Negation Completion of Urquhart's Many-Valued Logic C
Truth Via Anaphorically Unrestricted Quantifiers
What Should I Believe About What Would Have Been the Case?
On de dicto modalities in quantified S5
Mereotopology without Mereology
Towards a Non-classical Meta-theory for Substructural Approaches to Paradox
The Modal Logic of Bayesian Belief Revision
Probabilities of conditionals - Revisited
The Complexity of the Dependence Operator
Metasequents and Tetravaluations
Do modal distinctions collapse in Carnap's system?
A warning about the choice of primitive operators in modal logic
Truth and logical form
"Four-Valued" Semantics for the Relevant Logic R
Communication Pattern Logic: Epistemic and Topological Views
On Possible Worlds with Modal Parts
Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes
Probabilities with Gaps and Gluts
Proof-Theoretic Semantics and Inquisitive Logic
Naturalism in mathematics - Comments on Hatcher's paper
Ceteris Paribus Conditionals and Comparative Normalcy
Sense in Frege
There is More to Negation than Modality
Correction to: Deflationism About Logic
Four modal modelings
Synonymous Logics: A Correction
Valuation Semantics for First-Order Logics of Evidence and Truth
On sequence-conclusion natural deduction systems
Truthlikeness for hypotheses expressed in terms of n quantitative variables
Gentzenization and decidability of some contraction-less relevant logics
A semantic theory of sortal incorrectness
Theory discovery from data with mixed quantifiers
Variable Sharing in Connexive Logic
A Calculus of Regions Respecting Both Measure and Topology
Time dependent propositions and quantum logic
The extensions of BAlt 3 - revisited
Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective
On some proposals for the semantics of mass nouns
On interpreting Gödel's Second Theorem
Quantifiers Defined by Parametric Extensions
Probabilistic semantics objectified: II. Implication in probabilistic model sets
A Curious Dialogical Logic and its Composition Problem
Categorial grammar and type theory
A proof-theoretic approach to entailment
Editorial Introduction: Substructural Logics and Metainferences
Neighbourhood Semantics for Quantified Relevant Logics
Counterfactuals and substitution of equivalent antecedents
Interval temporal logic: A note
Input/Output Logics
Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness
Measuring Inconsistency
Conditionals in Theories of Truth
Epistemic Logics for Relevant Reasoners
Finite matrices and the logic of conditionals
On the Consistency of the Δ 1 1 -CA Fragment of Frege's Grundgesetze
A More Unified Approach to Free Logics
Ontology, Set Theory, and the Paraphrase Challenge
Fregean Quantification Theory
The Liar Paradox and "Meaningless" Revenge
Constructing Cantorian counterexamples
Presupposition and two-dimensional logic
Some semantically closed languages
Natural deduction and arbitrary objects
"Primary Relations" In a New Foundational Axiomatic Framework
Opaque Updates
Three Approaches to Iterated Belief Contraction
Epistemic and classical validity
New axiomatics for relevant logics, I
Comparative Possibility in Set Contraction
Set theoretic representations of empirical phenomena
Implicit and Explicit Stances in Logic
Twenty-five basic theorems in situation and world theory
Solutions to the Knower Paradox in the Light of Haack's Criteria
Epistemic theories and the interpretation of Gödel's incompleteness theorems
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality
A Continuum of Inductive Methods Arising from a Generalized Principle of Instantial Relevance
Glymour and Quine on Theoretical Equivalence
A New Game Equivalence, its Logic and Algebra
Iterated Belief Change and the Recovery Axiom
Semantics for the Logic of Essence
Structured propostions and sentence structure
Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions
The Dramatic True Story of the Frame Default
Inductive inference from theory laden data
Exchangeability and the certainty of objective randomness
Rationally Functional Dependence
On representing propositions
Kaufmann on the Probabilities of Conditionals
Consequence Relations and Admissible Rules
Deflationary Truth and Pathologies
De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics
Modal Knowledge for Expressivists
Nominalizing Quantifiers
Probability and Symmetric Logic
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus
Bridging Ranking Theory and the Stability Theory of Belief
Completeness of the normal typed fragment of the λ-system U
Weak necessity and truth theories
Two theorems on many-valued logics
Confirmation of a conjecture of Peter of Spain concerning question-begging arguments
Iterative Probability Kinematics
Hybrid Logic of Strict Betweenness
Infinity, Choice, and Hume's Principle
A surprising consequence of the Tractatus
The Harmony of Identity
Cotenability and counterfactual logics
Extensionality in sentence position
A consecutive calculus for positive relevant implication with necessity