yusuke1997/dblp-id-title huggingface dataset:
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
Computational considerations on the representation of number-theoretic functions by arithmetic terms
Event Calculus Reasoning Through Satisfiability
Review: Handbook of Process Algebra
On the Independent Axiomatizability of Modal and Intermediate Logics
Approximation Theorems for Intersection Type Systems
The unreasonable effectiveness of Nonstandard Analysis
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic
On Almost Sure Elimination of Numerical Quantifiers
Justification logic and audited computation
An Alternative Order for the Failures Model
Display Calculi for Nominal Tense Logics
Normalization and cut-elimination theorems for some logics of evidence and truth
Complexity for probability logic with quantifiers over propositions
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021
Dynamic superiorities in Defeasible Logic
Review of Errors of Reasoning. Naturalizing the Logic of Inference , by John Woods
Correction to: Some applications of Baaz's generalization method to the study of the factors of Fermat numbers
EGG+: A graph grammar formalism with uncertain structure processing mechanism
Book Review: "Cryptography and Computational Number Theory" by K.-Y. Lam, I. Shparlinski, H. Wang and C. Xing
Semantics-Based Translation Methods for Modal Logics
On deontic action logics based on Boolean algebra
On Product Logic with Truth-constants
PubHubs identity management
A Modal Logic for Chopping Intervals
A Relevant Analysis of Natural Deduction
Tableaux and Resource Graphs for Separation Logic
Prime spectrums of EQ-algebras
An abstract form of the first epsilon theorem
Partial order reduction for checking LTL formulae with the next-time operator
Actualizing distributed knowledge in bounded groups
Set Graphs. V. On representing graphs as membership digraphs
On sheaves on semicartesian quantales and their truth values
Complexity of Products of Modal Logics
Comparing the expressiveness of argumentation semantics
Tools for the robust analysis of error-driven ranking algorithms and their implications for modelling the child's acquisition of phonotactics
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization
Realization using the model existence theorem
Proof theory, semantics and algebra for normative systems
A logic of efficient and optimal designs
Review: Mathematics of Quantum Computation
Action language ℬℭ+
Correction to: Conjunctive degrees and cylinders
A Note on Linear Kripke Models
Models and Separation Logics for Resource Trees
The language of epistemic specifications (refined) including a prototype solver
On the Soundness and Completeness of Equational Predicate Logics
Reflexive combinatory algebras
Erratum to: A substructural logic for layered graphs
Coalgebraic Theories of Sequences in PVS
On the expressive power of Łukasiewicz square operator
Relational Reversal of Abstract Interpretation
Rank Hierarchies for Generalized Quantifiers
Concept Equations
Report on the 1998 International Workshop on Description Logics (DL'98)
Property-based Slicing for Agent Verification
Losing connection: the modal logic of definable link deletion
Relation Algebras by Games , by Robin Hirsch and Ian Hodkinson
Unified correspondence as a proof-theoretic tool
A Naïve Time Analysis and its Theory of Cost Equivalence
Commands changing obligations 1
Updating Epistemic Logic Programs
Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System
On subreducts of subresiduated lattices and some related logics
The most probable string: an algorithmic study
Perfect proofs at first order
Multidimensional trees and a Chomsky-Schützenberger-Weir representation theorem for simple context-free tree grammars
Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models
Declarative continuous reasoning in the cloud-IoT continuum
An efficient reasoning method on logic programming using partial evaluation in vector spaces
Levationis Laus
Social network games
Implementing crash-resistance and non-interference in logic-based argumentation
Coalgebra and Logic: A Brief Overview
Subframization and stabilization for superintuitionistic logics
Classical reasoning in the justification paradigm
Soundness of Coercion in the Calculus of Constructions
Applying Labelled Deductive Systems and Multi-Agent Systems to Source-Based Argumentation
Individual resource games and resource redistributions
Tractable and intractable instances of combination problems for unification and disunification
Editorial: special issue on the Australasian Logic Colloquium 2023
Compactness arguments with effectively closed sets for the study of relative randomness
Anytime Approximations of Classical Logic from Above
<tt>3coSoKu</tt> and its declarative modeling
Ground Nonmonotonic Modal Logics
Review: Advances in Elliptic Curve Cryptography
Game equivalence and expressive power of game description languages: a bisimulation approach
Models for Many-Valued Probabilistic Reasoning
Resolution in Modal, Description and Hybrid Logic
Observable Semantics for Constraint Logic Programs
Modular non-deterministic semantics for T, TB, S4, S5 and more
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
Necessary and sufficient conditions of the enforcement problem for various argumentation semantics
Set Theory and Nominalization, Part I
Recursive rules with aggregation: a simple unified semantics
Lifting propositional proof compression algorithms to first-order logic
Handling inconsistency in partially preordered ontologies: the Elect method
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive
Nonconservative extensions by propositional quantifiers and modal incompleteness
Defeasible Logic is Stable
A Note on Absolutely Unorderable Combinatory Algebras
Least enumerations of partial structures
Credibility-limited Functions for Belief Bases
The omega-Enumeration Degrees
Intuitionistic ancestral logic
A resolution-based calculus for Coalition Logic
Unforgettable Forgetful Determinacy
Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages
Games of influence
Proof Systems for Institutional Logic
Editorial: Proof Theory Corner
Revising option status in argument-based decision systems 1
A Complete Axiomatization of the Three-Valued Completion of Logic Programs
Logics of spatial isolation
Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics
On the strongest three-valued paraconsistent logic contained in classical logic and its dual
More for free: a dynamic epistemic framework for conformant planning over transition systems
Core of Coalition Games on MV-algebras
Linear Logic as CSP
Pivotal and Pivotal-discriminative Consequence Relations
Composing Open Logic Programs
Logic on the n -cube
On the computational complexity of detecting possibilistic locality
An Avron rule for fragments of R-mingle
Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks
Modal Logics and Group Polarization
Injective Models and Disjunctive Relations
Coherence and Flexibility in Dialogue Games for Argumentation
A calculus for modal compact Hausdorff spaces
Tame and full strict- Π 11 reflection: A proof-theoretic approach
M. H. Newman's Typability Algorithm for Lambda-calculus
On the Turing complexity of learning finite families of algebraic structures
An Investigation of 'Non-Intermingling' Principles in Temporal Logic
Evaluative presentations
Logics of formal inconsistency and mathematical definability
Hierarchies in independence and inclusion logic with strict semantics
A cut-free labelled sequent calculus for dynamic epistemic logic
A Proof-Theoretic Analysis of Goal-Directed Provability
A Logical Viewpoint on Process-algebraic Quotients
Logic and Exceptions: A Few Remarks
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers
A Multi-Agent System for Dynamic Ontologies
Tractable depth-bounded approximations to FDE and its satellites
Dynamic consequence for soft information
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
On a coalgebraic view on Logic
Detection and analysis of some redundancies in linear logic sequent proofs
Connections between Belief Revision, Belief Merging and Social Choice
Pareto optimality and strategy-proofness in group argument evaluation
Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge Bases
On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs
On the inference of non-confluent NLC graph grammars
Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.)
Special Issue on Mathematical Fuzzy Logic
Polynomial ring calculus for modalities
Deductive databases in four-valued logic: rule semantics and models
First-order justification logic with constant domain semantics
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
On Heyting algebras with negative tense operators II
The adjacent fragment and Quine's limits of decision
Preface of the special issue'Logic, argumentation and AI' in JLC
The Taming of the Cut. Classical Refutations with Analytic Cut
(Conceptual) explanations in logic
Resource sharing linear logic
Comparing some Intuitions of 'Process Calculus' and 'Program Logic'
On the 'transitivity' of consequence relations
Finitism, imperative programs and primitive recursion
Kleene's Logic, Generalized
Epistemic Actions as Resources
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks
Faulty sets of Boolean formulas and Łukasiewicz logic
Third-Order Computation and Bounded Arithmetic
Undecidability of Compass Logic
The universal homogeneous binary tree
Axiomatizing the Monodic Fragment of QCTL
Prefix probabilities for linear context-free rewriting systems
Boolean unification with predicates
Axiomatic rewriting theory II: the λσ-calculus enjoys finite normalisation cones
Reduced Implicate Tries with Updates
Quasi-minimal degrees for degree spectra
Linear Tense Logics of Increasing Sets
A syntactical analysis of normalization
Book Review: "Artificial Immune Systems and their Applications" by D. Dasgupta
Some Probability Logics with New Types of Probability Operators
A Database Approach to Distributed State-Space Generation
Reliable Semantics for Extended Logic Programs with Rule Prioritization
Trilattice logic: an embedding-based approach
A correct-by-construction approach for development of reliable planning problems
Special Issue on Logical Foundations of Computer Science
Automata theory approach to predicate intuitionistic logic
P != NP cap co-NP for Infinite Time Turing Machines
Model checking and validity in propositional and modal inclusion logics
Embedding the hypersequent calculus in the display calculus
Classifying all transducer degrees below N 3
Resultants Semantics for Prolog
Reasoning about Objects Using a Tableau Method
Proto logic and neural subsymbolic reasoning
Experience and History: Processes and their Relation to Events
Universal logic and computation
Linear Temporal Logic LTL: Basis for Admissible Rules
Quantales and Structural Rules
Uniform interpolation for propositional and modal team logics
Reasoning about strategic voting in modal logic quickly becomes undecidable
Decidability of affine solution problems
Formal Verification of an Incremental Garbage Collector
A small model theorem for the hybrid μ -calculus
Herbrand's Theorem for Nonstandard Inference Operations
On an intuitionistic logic for pragmatics
Introduction and Call for Papers
An arithmetic interpretation of intuitionistic verification
Sahlqvist Formulas in Hybrid Polyadic Modal Logics
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
Polyteam semantics
Structured Clusters: A Framework to Reason with Contradictory Interests
Solutions to Some Open Problems on Totally Ordered Monoids
Preferential Choice Representation Theorems for Branching Time Structures
A Three-Valued Formalization of Provability
Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation
Agents That Reason and Negotiate by Arguing
A system for named entity recognition based on local grammars
CERES for first-order schemata
Stability, the finite cover property and 0-1 laws
Commutative action logic
Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation
On Representing Sentential Connectives of Lesniewski's Elementary Protothetic
Functional Translation and Second-Order Frame Properties of Modal Logics
Intuitionistic Trilattice Logics
Dynamic Slicing: a generic analysis based on a natural semantics format
A Graph-theoretic Account of Logics
Reasoning about delegation and revocation schemes in answer set programming
On Scott's semantics for many-valued logic
The polyhedral geometry of Wajsberg hoops
Book Review: "Time Warps, String Edits, and Macromolecules: the Theory and Practice of Sequence Comparison" by David Sankoff and Joseph Kruskal
Completeness of tableau calculi for two-dimensional hybrid logics
A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups
A proof-theoretic semantic analysis of dynamic epistemic logic
Linearity in Computation
An axiomatization of ECTL
90 years of Gödel's incompleteness theorems: Logic and computation
Discrete duality for lattices with modal operators
Symbolic possibilistic logic: completeness and inference methods
Coarse deontic logic
On Instance-level Update and Erasure in Description Logic Ontologies
Admissible Rules of Lukasiewicz Logic
Verifying social expectations by model checking truncated paths
Games for hybrid logic from semantic games to analytic calculi
Conditional Quantification, or Poor Man's Probability
Pseudojumps and Pi 1 0 Classes
Modal logics of sabotage revisited
A minimalistic many-valued theory of types
Modal compact Hausdorff spaces
Bi-modal Gödel logic over [0, 1]-valued Kripke frames
The expressivity of update logics
Fast interpreter for logical reasoning in general game playing
Three Scenarios for the Revision of Epistemic States
On Weakly Cancellative Fuzzy Logics
Multiple conclusion linear logic: cut elimination and more
Temporal logics on strings with prefix relation
Corrigendum and addendum to 'Universal algebra for general aggregation theory'
Logic for Ontology Engineering Corner
Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets
Frege Structures for Partial Applicative Theories
Maximality in finite-valued Łukasiewicz logics defined by order filters
Uniqueness typing for resource management in message-passing concurrency
A logic of blockchain updates
Classical term-modal logics
Situated normative infrastructures: the normative object approach
Some Completeness Results for Stoppered and Ranked Classical Preferential Models
On fixpoint logics and equivalences for processes with restricted nondeterminism
A logical perspective on intending to keep a true secret
Two alternative notions of 'possibility' satisfying Halpern's conditions
Editorial: Logic in Abstract Interpretation
Stit logic of justification announcements: a completeness result
Highway to the Danger Zone
Order, Algebra and Logics
Modal Operators over Constructive Logic
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps
On Long Normal Inhabitants of a Type
Postponement, conservation and preservation of strong normalization for generalized reduction
Correction to: Checking trustworthiness of probabilistic computations in a typed natural deduction system
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
On meet-combination of logics
Optimal decompositions of matrices with entries from residuated lattices
An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers
Towards a Systematic Account of Different Semantics for Logic Programs
The Logic of Acceptance: Grounding Institutions on Agents' Attitudes
Intersection Types as Logical Formulae
Rescheduling rehabilitation sessions with answer set programming
Computing secure sets in graphs using answer set programming
Interrogatives, Recursion, and Incompleteness
Using argumentation to reason about trust and belief
Formalizing Action and Change in Modal Logic I: the frame problem
Complexity function and complexity of validity of modal and superintuitionistic propositional logics
Learning structural dependencies of words in the Zipfian Tail
A Tableau for Bundled CTL
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
An Iterative Framework for Simulation Conformance
Review of Modeling in Event-B: System and Sofware Engineering , 1st edition, by Jean-Raymond Abrial
Semantically closed intuitionistic abstract logics
Unifying F-logic molecules: a rectification to the original unification algorithm
Almost APAL
A Generalizable Argument Structure Using Defeasible Class-inclusion Transitivity for Evaluating Evidentiary Probative Relevancy in Litigation
Hamilton's cumular conception of quantifying particles: an exercise in third-order logic
Extensional realizability for intuitionistic set theory
An egocentric logic of de dicto and de re knowing who
Existentially Closed Models and Conservation Results in Bounded Arithmetic
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
A Complete Proof System for First-order Interval Temporal Logic with Projection
Introducing Preferences in Planning as Satisfiability
Blending margins: the modal logic K has nullary unification type
Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence
Reading Between the Lines in Constructive Type Theory
Presentation of Set Functors: A Coalgebraic Perspective
A linearization of the Lambda-calculus and consequences
Inductive Defense for Sceptical Semantics of Extended Argumentation
Paraconsistent Stable Semantics for Extended Disjunctive Programs
The probabilistic logic of communication and change
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1
Cyclic Involutive Distributive Full Lambek Calculus is Decidable
Records and Record Types in Semantic Theory
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
Rules and Refutation Rules for the Logic of Finite n-ary Trees
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Undecidability of the transitive graded modal logic with converse
Exterior Topology and Revision Spaces
No false grounds and topology of argumentation
Justification awareness
Indifferent Sets
A finitary outer measure logic
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
On some computational properties of open sets
Forbidding undesirable agreements
Temporal logics for compartmental models
Learning to act: qualitative learning of deterministic action models
Combinatorics of chromosomal rearrangements based on synteny blocks and synteny packs
Chisholm's paradox and conditional oughts
Internal proof calculi for modal logics with separating conjunction
Monotonicity Constraints in Characterizations of PSPACE
Knowledge of uncertain worlds: programming with logical constraints
Temporal Logics of Repeating Values
What do ultraproducts remember about the original structures?
Computing inconsistency measure based on paraconsistent semantics
Max-based Prioritized Information Fusion without Commensurability
Implementing Courcelle's Theorem in a declarative framework for dynamic programming
A Monotonic Formalism for Events and Systems of Events
Backward induction in presence of cycles
Cut Elimination and Decidability for Classical Lambek Logic
Probabilistic logics for objects located in space and time
Complexity of injection structures induced by finite state transducers
Embedding First-order Logic in a Pure Type System with Parameters
A study of possible-worlds semantics of relevance-sensitive belief revision
A Formulae-as-Types Interpretation of Subtractive Logic
Regular Search Spaces and Constructive Negation
Logics based on linear orders of contaminating values
A note on phonological similarity in Tesar's (2014) theory of output-drivenness
A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity
Properties and Complexity of Some Formal Inter-agent Dialogues
Power Kripke-Platek set theory and the axiom of choice
Two Representation Theorems for Non-monotonic Inference Relations
Fibring Logics with Topos Semantics
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
Defeasible Dialectics: A Controversy-Oriented Approach Towards Defeasible Argumentation
Rational coordination with no communication or conventions
Approximating Classical Theorems
An institutional approach to positive coalgebraic logic
Inhabitation in Intersection and Union Type Assignment Systems
On Algebras with Iteration
An Axiomatic System Suggested by Quantum Computation
leanTAP Revisited
From belief to trust: A quantitative framework based on modal logic
Recent complexity-theoretic results on P systems with active membranes
Logics for some dynamic spaces-I
Separability and harmony in ecumenical systems
A Gödel-Dugundji-style theorem for the minimal structural logic
Special issue for the 36th Italian Conference on Computational Logic (CILC 2021)
A modal separation logic for resource dynamics
Unrestricted preferential structures
Normal Forms for Characteristic Functions on n-ary Relations
Linear Logics with Communication-merge
Relevant harmony
A Relevance-theoretic Framework for Constructing and Deconstructing Enthymemes
Definability in first-order theories of graph orderings ⋆
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Ordered models for concept representation
Relentful strategic reasoning in alternating-time temporal logic
A Proof System for Abstract Non-interference
Sette's calculus P1 and some hierarchies of paraconsistent systems
Extending CTL with Actions and Real Time
Speech Acts, Epistemic Planning and Grice's Maxims
Deduction in Concept Languages: From Subsumption to Instance Checking
Steps and traces
A parameterized view on the complexity of dependence and independence logic
On Computational Complexity of Semilinear Varieties
Editorial and Call for Papers
Base Revision for Ontology Debugging
K -Triviality of Closed Sets and Continuous Functions
Defining logical systems via algebraic constraints on proofs
On Greatest Fixpoint Semantics of Logic Programming
How to do Things with Worlds: On Formalizing Actions and Plans
Hyperresolution and Automated Model Building
Strategic coalitions in stochastic games
Sets, Types and Type-checking
Towards a model of UAVs navigation in urban canyon through defeasible logic
An Institution-independent Generalization of Tarski's Elementary Chain Theorem
On Average Case Complexity of SAT for Symmetric Distribution
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
A Semantics for [lambda]: a Calculus with Overloading and Late-binding
Admissible Rules of Modal Logics
Action Under Uncertainty
Categorical Equivalences for sqrt(') quasi-MV Algebras
Post's Programme for the Ershov Hierarchy
M 2 -computable real numbers
Complexity Results for Nonmonotonic Logics
Model-theoretic and Computational Properties of Modal Dependence Logic
Algebras of Relations and Relevance Logic
Views of proof-theoretic semantics: reified proof-theoretic meanings
Descriptive complexity for distributed computing with circuits
Grammars, Parsers and Recognizers
Peirce Algebras and Boolean Modules