yusuke1997/dblp-id-title huggingface dataset:
The Arithmetical Hierarchy over the Reals
Sharp Thresholds for a Phase Transition Related to Weakly Increasing Sequences
Singleton enumeration reducibility and arithmetic
Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics
An Equational Axiomatization of Bisimulation over Regular Expressions
Expressive Power and Complexity in Algebraic Logic
Generalization of filter theory of EQ-algebras based on lattices
Fixed-Point Logics, Generalized Quantifiers, and Oracles
On the weak completeness of a fragment of linear temporal logic
A First-order Theory of Communication and Multi-agent Plans
Structured argumentation with prioritized conditional obligations and permissions
Layered graph logic as an assertion language for access control policy models
Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme
A modal logic for reasoning about economic policies
An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
The umbilical cord of finite model theory
Editorial: The Elusive Locus of Logicality
Final Coalgebras are Ideal Completions of Initial Algebras
Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs
The complexity of admissible rules of Łukasiewicz logic
Generalized Quantifiers and Logical Reducibilities
Hybrid sabotage modal logic
A formal semantics for agent (re)organization
Well-definedness and observational equivalence for inductive-coinductive programs
Algebraic Specifications, Higher-order Types and Set-theoretic Models
Analyticity with extra-logical information
Properties of a Pruning Operator
A Direct Proof of the Completeness of SLDNF-Resolution
Simultaneous Replacement in Normal Programs
On Non-local Propositional and Weak Monodic Quantified CTL
Formulating semantics of probabilistic argumentation by characterizing subgraphs: theory and empirical results
Complete Problems Involving Boolean Labelled Structures and Projection Transactions
On the Correspondence between Modal and Classical Logic: An Automated Approach
On the correspondence between nested calculi and semantic systems for intuitionistic logics
Operating room scheduling via answer set programming: Improved encoding and test on real data
Proof and Computation
On aggregating probabilistic evidence
Geodesic Revision
On Dynamic Topological Logic of the Real Line
Rees coextensions of finite, negative tomonoids
Strict equilibria interchangeability in multi-player zero-sum games
A General Framework for Expressing Preferences in Causal Reasoning and Planning
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Strong normalization in some temporal substructural logics
Countably many sublogics of the interpretability logic IL having fixed point properties
Linearity Constraints as Bounded Intervals in Linear Logic Programming
Program extraction applied to monadic parsing
A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules
Comparing LTL Semantics for Runtime Verification
Destructive Modal Resolution
Sequent calculi for induction and infinite descent
Actions and Events in Interval Temporal Logic
An algebraic analysis of implication in non-distributive logics
Rule Systems for Run-time Monitoring: from Eagle to RuleR
Tableau-based Decision Procedures for Hybrid Logic
Modal Logic and Equality for Process Algebra
Propositional Information Systems
Programming by Combining General Logic Programs
Genericity and Non-bounding in the Enumeration degrees
A Free Variable Version of the First-Order Predicate Calculus
Tableaux for Public Announcement Logic
Parameterized Complexity of Dynamic Belief Updates: A Complete Map
Proof automation for functional correctness in separation logic
Markov chain model representation of information diffusion in social networks
A logic for normative multi-agent programs
Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
A Nominal Axiomatization of the Lambda Calculus
Open sets in computability theory and reverse mathematics
Uniform Provability in Classical Logic
Robust Semantics for Argumentation Frameworks
Semantic Tableaux with Equality
Knowledge Compilation for Closed World Reasoning and Circumscription
Temporal Assertions with Parametrized Propositions
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S 4
R-SATCHMO: Refinements on I-SATCHMO
The Generalized Logic of only Knowing (GOL) That Covers the Notion of Epistemic Specifications
Parallel and Distributed Methods in Verification
An introduction to feedback Turing computability
Bisimulations for coalgebras on Stone spaces
Review: Word, Proofs and Diagrams
Complete Proof System for QPTL
Estimating event probabilities via signal temporal logic and first occurrence distributions
Event Calculus Planning Through Satisfiability
Approximating Succinct MaxSat
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
Notions of indifference for genericity: Union sets and subsequence sets
Computational properties of finite PNmatrices
Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas
Computing Minimal Axiomatizations in Gödel Propositional Logic
How to (Plan to) Meet a Deadline between Now and Then
Notes on conjunctive and Quasi degrees
Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations
Arithmetical Completeness of the Intuitionistic Logic of Proofs
The Significance of Memory Costs in Answer Set Solver Implementation
The abstract state machines method for modular design and analysis of programming languages
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
Qualitative uncertainty and dynamics of argumentation through dynamic logic
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
A representation theory for modal distributive lattices
Formalized soundness and completeness of epistemic and public announcement logic
RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics
The syntactic concept lattice: Another algebraic theory of the context-free languages?
Review: From 0 to 1; an Authoritative History of Modern Computing
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)
ADC method of proof search for intuitionistic propositional natural deduction
Logics in access control: a conditional approach
A note on hereditarily Π10- and Σ10-complete sets of sentences
The Trilattice of Constructive Truth Values
Review: A Dictionary of the Internet
Algebraic tools for default modal systems
Residuated Park theories
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities
Tableau Methods for Formal Verification of Multi-Agent Distributed Systems
Displaying updates in logic
A bimodal perspective on possibility semantics
Initial semantics in logics with constructors
An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
Multimedia Interpretation for Dynamic Ontology Evolution
Constructive truth and falsity in Peano arithmetic
Mental States Recognition from Communication
Editorial: Rhetoric versus Modernism in Computing
A Linear Logic Approach to Consistency Preserving Updates
A formalization of argumentation schemes for legal case-based reasoning in ASPIC+
Circumscription in Data Logic for Data Type Specification
Towards a Definition of an Algorithm
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
Universality in two dimensions
Semantics and Consistency of Rule-Based Expert Systems
Semitopology: a topological approach to decentralized collaborative action
Rely more or less, for better or for worse: Intertwining reliability and preferences
Interaction Net Implementation of Additive and Multiplicative Structures
The variety of complemented lattices where conjunction and implication form an adjoint pair
A domain calculus based on Heyting-valued logic
Reconciling transparency, low Δ 0-complexity and axiomatic weakness in undecidability proofs
Noise robustness and stochastic tolerance of OT error-driven ranking algorithms
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus
Enriching deontic logic
The Complexity of the Warranted Formula Problem in Propositional Argumentation
Dualities and algebraic geometry of Baire functions in non-classical logic
Recursive enumerability and elementary frame definability in predicate modal logic
Space and time complexity for infinite time Turing machines
Applying Universal Algebra to Lambda Calculus
An Independence Result for Intuitionistic Bounded Arithmetic
On the characterization of fibred logics, with applications to conservativity and finite-valuedness
Lazy Theories of Operations and Types
On the Density of Truth of Locally Finite Logics
Infinite Computations and a Hierarchy in Delta 3 Reconsidered
Cirquent Calculus Deepened
Compositional Verification of Quantitative Properties of Statecharts
Stochastic non-determinism and effectivity functions
Symbolic model checking of public announcement protocols
Master Surgical Scheduling via Answer Set Programming
Kettle logic in abstract argumentation
On the plurality of graphs
Modal Tableaux Based on Residuation
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
Adding the Everywhere Operator to Propositional Logic
Conjunctive Normal Forms in Three-Valued Propositional Logics
A unified logical framework for explanations in classifier systems
Exploring the Computational Content of the Infinite Pigeonhole Principle
An open logical framework
An Extension of Muchnik's Theorem
Expressing versus Proving: Relating Forms of Complexity in Logic
Distributed Algorithms for SCC Decomposition
On the Complexity of the First-order Random Theory
Preservation of Interpolation Features by Fibring
A labelled sequent calculus for BBI: proof theory and proof search
A fuzzy structure processing mechanism for graph grammar
A geometric proof of confluence by decreasing diagrams
Verification logic
On the aggregation of argumentation frameworks: operators and postulates
PSPACE Reasoning for Graded Modal Logics
Uniform Kurtz randomness
Definability Over the Class of all Partitions
BDI: a new decidable clause class
On Action Logic: Equational Theories of Action Algebras
Checking trustworthiness of probabilistic computations in a typed natural deduction system
A Foundation for Metareasoning Part I: The Proof Theory
A Description of the Tableau Method Using Abstract State Machines
Incomputability at the foundations of physics (A study in the philosophy of science)
A multi-labelled sequent calculus for Topo-Logic
Bottom-up Construction of Semantic Tableaux
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework
Generalized constraint diagrams and the classical decision problem
A logical reconstruction of temporal databases
Bounded model checking distributed temporal logic
When Maximizing Entropy gives the Rational Closure
Modal logic with relations over paths: A theoretical development through comonadic semantics
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic
Which style of reasoning to choose in the face of conflicting information?
Categorical and algebraic aspects of the intuitionistic modal logic IEL - and its predicate extensions
A Substructural Modal Logic of Utility
Forthcoming Papers
Controlled Revision - An algorithmic approach for belief revision
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII)
Optimized Encodings of Fragments of Type Theory in First-Order Logic
Paraconsistent Machines and their Relation to Quantum Computing
Automated Deduction with Shannon Graphs
On matrices, Nmatrices and games
On the Decidability of Continuous Time Specification Formalisms
Permissive and regulative norms in deontic logic
Engineering Executable Agents using Multi-context Systems
A Complete Proof Synthesis Method for the Cube of Type Systems
Elementarily equivalent structures for topological languages over regions in Euclidean space
Attack principles in sequent-based argumentation theory
Logic Programming with Signs and Annotations
Self-full ceers and the uniform join operator
Low linear orderings
On generalizing free algebras for a functor
Monotonic Answer Set Programming
Cut Elimination and Realization for Epistemic Logics with Justification
Process-Algebraic Interpretations of Positive Linear and Relevant Logics
On a hierarchy of 5′ → 3′ sensing Watson-Crick finite automata languages
Tailoring disjoint belief structures to the AGM framework
Novelty in Deductive Databases
The lattice of congruences of a finite line frame
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
Efficiently Querying RDF(S) Ontologies with Answer Set Programming
Complexity of Satisfiability Problems with Symmetric Polynomial Clauses
Lindström's theorem, both syntax and semantics free
A Decidable Constraint Diagram Reasoning System
The Dynamics of Syntactic Knowledge
Adding abductive reasoning to a propositional logic
A Uniform Proof-Theoretic Investigation of Linear Logic Programming
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
The incomputable
The rules of the game are changing: Scientific impact factors and publication strategies among logicians
An Algebraic Perspective of Constraint Logic Programming
About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction
Introduction to Cirquent Calculus and Abstract Resource Semantics
Non-deterministic Multiple-valued Structures
Monad-independent Dynamic Logic in HasCasl
On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms
Differential and integral calculus for logical operations. A matrix-vector approach
Congruence filter pairs, equational filter pairs and adjoints
Erratum to: Evaluative multiple revision based on core beliefs
Argument Relevance as the Right Kind of Epistemic Reason
Algorithmic solution of higher type equations
Aristotelian Syntax from a Computational-Combinatorial Point of View
Correction to: Argumentation Frameworks with Attack Classification
Hierarchies in Classes of Program Schemes
Satisfiability for relation-changing logics
Polyatomic logics and generalized Blok-Esakia theory
On the expressive limits of reified theories
Modelling Ceteris Paribus Preferences with Deontic Logic
The Expressivity of Quantified Group Announcements
A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem
One-dimensional fragment over words and trees
Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms
Logic as a Vector System
Completeness and termination for a Seligman-style tableau system
A Note on SLDNF-Resolution
Completeness of Resolution for Definite Answers
Herbrand Proofs and Expansion Proofs as Decomposed Proofs
Review: Views into the Chinese Room: New Essays on Searle and Artificial Intelligence
Ordering protoalgebraic logics
A Presentation of Quantum Logic Based on an and then Connective
On the Expressive Power of Three-Valued and Four-Valued Languages
Soundness and completeness results for LEA and probability semantics
Cut-free sequent-style systems for a logic associated to involutive Stone algebras
Correction to: Arithmetical and Hyperarithmetical Worm Battles
From conventional to institution-independent logic programming
Partial semantics of argumentation: basic properties and empirical
Coalition logic with individual, distributed and common knowledge1
Quantifiers in logic and proof-search using permissive-nominal terms and sets
The power of modal separation logics
Rank-1 Modal Logics are Coalgebraic
Belief Functions and the Possible Worlds Paradigm
The extended predicative Mahlo universe in Martin-Löf type theory
Semantic Labelled Tableaux for Propositional BI
Carmo and Jones' logic for contrary-to-duty obligations revised
Measuring similarity in belief revision
From Deep Inference to Proof Nets via Cut Elimination
Stochastic sharing calculus for reasoning about social networks
Preferential and Preferential-discriminative Consequence Relations
Contraction Based on Sentential Selection
A formal analysis of the role of argumentation in negotiation dialogues
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
Reasoning about epistemic social network dynamics using dynamic term-modal logic
Modal logics with hard diamond-free fragments
Containment logics: Algebraic Counterparts and Reduced Models
On a Problem of J. Paris
Saturated Formulas in Full Linear Logic
Lambek Calculus in Natural Deduction
Applying the Mu-Calculus in Planning and Reasoning about Action
Computable Models
An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs
Extending dynamic logic with refinements of abstract actions
The complexity of disjunction in intuitionistic logic
Argumentation Semantics for Defeasible Logic
Scheduling pre-operative assessment clinic with answer set programming
Inclusions and Subtypes I: First-Order Case
Copying safety and liveness properties of computational artefacts
The logic of identity and copy for computational artefacts
Nonmonotonic Logics and Semantics
About Boundedness for Some Datalog and Datalog neg Programs
Letter: Why Set Theory Without Foundation?
Decision Procedures for BDI Logics
A typed lambda-calculus with first-class configurations
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
Fibrational bisimulations and quantitative reasoning: Extended version
On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
The logic of conflicts between decision making agents
Synthesizing Monadic Predicates
There are no minimal essentially undecidable theories
On the Hierarchy of Intuitionistic Bounded Arithmetic
Notions of Cauchyness and metastability
Complete representation by partial functions for composition, intersection and anti-domain
Reducing redundancy in cut-elimination by resolution
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
A Common Knowledge Representation for Plan Generation and Reactive Execution
Tractable and intractable classes of propositional schemata
Serial properties, selector proofs and the provability of consistency
A single complete refinement rule for Z
Attack-defense trees
Type inhabitation of atomic polymorphism is undecidable
Modalities combining two negations
Semantic data management in P2P systems driven by self-esteem
Basic modal congruent and monotonic multilattice logics
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs
On computable aspects of algebraic and definable closure
Strong Negation and Equivalence in the Safe Belief Semantics
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models
Modeling legal conflict resolution based on dynamic logic
de Bruijn Indices for Metaterms
Negative Operations on Proofs and Labels
Incrementally predictive runtime verification
Cut elimination and complexity bounds for intuitionistic epistemic logic
Topologies on residuated lattices
A Logic of Probability with Decidable Model Checking
Computability at Logic Colloquium 2009
Reflection principles in computational logic
In defence of deontic diversity
Definable relations in Turing degree structures
Completeness and Cut-elimination in the Intuitionistic Theory of Types
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
Faulty Belnap computers and subsystems of FDE
Representing and Reasoning on XML Documents: A Description Logic Approach
ADL and the State-Transition Model of Action
On the likelihood of normalization in combinatory logic
Modelling supra-classical logic in a Boltzmann neural network: I representation
Logics of dependence and independence: The local variants
A corpus-based finite-state morphological toolkit for contemporary arabic
Canonicity results for mu-calculi: an algorithmic approach
Reasoning Support for Mapping Revision
A First-Order Conditional Logic with Qualitative Statistical Semantics
A game-theoretic approach to compute stable topologies in mobile ad hoc networks
Argumentation Frameworks with Attack Classification
Renovation sets and their applications in higher-order argumentation frameworks
Relevance Realization and the Emerging Framework in Cognitive Science
Correction to: Opinion diffusion and campaigning on society graphs
Object calculi in linear logic
Abstract Interpretation Frameworks
Hairpin lengthening: language theoretic and algorithmic results
Object Specification Logic
Epistemic predicates in the arithmetical context
Ambiguity and context learning in signalling games
Temporal duration-based probabilistic argumentation frameworks
Opinion diffusion and campaigning on society graphs
An extended framework for specifying and reasoning about proof systems
A Linear Spine Calculus
Model-theoretic characterization of intuitionistic predicate formulas
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains
Linear Types and Locality
Extending Temporal Logic Programming with Choice Predicates Non-Determinism
The Frobenius anatomy of word meanings I: subject and object relative pronouns
Uniform interpolation via nested sequents and hypersequents
Conciliation through Iterated Belief Merging
2-Sequent Calculus: Intuitionism and Natural Deduction
Learning Theory and Descriptive Set Theory
Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus
The product of converse PDL and polymodal K
Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning
A logical analysis of responsibility attribution: emotions, individuals and collectives
Definability in Rationals with Real Order in the Background
Termination for Hybrid Tableaus
Systems for Knowledge and Belief
Causal Relevance and Relevant Causation
Non-transitive linear temporal logic and logical knowledge operations
Classical computation over quantum architectures
Enhancing Fixed Point Logic with Cardinality Quantifiers
A formal, diagrammatic, and operational study of normative relations
The fixed point property and a technique to harness double fixed point combinators
Belief contraction and erasure in fragments of propositional logic
On Independence of Variants of the Weak Pigeonhole Principle
Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks
Evaluative multiple revision based on core beliefs
Completeness theorems for first-order logic analysed in constructive type theory
From probabilities to categorical beliefs: Going beyond toy models
Relating Higher-order and First-order Rewriting
Low upper bounds in the Turing degrees revisited
Enumeration Degrees and Enumerability of Familes
A Structural Proof of the Soundness of Rely/guarantee Rules
Natural Deduction for Hybrid Logic
Approximate reasoning about logic circuits with single-fan-out unreliable gates
Netreason: Reasoning about social networks
The Complexity of Regularity in Grammar Logics and Related Modal Logics
The IMP game: Learnability, approximability and adversarial learning beyond $$\Sigma^0_1$$
Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting
Completeness for linear continuous logic
Prompt enumerations and relative randomness
Special Issue 'deontic modalities in natural language' - selected and revised papers from the 12th International Conference on Deontic Logic and Normative Systems (DEON 2014)
Limitations of the invertible-map equivalences
Relevance and Conjunction
Decidable temporal and sequential relevant logics