yusuke1997/dblp-id-title huggingface dataset:
Extracting efficient exact real number computation from proofs in constructive type theory
Combining Logic Programming and Equation Solving
Partial Applicative Theories and Explicit Substitutions
Conditionals and modals in contexts
Compositionality through an Operational Semantics of Contexts
Special Issue on Argumentation in Agreement Technologies
Embedding distributive lattices in the Σ 0 2 enumeration degrees
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations
A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
Reference Constructions in the Single-conclusion Proof Logic
A Hybrid Intuitionistic Logic: Semantics and Decidability
Efficient parallel CKY parsing using GPUs
The expressive power of first-order topological languages
Computational Errors and Suspension in a PWK Epistemic Agent
On ensconcement and contraction
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change
SAT-Problems and Reductions with Respect to the Number of Variables
The logics for the complexity classes with limited non-determinism
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
Internalizing labelled deduction
Embeddings of Bishop spaces
Terminating sequent calculi for proving and refuting formulas in S4
Probabilistic models for intuitionistic predicate logic
The strength of SCT soundness
Dynamic Logic for Plan Revision in Agent Programming
Uniform Proof Complexity
Prime implicates and relevant belief revision
On the complexity of index sets for finite predicate logic programs which allow function symbols
Universality of quantum Turing machines with deterministic control
Knowledge Preconditions for Plans
The Uniformity Principle for Sigma-definability
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
Handling Expiration of Multigranular Temporal Objects
Gödelian sentences, Rosserian sentences and truth
Proof Nets for Basic Discontinuous Lambek Calculus
Monadic Logic of Order over Naturals has no Finite Base
A simple sequent calculus for nominal logic
Modal algebra of multirelations
Optimum stable model search: algorithms and implementation
The Frobenius anatomy of word meanings II: possessive relative pronouns
Preference-based argumentation built from prioritized logic programming
On the formal characterization of the FORTE_MBC theory revision operators
Towards a uniform presentation of logical systems by indexed categories and adjoint situations
On α -state filters in state residuated lattices
Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic
Compactness in first-order Gödel logics
Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems
Representation and Human Reasoning
Judgement aggregation in multi-agent argumentation
Eskolemization in Intuitionistic Logic
The Expansion Problem in Lambda Calculi with Explicit Substitution
Merging Information Under Constraints: A Logical Framework
Elementary Diagrams in Institutions
Tree parsing for tree-adjoining machine translation
Results in modal correspondence theory for possibility semantics
Oracles that measure thresholds: the Turing machine and the broken balance
Terminating sequent calculi for two intuitionistic modal logics
Modal Logics Between Propositional and First-order
A Logical and Computational Theory of Located Resource
Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms'
4DL: a four-valued dynamic logic and its proof theory
Adding Intensional Machinery to Hybrid Logic
From (Quantified) Boolean Formulae to Answer Set Programming
Integrating individual preferences into collective argumentation
Review: Process Algebra with Timing
An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas
Computation of Prime Implicants Using Matrix and Paths
On generalizing the Nullstellensatz for MV algebras
Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic
Pattern connectives
Logical Description of Monotone NP Problems
Metalevel argumentation
A Modal Logic for Coalitional Power in Games
Uniform Lazy Narrowing
Projective unification in weakly transitive and weakly symmetric modal logics
Expanding the Leibniz Hierarchy
Ramifications: An Extension and Correspondence Result for the Event Calculus
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
Alternating-time temporal dynamic epistemic logic
Generating Kolmogorov random strings from sources with limited independence
On Realization of S5-modality by Evidence Terms
Introduction: Selected Papers from the 4th Workshop on Logic, Rationality and Interaction (LORI-4)
Equilibria interchangeability in cellular games
Adding Metatheoretic Facilities to First-Order Theories
Reasoning about opinion dynamics in social networks
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV)
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
Solovay functions and paradoxes
Proof Theory for Casari's Comparative Logics
Higher Types, Finite Domains and Resource-bounded Turing Machines
Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice
Comments on Interpretability and Decidability in Fuzzy Logic
Computability in Specification
Extensional Set Equality in the Calculus of Constructions
Applying Theory to Practice
Normative reasoning by sequent-based argumentation
Reliability-based preference dynamics: lexicographic upgrade
Naming and Identity in Epistemic Logics Part I: The Propositional Case
Navigability with intermediate constraints
Some Properties of Linear Logic Proved by Semantic Methods
Constructive and mechanised meta-theory of IEL and similar modal logics
Paretian argumentation frameworks for Pareto optimal arguments
Comparing the Expressibility of Languages Formed using NP-Complete Operators
The Influence of the Test Operator on the Expressive Power of PDL-like Logics
Polynomially parsable unification grammars
Basic primal infon logic
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
Unifying logics via context-sensitiveness
Constructive Logic with Strong Negation as a Substructural Logic
Intuitionistic implication without disjunction
Weak Theories of Operations and Types
How to identify, translate and combine logics?
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
Tracking computability of GPAC-generable functions
ℋ-Colouring Dichotomy in Proof Complexity
State smearing theorems and the existence of states on some atomic lattice effect algebras
Corrigendum to: Displaying updates in logic
Generic logical encoding for argumentation
On constraint satisfaction problems below P
Fuzzy approach to quantum Fredkin gate
Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics
A Van Benthem/Rosen theorem for coalgebraic predicate logic
An Intuitionistic Predicate Logic Theorem Prover
A recursion theoretic foundation of computation over real numbers
On the definability of simulation and bisimulation in epistemic logic
Combining Soft Linear Logic and Spatio-temporal Operators
The XAI system for answer set programming xASP2
Fraïssé-Hintikka theorem in institutions
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
A Causal Theory of Abduction
On the computational properties of basic mathematical notions
First-order Definable Retraction Problems for Posets and Reflexive Graphs
Introducing the Special Issue on 20 Years of Argument-Based Inference
Expressive Number Restrictions in Description Logics
A logic of hypothetical conjunction
Explicit Substitutions and Reducibility
One-and-a-halfth-order Logic
Negation as a modality in a quantified setting
Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP
A Modal Approach to Negation as Failure Rule
Some Syntactical Observations on Linear Logic
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities
Multi-dimensional Interpretations of Presburger Arithmetic in Itself
Public communication in justification logic
A Complete Deductive System for Probability Logic
Turing is among us
Causality and Counterfactuals in the Situation Calculus
Strictly join irreducible varieties of residuated lattices
How to update neighbourhood models
Presentation of proofs in modal natural deduction
µ-Calculus with Explicit Points and Approximations
The Expressiveness of Spider Diagrams
Hoops and Fuzzy Logic
Refinements of subatomic natural deduction
The first-order hypothetical logic of proofs
Semantic investigation of canonical Gödel hypersequent systems
Linear Deductive Planning
On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs
A New Method to Obtain Termination in Backward Proof Search for Modal Logic S 4
Epistemic extensions of modal distributive substructural logics
On sharp and single-conclusion justification models
Arithmetical and Hyperarithmetical Worm Battles
Introduction to the special issue on Loops in Argumentation
From rational Gödel logic to ultrametric logic
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping
Elio Lanzarone: a life for science
Suppes-style sequent calculus for probability logic
An encoding of abstract dialectical frameworks into higher-order logic
Counting the changes of random Δ20 sets
Reducing Modal Consequence Relations
Computing minimal unsatisfiable core for LTL over finite traces
Sahlqvist theory for impossible worlds
Computing the maximal Boolean complexity of families of Aristotelian diagrams
Description logics of context
Quantitative Information Flow, Relations and Polymorphic Types
Completeness and decidability results for a logic of contrary-to-duty conditionals
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning
Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors
Deterministic and Non-Deterministic Stable Models
Congruence-based proofs of the recognizability theorems for free many-sorted algebras
|MTL|-algebras as rotations of basic hoops
Logic Programming with Strong Negation and Inexact Predicates
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
Fixpoint and While Temporal Query Languages
Logics with Common Weak Completions
Modal correspondence theory in the class of all Euclidean frames
The power of primitive positive definitions with polynomially many variables
Investigating Z
Introduction to the special issue on NorMAS 2009
Bringing them all Together
On the Relationship between Abduction and Deduction
Shapely monads and analytic functors
An ASP approach for arteries classification in CT scans
A forward internal calculus for model generation in S4
Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes
Verification of Meta-Interpreters
A dynamic logic for acting, sensing, and planning
Category-based Equational Reasoning: An Approach to Ontology Integration
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP
Multi-type display calculus for propositional dynamic logic
Algebraic and Coalgebraic Logic Corner
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Combining transactions and automatic repairs
A Real-time Semantics of Temporal Logic of Actions
A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions
Aggregating Judgements by Merging Evidence
Polytime embedding of intuitionistic modal logics into their one-variable fragments
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
Editorial: An Undergraduate Degree in Practical Reasoning
A Modal Logic for Fusing Partial Belief of Multiple Reasoners
Semantical Analysis of Logic of Actions
Storage Operators and Multiplicative Quantifiers in Many-valued Logics
Counting the back-and-forth types
Fibring Labelled Deduction Systems
Modal Logic and Negation as Failure
Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes
Persuasion and Value in Legal Argument
An ASP approach for the valves positioning optimization in a water distribution system
Note on a Lemma of Ladkin
A logical framework to model software development by multiple agents following a common specification
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
Combining Syntax and Semantics through Prime Form Representation
Revision Sequences and Computers with an Infinite Amount of Time
Linear Logic and Exceptions
Reasoning with contradictory information using quasi-classical logic
Codd's Relational Model from the Point of View of Fuzzy Logic
Lambda Calculus, Type Theory, and Natural Language II
A logical characterization of constant-depth circuits over the reals
The enriched effect calculus: syntax and semantics
Sequent Calculi for Normal Modal Proposisional Logics
Extended Natural Deduction Images of Conversions from the System of Sequents
Remarks on skew Hilbert algebras and weak BCK*-algebras
Lower bounds for the state complexity of probabilistic languages and the language of prime numbers
Epistemic extensions of substructural inquisitive logics
Generalized Strong Preservation by Abstract Interpretation
Minimizing Agent Specifications using a Logic of Knowledge and Actions
A Logic of Type Relations and its Applications to Relational Databases
Efficient generation of test data structures using constraint logic programming and program transformation
Properties of the jump classes
Existential Least Fixed-Point Logic and its Relatives
Towards determinism in PDL: relations and proof theory
Dialectica logical principles: not only rules
Reactive standard deontic logic
Low scattered linear orders
Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
Speculative Image Computation for Distributed Symbolic Reachability Analysis
On Graph-theoretic Fibring of Logics
A deep inference system with a self-dual binder which is complete for linear lambda calculus
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
Unified correspondence and proof theory for strict implication
Modal Logics of Regions and Minkowski Spacetime
DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions
Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue
Notions of Bisimulation for Heyting-Valued Modal Languages
Unbounded Non-Determinism in CSP
Accumulative knowledge under bounded resources
Correction to: Modalities combining two negations
Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
A Description Logic with Concrete Domains and a Role-forming Predicate Operator
Classificatory Aspects of Counts-as: An Analysis in Modal Logic
Principles of logics for plausible reasoning
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
What's on My Mind..
Preferred semantics as socratic discussion
Weak Belnapian modal logic
Nonmonotonic Reasoning is Sometimes Simpler!
A substructural epistemic resource logic: theory and modelling applications
A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
On the acceptance of loops in argumentation frameworks
Spectra of high n and non-low n degrees
Matching in Description Logics
On logical specifications of the Argument Interchange Format
Vietoris Bisimulations
On all pure three-valued logics
Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic
A partial translation from λU to λ2
Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
Propositional logic and modal logic - A connection via relational semantics
Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints
The Expressivity of Quantifying over Regions
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis
Ramification and causality in a modal action logic
The Extent of Constructive Game Labellings
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
Recent advances of research on Computational Logic in Italy (CILC 2012): In memoriam of Elio Lanzarone (1945-2011)
Joining non-low C.E. sets with diagonally non-computable functions
On the existence of a modal-logical basis for monadic second-order logic
Fuzzy Logic Corner
Epistemic logics for sceptical agents
Adaptive strategies and finite-conditional premise sets
Type theoretical databases
The equivalence zoo for Dung-style semantics
Modular orders on defaults in formal argumentation
(Hybrid) automata and (stochastic) programs The hybrid automata lattice of a stochastic program
Tree-sequent calculi and decision procedures for intuitionistic modal logics
Locally constant constructive functions and connectedness of intervals
Polynomial time certifying algorithms for the planar quantified integer programming problem
Some completeness results in derivational modal logic
Erratum to: Editorial Reasons, argumentation and justification: DEON 2016 special issue
Normal functions and maximal order types
The Cooperative Problem-solving Process
Model Checking Games for Branching Time Logics
Ackermann's Implication for Typefree Logic
Automatic white-box testing of first-order logic ontologies
Tractability Results in the Block Algebra
Relevance in Cooperation and Conflict
A Logic for Partial System Description
Fine-tuning natural language imperatives
On syntactic concept lattice models for the Lambek calculus and infinitary action logic
Decompositions of stratified institutions
Two Logical Theories of Plan Recognition
Arc consistency and friends
Computably enumerable equivalence relations via primitive recursive reductions
Proof-terms for classical and intuitionistic resolution
Non-distributive positive logic as a fragment of first-order logic over semilattices
Methods of class field theory to separate logics over finite residue classes and circuit complexity
Algebras of Information States
A fully labelled proof system for intuitionistic modal logics
KBOs, ordinals, subrecursive hierarchies and all that
ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement
Hybrid Logics with Infinitary Proof Systems
Principal Type Schemes for the Strict Type Assignment System
Consistency and permission in deontic justification logic
Fuzzy Logics with Noncommutative Conjuctions
Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
The formal strong completeness of partial monoidal Boolean BI
The canonical FEP construction
Change in social networks: Some dynamic extensions of Social Epistemic Logic
Kripke Resource Models of a Dependently-typed, Bunched λ-calculus
Logic of Proofs and Labels with a Complete Set of Operations
Logics for some dynamic spaces-II
Equivalence closure in the two-variable guarded fragment
A Local Search Approach to Modelling and Solving Interval Algebra Problems
The role of self-attacking arguments in characterizations of equivalence notions
Sum and Product in Dynamic Epistemic Logic
Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge
Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic
THOMAS: An agent platform for supporting normative multi-agent systems
On the Indiscernibility of Individuals in Logic Programming
Principal Typing in a forall-and-Discipline
An analysis of clausal coordination using synchronous tree adjoining grammar
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond
Model Checking Multiagent Systems
Parameterized complexity of abduction in Schaefer's framework
A Tableau Calculus for Hájek's Logic BL
Bases of Admissible Rules of Lukasiewicz Logic
Taking the path computably traveled
A-Ordered Tableaux
A Reduction from DLP to PDL
Rank and simulation: the well-founded case
Categorical comprehensions and recursion
A sequent calculus for first-order logic formalized in Isabelle/HOL
On the conservation results for local reflection principles
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega
The generalized orthomodularity property: configurations and pastings
Dynamic specification of open agent systems
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
Dual counterpart intuitionistic logic
Defaults as Generalized Quantifiers
Modal Logic, Transition Systems and Processes
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
Simulating Without Negation
Private announcement and belief expansion: an internal perspective
The Foundations of Specification
Representing supererogation
Knowledge in communication networks
Obligations with deadlines: a formalization in Dynamic Deontic Logic
Input/Output Dependencies of Normal Logic Programs
Densely computable structures
Nominal Algebra and the HSP Theorem
Relevant epistemic logic with public announcements and common knowledge
An alternative definition of tense operators on residuated lattices
Observing interventions: a logic for thinking about experiments
Separations of non-monotonic randomness notions
A mixed decision method for duration calculus
An ASP-based solver for parametrized-difference revision
Logics preserving degrees of truth from varieties of residuated lattices
Topological semantics of conservativity and interpretability logics
A logic-based tractable approximation of probability
Undecidability in Some Structures Related to Computation Theory
A note on the asymptotic expressiveness of ZF and ZFC
Logics of Modal Terms for Systems Specification
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
Proof Nets for Lambek Calculus
Modelling efficient team structures in biology
Nondeterministic and nonconcurrent computational semantics for BB+ and related logics
Justification logic and type theory as formalizations of intuitionistic propositional logic
Ensuring trustworthy and ethical behaviour in intelligent logical agents
Translating preferred subtheories into structured argumentation
Editorial Reasons, argumentation and justification: DEON 2016 special issue
Editorial: Introduction to the Universal Logic Corner
Remarks on some general features of abduction
Interaction-based Runtime Verification for Systems of Systems Integration
A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets
Effective inseparability and some applications in meta-mathematics
On Computing Belief Change Operations using Quantified Boolean Formulas
Propositional primal logic with disjunction
Dilemmas and paradoxes: cycles in argumentation frameworks
Complexity and Definability Issues in L Pi 1/2
A logic of knowledge based on abstract arguments
A Translation-based Approach to the Verification of Modular Equivalence
Reasoning with maximal consistency by argumentative approaches
Geometry of super-Łukasiewicz logics
Completeness by Forcing
Abstract argumentation and the rational man
The Univalence Axiom in posetal model categories