yusuke1997/dblp-id-title huggingface dataset:
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions
A Probability Measure for Partial Events
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
Decidability of Stit theory with a single agent and Refref Equivalence
Galois structures
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
Fuzzy Logic Programming and Fuzzy Control
Dual Choice and Iteration in an Abstract Algebra of Action
Counter-Example Construction with Euler Diagrams
Probability Measures in the Logic of Nilpotent Minimum
Marginalia on Sequent Calculi
A general possible worlds framework for reasoning about knowledge and belief
A Generalization of Monadic n-Valued Łukasiewicz Algebras
What is a Non-truth-functional Logic?
The relative consistency of system RRC * and some of its extensions
A Cut-Elimination Proof in Positive Relevant Logic with Necessity
A Splitting Logic in NExt(KTB)
Disjunctive Quantum Logic in Dynamic Perspective
Necessity and contingency
All Normal Extensions of S5-squared Are Finitely Axiomatizable
Annotation Theories over Finite Graphs
Positive modal logic
A note on existential import
Extending the Lambek Calculus with Classical Negation
A New Logic of Technical Malfunction
Program Constructions that are Safe for Bisimulation
An Algebraic View of Super-Belnap Logics
Semantic Holism is seriously false
Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes
Truthmakers and Normative Conflicts
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic
Cut-Elimination: Syntax and Semantics
Satisfiability on hypergraphs
Elementary Extensions of External Classes in a Nonstandard Universe
Duality for the Logic of Quantum Actions
Variations on the Ramsey test: More triviality results
Axiomatic extensions of the constructive logic with strong negation and the disjunction property
Monoidal categories with natural numbers object
Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring
Theories of Types and Names with Positive Stratified Comprehension
A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most
Some modifications of Scott's theorem on injective spaces
Decidability, partial decidability and sharpness relation for L -subsets
On the Proof Theory of Infinitary Modal Logic
Profinite Locally Finite Quasivarieties
Two sequences of locally tabular superintuitionistic logics
Extending Standard Models of ZFC to Models of Nonstandard Set Theories
Skepticism and Epistemic Logic
HSP-type Characterization of Strong Equational Classes of Partial Algebras
On a property of BCK-identities
Game Logic - An Overview
Freely generated filters in free Boolean algebras
On the logic of theory change: Safe contraction
Update to "A Survey of Abstract Algebraic Logic"
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic
A 2-categorial Generalization of the Concept of Institution
Yablo's Paradox in Second-Order Languages: Consistency and Unsatisfiability
Causal Learning with Occam's Razor
A Monoselective Presentation of AGM Revision
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again
Intensional Completeness in an Extension of Gödel/Dummett Logic
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics
Plausible Reasoning and the Resolution of Quantifier Scope Ambiguities
Proof Theory for Positive Logic with Weak Negation
Reversed Resolution in Reducing General Satisfiability Problem
Priorean Strict Implication, Q and Related Systems
An Analysis of Poly-connexivity
Modal Provability Foundations for Argumentation Networks
Disjunctions in closure spaces
Elementary Classes in Basic Modal Logic
IF Modal Logic and Classical Negation
Endogenizing Epistemic Actions
Sequent Calculi for Semi-De Morgan and De Morgan Algebras
Infinite Populations, Choice and Determinacy
Yaroslav Shramko and Heinrich Wansing, Truth and Falsehood - An Inquiry into Generalized Logical Values
A Note on Algebras of Substitutions
Indexical Reference and Bodily Causal Diagrams in Intentional Action
Attitudes Toward Epistemic Risk and the Value of Experiments
The finite model property for BCK arid BCIW
On the logic of event-causation. Jaskowski-style systems causal logic
Models for stronger normal intuitionistic modal logics
A Logic of Comparative Obligation
Fuzzy intuitionistic quantum logics
Adaptive Logic as a Modal Logic
Jaśkowski's Universally Free Logic
Discrete Duality for Nelson Algebras with Tense Operators
A STIT Logic for Reasoning About Social Influence
A uniform tableau method for intuitionistic modal logics I
Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae
On Categorical Equivalences of Commutative BCK-algebras
A complete minimal logic of the propositional contents of thought
Representations of monadic MV -algebras
Congruences and Kernel Ideals on a Subclass of Ockham Algebras
Algebraic Semantics for Deductive Systems
What is the Logic of Inference?
Probability Propagation in Generalized Inference Forms
A General Framework for Probabilistic Measures of Coherence
Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster
A Dual Characterization of Subdirectly Irreducible BAOs
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization
Duality between modal algebras and neighbourhood frames
A Tableau Decision Algorithm for Modalized ALC with Constant Domains
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic
Countably-categorical Boolean algebras with distinguished ideals
An ømega-Rule for the Logic of Provability and Its Models
Principal and Boolean Congruences on $$\varvec{IKt}$$ IKt -Algebras
The Proof by Cases Property and its Variants in Structural Consequence Relations
Refutations, Proofs, and Models in the Modal Logic K4
An Algebraic Study of S5-Modal Gödel Logic
Does Science Influence the Logic we Ought to Use: A Reflection on the Quantum Logic Controversy
An Algebraic Approach to Canonical Formulas: Modal Case
A Geometrical Representation of the Basic Laws of Categorial Grammar
Is There a "Hilbert Thesis"?
Logics of Order and Related Notions
Encoding Modal Logics in Logical Frameworks
Poset Products as Relational Models
The Entropy-Limit (Conjecture) for Σ 2 -Premisses
Synonymy in sentential languages: a pragmatic view
Time and Modality in the Logic of Agency
L-effect Algebras
$\mathrm {ZF}$ Between Classicality and Non-classicality
The Gärdenfors impossibility theorem in non-monotonic contexts
Private Announcements on Topological Spaces
Kripke Incomplete Logics Containing KTB
Boolean Skeletons of MV-algebras and ℓ -groups
Many-Valued Logics and Suszko's Thesis Revisited
Jerzy Kalinowski's Logic of Normative Sentences Revisited
From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices
No Reservations Required? Defending Anti-Nominalism
Theory Choice, Theory Change, and Inductive Truth-Conduciveness
Sets as singularities in the intensional universe
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness
M-Sets and the Representation Problem
A Categorical Equivalence for Product Algebras
Combinator Logics
Eliciting Uncertainties: A Two Structure Approach
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
Metacompleteness of Substructural Logics
Arithmetical Completeness Theorem for Modal Logic K
Completeness of Certain Bimodal Logics for Subset Spaces
Refutation systems in modal logic
Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications
Finite quasivarieties and self-referential conditions
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics
Hyperalgebraic primitive elements for relational algebraic and topological algebraic models
From Semirings to Residuated Kleene Lattices
A Categorical Equivalence Motivated by Kalman's Construction
Intuitionistic Modal Algebras
On a complexity-based way of constructivizing the recursive functions
Axiomatization of Crisp Gödel Modal Logic
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term
A Completeness Proof of Kiczuk's Logic of Physical Change
Belnap-Dunn Modal Logic with Value Operators
Supervaluationism and Logical Consequence: A Third Way
Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction
The disjunction property of intermediate propositional logics
Should Pregroup Grammars be Adorned with Additional Operations?
Substitutional Quantification in Truth-Theories for Modal Languages
Bi-facial Truth: a Case for Generalized Truth Values
States on Hilbert Algebras
The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers
The Logic of Multisets Continued: The Case of Disjunction
An O(n log n)-Space Decision Procedure for the Relevance Logic B+
Incomplete Information: Structure, Inference, Complexity
Subjective Situations and Logical Omniscience
Simple Axiomatizations for Pretabular Classical Relevance Logics
Sentential constants in R and R⌝
De Morgan Algebras with a Quasi-Stone Operator
On Lukasiewicz's Four-Valued Modal Logic
Decidability of Inquisitive Modal Logic via Filtrations
Extending Montague's system: a three valued intensional logic
A note on natural numbers objects in monoidal categories
Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions
Non-axiomatizability of Grice's implicature
A Model Theory of Topology
The simple substitution property of Gödel's intermediate propositional logics Sn's
Categoricity Problem for LP and K3
Two Maximality Results for the Lattice of Extensions of $\vdash _{\mathbf {RM}}$
Action Incompleteness
Interpolation and Definability over the Logic Gl
Modal Companions of K4 +
A Formalist Philosophy of Mathematics Part I: Arithmetic
A Theory of Infinitary Relations Extending Zermelo's Theory of Infinitary Propositions
Jump Liars and Jourdain's Card via the Relativized T-scheme
Connecting Actions and States in Deontic Logic
Undecidability, incompleteness and the Arnol'd problems
Beyond Rasiowa's Algebraic Approach to Non-classical Logics
Definability and Interpolation in Non-Classical Logics
Partial Monotonicity and a New Version of the Ramsey Test
Old Foundations for the Logic of Agency and Action
A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
Subminimal Logics in Light of Vakarelov's Logic
Preface for Studia Logica Special Issue (2)
Inner-Model Reflection Principles
On Some Semi-Intuitionistic Logics
From Semantic Games to Provability: The Case of Gödel Logic
Absolutely independent axiomatizations for countable sets in classical logic
"The story says that" operator in story semantics
Negative Translations Not Intuitionistically Equivalent to the Usual Ones
Interpolation and Amalgamation; Pushing the Limits - Part I
Complexity and Nicety of Fluted Logic
Adaptive Fregean Set Theory
Positive Monotone Modal Logic
An Intuitionistic Completeness Theorem for Classical Predicate Logic
Hypersequent and Display Calculi - a Unified Perspective
Topic-Based Communication Between Agents
Modality and Contextuality in Topos Quantum Theory
Multi-valued Semantics: Why and How
Ideal Worlds - Wishful Thinking in Deontic Logic
Synchronized Linear-Time Temporal Logic
Measuring Inconsistency in Some Logics with Modal Operators
Dynamic Modalities
Belief Revision, Rational Choice and the Unity of Reason
A Completeness Proof for a Logic with an Alternative Necessity Operator
The Cognitive Relation in a Formal Setting
On Ultrafilter Logic and Special Functions
From Brouwerian Counter Examples to the Creating Subject
A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures
Talking about actions
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism
Book Review: Gottlob Frege, Basic Laws of Arithmetic
Belief Liberation (and Retraction)
Supracompact inference operations
Halldén-Completeness in Super-Intuitionistic Predicate Logics
Two Kinds of Consequential Implication
A Common Abstraction of MV-Algebras and Abelian l-groups
Logic for Describing Strong Belief-Disagreement Between Agents
First-order fuzzy logic
The γ -admissibility of Relevant Modal Logics I - The Method of Normal Models
Frege on Number Properties
Characterizations of Negative Definability in Modal Logic
A Logical Theory of Localization
Iterated Belief Revision and Conditional Logic
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic
Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures
On the Logic of Classes as Many
FOIL Axiomatized
A study of intermediate propositional logics on the thrid slice
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem
Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015, pp. 450. ISBN-13: 978-1-118-75127-5 (paperback) $42, ISBN-10: 978-1-118-75127-2 (eBook) $37.99
A Note on Natural Extensions in Abstract Algebraic Logic
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes
Priestley Style Duality for Distributive Meet-semilattices
A Semantics for Hyperintensional Belief Revision Based on Information Bases
On Bellert's proposal concerning quantificational universals
Plural Grundgesetze
An essay on resolution logics
Sequent Calculi for Global Modal Consequence Relations
Reductio ad contradictionem: An Algebraic Perspective
Fibring Argumentation Frames
The Writing of the MV-algebras
The Monodic Fragment of Propositional Term Modal Logic
Reasoning Continuously: A Formal Construction of Continuous Proofs
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
The Logic of the Ontological Square
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis
Matching Topological and Frame Products of Modal Logics
Axiomatizable classes with strong homomorphisms
Varieties of Pseudo-Interior Algebras
On some connections between logic and category theory
An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit
Games with Zero-knowledge Signaling
A Simplified Proof of the Church-Rosser Theorem
Unprovability and Proving Unprovability
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic
On Modal Logics of Partial Recursive Functions
On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries
The contraction rule and decision problems for logics without structural rules
Logics of some kripke frames connected with Medvedev notion of informational types
Combinatory Logic and the Semantics of Substructural Logics
Book Review: Jean Buridan, Treatise on Consequences
Birkhoff's and Mal'cev's Theorems for Implicational Tonoid Logics
Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006
The Soundness of Internalized Polarity Marking
A Negationless Interpretation of Intuitionistic Theories, II
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
Neologicist Nominalism
A Pretabular Classical Relevance Logic
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information
A coding of the countable linear orderings
Representation of finite Demi-p-lattices by means of posets
On purported Gentzen formulations of two positive relevent logics
What Are Degrees of Belief?
Cut-free sequent calculi for some tense logics
From Contact Relations to Modal Operators, and Back
Generalized Explosion Principles
Monadic MV-algebras are Equivalent to Monadic ℓ -groups with Strong Unit
On Endomorphisms of Ockham Algebras with Pseudocomplementation
Sequent Calculi for the Propositional Logic of HYPE
Frobenius Quantales, Serre Quantales and the Riemann-Roch Theorem
On the Ranges of Algebraic Functions on Lattices
The formalization of Interpretability
Decidable Cases of First-order Temporal Logic with Functions
Weakly Intuitionistic Quantum Logic
On decidable consequence operators
Correction to: Alessandro Giordani, Jacek Malinowski, Hyperintensionality and Fine-grained Semantics. Logic in High Definition: Trends in Logical Semantics, vol. 56 of Trends in Logic, Springer, 2020, pp. 243+v; ISBN: 978-3-030-53486-8 (Hardcover) 117.69€, ISBN: 978-3-030-53487-5 (eBook) 93.08€
An Institution-independent Proof of the Beth Definability Theorem
Bicartesian Coherence
Extensions of Priest-da Costa Logic
The Quasi-lattice of Indiscernible Elements
Classical Modal De Morgan Algebras
Semantic holism
Logic and Games: an Introduction
Prolegomena of a Logic of Causality and Dynamism
A New Semantics for Systems of Logic of Essence
Group Representation for Even and Odd Involutive Commutative Residuated Chains
Ralf Schindler, Set Theory: Exploring Independence and Truth. Springer International Publishing, 2014, pp. 332+X. ISBN: 978-3-319-06724-7 (softcover) $79.99, ISBN: 978-3-319-06725-4 (eBook) $59.99
Logics for Belief as Maximally Plausible Possibility
A New View of Effects in a Hilbert Space
The Hahn Embedding Theorem for a Class of Residuated Semigroups
Completeness and conservative extension results for some boolean relevant logics
The Category of Node-and-Choice Preforms for Extensive-Form Games
A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication
Varieties of Monadic Heyting Algebras Part II: Duality Theory
Dynamic Logics of Diffusion and Link Changes on Social Networks
On Pretabular Extensions of Relevance Logic
Varieties of BL-Algebras II
On the Modal Definability of Simulability by Finite Transitive Models
Retracts of the closure space of filters in the lattice of all subsets
Characterization Classes Defined without Equality
Using Hybrid Logic for Coping with Functions in Subset Spaces
A Proof-Theoretic Bound Extraction Theorem for CAT (κ) -Spaces
Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa
About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$
Pseudo two-valued evaluation method for intermediate logics
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic
The finite model property for BCI
Converse Ackermann Croperty and semiclassical negation
On Birkhoff's Common Abstraction Problem
Non-deterministic Conditionals and Transparent Truth
Weak and Strong Theories of Truth
Proof Compression and NP Versus PSPACE
Varieties of BL-Algebras III: Splitting Algebras
Converse Principal Type-Scheme Theorem in Lambda Calculus
Definability and Invariance
Tableaus for many-valued modal logic
Explication Defended
Order in Implication Zroupoids
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions
Notes on Leitgeb's What Truth Depends on
Vincent F. Hendricks and Pelle G. Hansen, Game Theory: 5 Questions
Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof
Modal Companions of Intermediate Propositional Logics
Combining Logic I - Introduction
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property
In Memoriam Helena Rasiowa
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension
Lewis Dichotomies in Many-Valued Logics
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion
Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability
Translations and Prawitz's Ecumenical System
Hard and Soft Preparation Sets in Boolean Games
Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality
Prima Facie and Seeming Duties
Getting started: Beginnings in the Logic of Action
The Undecidability of Grisin's Set Theory
On the Proof-Theory of two Formalisations of Modal First-Order Logic
Simultaneous Rigid Sorted Unification for Tableaux
Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical Problems from Applied Logic I
Actuality in Propositional Modal Logic
Four relevant Gentzen systems
Dependence and Independence
Two Approaches to the Formalisation of Defeasible Deontic Reasoning
New Intuitionistic Logical Constants and Novikov Completeness
Students of Leo Esakia
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras
A compactness theorem for linear equations
Paraconsistent Logic, Evidence, and Justification
Genuine Coherence as Mutual Confirmation Between Content Elements
A note on some extension results
Modal operators with probabilistic interpretations, I
The Universal Group of a Heyting Effect Algebra
Alan: An Action Language For Modelling Non-Markovian Domains
Temporal Interaction of Information and Belief
Homogeneous and Universal Dedekind Algebras
On ideals and congruences of distributive demi-p-algebras
Jody Azzouni, The Rule-Following Paradox and Its Implications for Metaphysics, Springer (Synthese Library Series No. 382), 2017, pp. $$\hbox {viii} + 124$$ viii + 124 , ISBN: 978-3-319-49060-1 (Hardcover) $99.99; (Softcover) $89.99; (eBook) $69.99
Cofinally Invariant Sequences and Revision
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D
The Role of Language In Belief Revision
Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View
The origin of relation algebras in the development and axiomatization of the calculus of relations
From Games to Truth Functions: A Generalization of Giles's Game
Splittings in Subreducts of Hoops
A Comprehensive Picture of the Decidability of Mereological Theories
Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study
On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties
On Correspondence of Standard Modalities and Negative Ones on the Basis of Regular and Quasi-regular Logics
A Deterministic Weakening of Belnap-Dunn Logic
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics
Completeness for systems including real numbers
Propositional Plausible Logic: Introduction and Implementation
A Canonical Topological Model for Extensions of K4
Normal Natural Deduction Proofs (in classical logic)
On the Consistency of a Plural Theory of Frege's Grundgesetze
Implementation of Belief Change Operators Using BDDs
Deontic logic and possible worlds semantics: A historical sketch
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
Connectification for n -contraction
Logical Modes of Attack in Argumentation Networks
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms
An Elementary Construction for a Non-elementary Procedure
On reduced matrices
Inverses for Normal Modal Operators
Twist Structures and Nelson Conuclei
Meeting strength in substructural logics
Arithmetical Set Theory
Book Review: Achille C. Varzi, editor, The Nature of Logic, European Review of Philosophy
An Algebraic Investigation of the Connexive Logic sfC
On decision procedures for sentential logics
Nonstandard methods in combinatorics and theoretical computer science
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]
Algebraic Characterizations of Various Beth Definability Properties
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures
Basic Entrenchment
The Class of Extensions of Nelson's Paraconsistent Logic
Euclidean Hierarchy in Modal Logic
A Temporal Logic for Sortals
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete