yusuke1997/dblp-id-title huggingface dataset:
A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty
Second-order reasoning in description logics
Frames for fusions of modal logics
Symmetric bi-derivations of UP(BCC)-algebras
A comment on relevant truth table logic
A Logical Splitting Strategy for the Belief Structure of Agents
On Knowledge Evolution: Acquisition, Revision, Contraction
Foundations for a logic of arguments
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
Increasing the efficiency of automated theorem proving
First-order frames for orthomodular quantum logic
Possible-translations semantics for some weak classically-based paraconsistent logics
A multimodal logic for closeness
Varying interpolation and amalgamation in polyadic MV-algebras
An elementary belief function logic
Unification in epistemic logics
Knowledge base dynamics, Abduction and Databases updates
Argument-Based Extended Logic Programming with Defeasible Priorities
Modal logic based theory for non-monotonic reasoning
Canonicity and Completeness Results for Many-Valued Modal Logics
Ordering Properties for the Routley-Meyer Relation R
Equivalence of defeasible normative systems
A Topological Constraint Language with Component Counting
A new framework for justification logic
Conditional normative reasoning as a fragment of HOL
A new proof of completeness for a relative modal logic with composition and intersection
Modeling the suppression task under weak completion and well-founded semantics
Infectious and transparent emotivism
Grounding rules for (relevant) implication
The infinite-valued semantics: overview, recent results and future directions
Truth diagrams for some non-classical and modal logics
Conical logic and l-groups logic
On consequence in approximate reasoning
Two pretabular linear extensions of relevance logic R
Some modal aspects of XPath
Modelling phenomena and dynamic logic of phenomena
A basic quasi-Boolean logic of intuitionistic character
Relevance logics and intuitionistic negation II
Semi-Revision (invited paper)
Can a dialetheist stay regular?
Avicenna: a challenge dataset for natural language generation toward commonsense syllogistic reasoning
Learning Categorial Grammar by Unification with Negative Constraints
A hierarchy of modal logics with relative accessibility relations
Nonmonotonic Reasoning Based on Incomplete Logic
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
A separation theorem for discrete-time interval temporal logic
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
Quantificational Modal Logic with Sequential Kripke Semantics
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras
An empirical analysis of modal theorem provers
Propositional mixed logic: its syntax and semantics
An alert correlation approach based on security operator's knowledge and preferences
Expanding logical space; making room for Islamic theological contradictions
Belief Base Merging as a Game
Separation logics and modalities: a survey
Multiple agent possibilistic logic
Granular knowledge and rational approximation in general rough sets - I
Relational dual tableaux for interval temporal logics
Reasoning about trust and aboutness in the context of communication
Herbrand style proof procedures for modal logic
Converse-PDL with regular inclusion axioms: a framework for MAS logics
Defeasible linear temporal logic
Complexity of finite-variable fragments M of EXPTIME-complete logics
Judgement aggregation in non-classical logics
Putting right the wording and the proof of the Truth Lemma for APAL
Non-commutative propositional logic with short-circuit evaluation
On the semantics of combination operations
Handling controversial arguments
Automated Puzzle Solving
Crypto-preorders, topological relations, information and logic
PDL with Intersection of Programs: A Complete Axiomatization
Adaptively applying modus ponens in conditional logics of normality
Relational representation for subordination Tarski algebras
A multimodal logic for reasoning about complementarity
Sources of, and Exploiting, Inconsistency: Preliminary Report
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
Multilattice as the set of truth values for fuzzy rough sets
A discussion on quantum non-individuality
A Three-Valued Approach to Default Logic
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P
Minimal models vs. logic programming: the case of counterfactual conditionals
Reasoning Credulously and skeptically within a single extension
Many-valued logics and translations
Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases
Nelson algebras, residuated lattices and rough sets: A survey
A short biography of Luis Fariñas del Cerro
The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions
Computability of validity and satisfiability in probability logics over finite and countable models
A constructive negation for logics including TW+
A logic for best explanations
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
Results on infinite extensions
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
Belief revision and incongruity: is it a joke?
Structure of left-continuous triangular norms with strong induced negations
On the relation between SPARQL1.1 and Answer Set Programming
Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics
The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
Axiomatisation of general concept inclusions from finite interpretations
Arguing about constitutive and regulative norms
Logical connectives for two-state semantics
Expressiveness of SETAFs and support-free ADFs under 3-valued semantics
Temporal logic with interacting agents
Remark on a finite axiomatization of finite intermediate propositional logics
Structural proof theory for first-order weak Kleene logics
A discrete duality between apartness algebras and apartness frames
Learning preferences in Qualitative Choice Logic and some of its variants: an application for antibiotics recommendations
A set-theoretic proof of the representation of MV-algebras by sheaves
A family of genuine and non-algebraisable C-systems
Fuzzy logics - quantitatively
Temporal logics of "the next" do not have the Beth property
Two notions of MV-algebraic semisimplicity relative to fixed MV-chains
Judgment and consequence relations
Process Algebra with Four-Valued Logic
Representing any-time and program-iteration by infinitary conjunction
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus
Metric dynamic equilibrium logic
A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic
The logic of modal changes LMC
Doxastic logic: a new approach
Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous
Local and Global Metrics for the Semantics of Counterfactual Conditionals
Local Possibilistic Logic
Integrating Inconsistent Data in a Probabilistic Model
Computational Aspects of Quasi-Classical Entailment
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
BDD-based decision procedures for the modal logic K
Fusion Rules for Context-Dependent Aggregation of Structured News Reports
Seminormalizing a default theory
A decidable timeout-based extension of linear temporal logic
Roadmap for preferential logics
Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches
Monoidal logics: completeness and classical systems
Finite non-deterministic semantics for some modal systems
A look at metrics and norms through the Lukasiewicz logic
Peirce's mathematical-logical approach to discrete collections and the premonition of continuity
Game theoretical semantics for some non-classical logics
De Jongh and Glivenko theorems for equality theories
Towards a classification of Default Logics
Realistic desires
A complete system of four-valued logic
Fragments of quasi-Nelson: residuation
Initial sets in abstract argumentation frameworks
Natural deduction calculi for classical and intuitionistic S5
A Road Map of Interval Temporal Logics and Duration Calculi
Axiomatization of XPath with general data comparison
Resolving Radzki's issues with Łukasiewicz logics' axiomatics via correspondence analysis
On deductive bases for paraconsistent answer set semantics
Omitting types for algebraizable extensions of first order logic
The case of the hidden hand
Reasoning under Inconsistent Knowledge
Practical reasoning about knowledge states for open world planning with sensing
On the measure of conflicts: an argumentation-based framework
Analytic Tableaux for Default Logics
Some calculus for a logic of change
Temporal STIT logic and its application to normative reasoning
Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency
On Monotonic Fuzzy Conditional
On the relation between possibilistic logic and modal logics of belief and knowledge
Knowledge Representation as Domains
Review of Walter P. van Stigt: Brouwer's Intuitionism
Axiomatic and dual systems for constructive necessity, a formally verified equivalence
A Plea for Accuracy
Exactly true and non-falsity logics meeting infectious ones
Constructive knowledge: what agents can achieve under imperfect information
Reasoning about manipulation in multi-agent systems
Modal logics for reasoning about infinite unions and intersections of binary relations
Completeness and incompleteness for anodic modal logics
On Priest's logic of paradox
Back from the future
Public announcements, public assignments and the complexity of their logic
A logical formalisation of false belief tasks
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
Modal Logics for Parallelism, Orthogonality, and Affine Geometries
Some properties of the -calculus
Polynomial semantics for modal logics
Linearity and negation
Interpreting an action from what we perceive and what we expect
A discrete free MV-algebra over one generator
Free double Ockham algebras
Local Diagnosis
Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'
Truth-values as Labels: A General Recipe for Labelled Deduction
Some properties of (strong) semi-divisible residuated lattices and modal operators
The Range of Modal Logic
Observations on validity and conditionals in belief revision systems
Beliefs supported by binary arguments
Continuity, freeness, and filtrations
Updating knowledge using subsets
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
A study of modal logic with semantics based on rough set theory
Perfect MV-algebras and l-rings
Representing voting rules in Łukasiewicz's three-valued logic
CWA Extensions to Multi-Valued Logics
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic
Modelling last-act attempted crime in criminal law
Modal logics with Belnapian truth values
Automatic checking properties of non-classical logics
Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard
Complete axiomatization of a relative modal logic with composition and intersection
Towards a theory of resource: an approach based on soft exponentials
On the Density of Truth of Implicational Parts of Intuitionistic and Classical Logics
KAT-ML: an interactive theorem prover for Kleene algebra with tests
Probability modelling for software quality control
Expressive Completeness of Modal Logic on Binary Ramified Frames
Continuous propositional modal logic
On representability of neatly embeddable cylindric algebras
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss
Forecasting with jury-based probabilistic argumentation
Computing probability intervals with simulated annealing and probability trees
Metric temporal reasoning with less than two clocks
Dynamic logic of preference upgrade
Bi-intuitionistic implication structures
Some properties of system descriptions of AL d
Behavioral algebraization of da Costa's C-systems
Exploiting Data Dependencies in Many-Valued Logics
Equational Reasoning in Non--Classical Logics
Inequality without irreflexivity
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations
Merging operators on stratified belief bases equipped with argumentative inference
A 4-valued framework encompassing intuitionistic and classical logic
Algorithmic correspondence and completeness in modal logic
Approximate databases: a support tool for approximate reasoning
Semantic presuppositions in logical syntax
A logic of negative trust
Admissible generalisation of temporal sequences as chronicles
Decomposition of influence diagrams
Modal logics of closed domains on Minkowski plane
Axiomatizing Distance Logics
Triangular Logic of Partial Toposes
Trivalent logics arising from L-models for the Lambek calculus with constants
Conditionalization and total knowledge
KD is nullary
Two proofs of the algebraic completeness theorem for multilattice logic
Communication strategies in games
"Everywhere" and "Here"
Embedding Logics in the Local Computation Framework
Dual tableau-based decision procedures for relational logics with restricted composition operator
The Universe of Discourse of Modal Logic
Subintuitionistic logics and their modal companions: a nested approach
A variety of algebras closely related to subordination algebras
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding
Temporal Equilibrium Logic with past operators
Computation with run time skolemisation (N-Prolog part 3)
On the modal interpretation of the connective of realisation
The defective conditional in mathematics
HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions
Logics of variable inclusion and the lattice of consequence relations
Generalized Compactness of Nonmonotonic Inference Operations
Some monkey devours every raisin
On the Semantics of Graded Modalities
On searching explanatory argumentation graphs
Truth without standard models: some conceptual problems reloaded
An efficient approach to nominal equalities in hybrid logic tableaux
Graded Consequence: Further Studies
The inapplicability of (selected) paraconsistent logics
Algebraic semantics for propositional superposition logic
Some (in)translatability results for normal logic programs and propositional theories
Cubic Logic, Ulam Games, and Paraconsistency
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
Mixed algebras and their logics
Modal reduction principles: a parametric shift to graphs
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
On recent applications of paraconsistent logic: an exploratory literature review
Vagueness as an epiphenomenon, and non-transitivity
Hyperboolean Algebras and Hyperboolean Modal Logic
The Geometry of Negation
Deceit and indefeasible knowledge: the case of dubitatio
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
On the relationships between theories of time granularity and the monadic second-order theory of one successor
Definable fixed points in modal and temporal logics : A survey
A comparison between monoidal and substructural logics
Computational semantics for monadic quantifiers
Some operations in Kripke models with an involution
MVW-rigs and product MV-algebras
Abduction in argumentation frameworks
Complexity of intuitionistic propositional logic and its fragments
Foreword: Three-valued logics and their applications
A problem for a logic of 'because'
A mereotopology based on sequent algebras
Fuzzy modal-like approximation operators based on double residuated lattices
Remarks on the Gupta-Belnap fixed-point property for k -valued clones
Contingent modal semantics for some variants of Anderson-like ontological proofs
Remedial Interchange, Contrary-to-Duty Obligation and Commutation
Cuts and gluts
Dynamic logics of the region-based theory of discrete spaces
Model-based recasting in answer-set programming
A duration calculus with neighborhood modalities
Note on a six-valued extension of three-valued logic
Review of Stephen Muggleton, Ed.: Inductive Logic Programming
Handling conditionals adequately in uncertain reasoning and belief revision
A logic for extensional protocols
Reasoning with Different Levels of Uncertainty
A general framework for dynamic epistemic logic: towards canonical correspondences
A shell for generic interactive proof search
On a paraconsistentization functor in the category of consequence structures
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1>n>w
Communication among Agents: A Way to Revise Beliefs in KD45 Kripke Structures
A Modal Walk Through Space
A semantical analysis of some subintuitionistic modal logics
Twist-structures semantics for the logics of the hierarchy I n P k
Handling database updates in two-dimensional temporal logic
Structure of left-continuous triangular norms with strong induced negations - Rotation-annihilation construction
Two theories of time
Indefinite abductive explanations
Stable reasoning
Epistemic planning for single and multi-agent systems
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
The succinctness of the cover modality
On Having Bad Contractions (invited paper)
Quantifiers, modifiers and qualifiers in fuzzy logic
On Hamblin's 15 Tense Theorem
Realization of Intuitionistic Logic by Proof Polynomials
Rough Polyadic modal logics
The W systems: between maximum entropy and minimal ranking
Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony
Penumbral connections in comparative constructions
Formal explanations as logical derivations
DEL-sequents for regression and epistemic planning
Evidence theory in multivalued models of modal logic
The Tableau Method for a Logical System Based on a Finite Poset
Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law
Relational proof systems for spatial reasoning
Linear Logic and Lukasiewicz - Valued Logic: A Logico-Algebraic Study
Knowledge and Uncertainty and Ignorance in Logic: Bilattices and beyond
Dynamic logic for belief revision
A 3-valued predicate logic based on open-ended classes
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
Graded Consequence Relations and Fuzzy Closure Operators
On the strength and scope of DLS
A propositional logic with 4 values: true, false, divergent and meaningless
A note on the complexity of S4.2
A game-theoretic analysis on the use of indirect speech acts
A logical characterisation of qualitative coalitional games
Expressivity and completeness for public update logics via reduction axioms
Four ways from universal to particular: how Chomsky's principles-and-parameters model is not selectionist
Prior's OIC nonconservativity example revisited
Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework
Metainferential duality
Conceptual frames revisited
Logical limits of abstract argumentation frameworks
Automatic verification of temporal-epistemic properties of cryptographic protocols
NML3. A Non-Monotonic Logic with Explicit Defaults
Many-dimensional arrow logics
A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes
Combining Valuations with Society Semantics
Automated Deduction in a Graphical Temporal Logic
p -Adic valued logical calculi in simulations of the slime mould behaviour
Computing Generalized Specificity
Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning
Question-answer games
PDL for Ordered Trees
Complete types in an extension of the system AF2
SAT vs. translation based decision procedures for modal logics: a comparative evaluation
Frame problem in dynamic logic
DEL-sequents for progression
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
Composing models
RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks
Hypercontact semilattices
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents
Second-order logic on equivalence relations
Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic
Belief Change: from Situation Calculus to Modal Logic
Dynamic logic with program specifications and its relational proof system
Measuring inconsistency in some branching time logics
Propositional quantification in logics of contingency
A Proximity Approach to Some Region-Based Theories of Space
Axiomatization and completeness of lexicographic products of modal logics
Assertive graphs
Minimal and Consistent Evolution of Knowledge Bases
A communication algorithm for teamwork in multi-agent environments
When is argumentation deductive?
Plausible Reasoning: A First-Order Approach
Hypothetical revision and matter-of-fact supp osition
Justifications for common knowledge
Trust and agency in the context of communication
Non-classical operations hidden in classical logic
Logical foundations and complexity of 4QL, a query language with unrestricted negation
Functional completeness, axiomatizability within Belnap's four valued logic and its expansions
Intuitionistic Socratic procedures
The ineffability of God - a logical approach
Pastable Kleene-based algebras
Barcan Both Ways
Dominance plausible rule and transitivity
On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic
A temporal negative normal form which preserves implicants and implicates
An infinity of super-Belnap logics
The lexicographic closure as a revision process
From onions to broccoli: generalizing Lewis' counterfactual logic
Regulating competing coalitions: a logic for socially optimal group choices
Operations on proofs and labels
Logic and argumentation
Products of Ideals in MV -algebras
Specification of nonmonotonic reasoning
The serializability problem for a temporal logic of transaction queries
A computational interpretation of conceptivism
Autoreferential semantics for many-valued modal logics
A Framework for Knowledge-Based Systems
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics
Metainferentially substructural validity theories
An extension of Kracht's theorem to generalized Sahlqvist formulas
Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic
Conditional indifference and conditional preservation
Logics for multi-subset spaces
Which are the true defeasible logics?
Some remarks on the model theory of epistemic plausibility models
Foundations of a theorem prover for functional and mathematical uses
Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty
Provability multilattice logic
Label-free natural deduction systems for intuitionistic and classical modal logics
Modal logic and invariance
On theorem proving in annotated logics
A Fugue on the Themes of Awareness Logic and Correspondence
A natural deduction system for bundled branching time logic
Copy and remove as dynamic operators
Embedding the Calendar and Time Type System in Temporal Type Theory
Lattice logic as a fragment of (2-sorted) residuated modal logic
Substructural epistemic logics
Axiomatization of non-associative generalisations of Hájek's BL and psBL
A model for updates in a multi-agent setting
A modal theorem-preserving translation of a class of three-valued logics of incomplete information