yusuke1997/dblp-id-title huggingface dataset:
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Choice-Free de Vries Duality
A Tableau Algorithm for the Clique Guarded Fragment
Partially-ordered Modalities
Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages
When Names Are Not Commonly Known: Epistemic Logic with Assignments
Possibility, Consistency, Connexivity
Axiomatizing a Real-Valued Modal Logic
A Tableau for Temporal Logic over the Reals
One-Generated WS5-Algebras
A focused framework for emulating modal proof systems
Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002
Logic-Induced Bisimulations
Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents
Topological Modal Logics with Difference Modality
Advances in Modal Logic 1, papers from the first workshop on "Advances in Modal logic," held in Berlin, Germany, 8-10 October 1996
Moorean Phenomena in Epistemic Logic
Positive Modal Logic Over Finite MV-Chains
Algorithmic Correspondence Theory for Substructural Categorial Logic
Interpolation, Definability and Fixed Points in Interpretability Logics
Modal Logic for Induction
Describing neighborhoods in inquisitive modal logic
Modal Logics with Weak Forms of Recursion: PSPACE Specimens
Completeness of the finitary Moss logic
Classical and Empirical Negation in Subintuitionistic Logic
Spinozian Model Theory
Locality and subsumption testing in EL and some of its extensions
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales
Axiomatizing the lexicographic products of modal logics with linear temporal logic
Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence
Graded modal logic with a single modality
Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig, Germany, 4-7 October 2000
Modal Independence Logic
A Two sorted Hybrid Logic Including Guarded Jumps
Towards an Algebraic Theory of KD45-Like Logics
On IF Modal Logic and its Expressive Power
Quantifying over Asynchronous Information Change
Group Epistemics, (Co-)algebraically
Editorial Preface
The Interpolant Existence Problem for Weak K4 and Difference Logic
Reasoning About Obligations in Obligationes: A Formal Approach
On the Complexity of Fragments of Modal Logics
"Knowing value'' logic as a normal modal logic
Kripke Models of Transfinite Provability Logic
An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics
On Notions of Completeness Weaker than Kripke Completeness
Undecidability for arbitrary public announcement logic
On the Complexity of Modal Separation Logics
On the Degree of Neighborhood Incompleteness of Normal Modal Logics
Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics
On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom
On Modal Products with the Logic of 'Elsewhere'
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers
Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property
Coalgebraic Lindströom Theorems
Frame Definability in Conditional Logic
Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus
Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?
Bilattice Public Announcement Logic
Belief, Names, and Modes of Presentation
Topology, connectedness, and modal logic
Coherence in Modal Logic
Some General Completeness Results for Propositionally Quantified Modal Logics
Proofs, Disproofs, and Their Duals
Conditionally Knowing What
The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable
Quantification over names and modalities
Free Algebras for Gödel-Löb Provability Logic
Topological Nexttime Logic
Canonical Pseudo-Correspondence
Intuitionistic Master Modality
Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic
Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4
The Internalized Disjunction Property for Intuitionistic Justification Logic
Many-valued hybrid logic
STS: A Structural Theory of Sets
A paraconsistent view on B and S5
The Existence of Proof Systems
Goldblatt-Thomason-style Theorems for Graded Modal Language
Bisimulations and Boolean Vectors
Foundational Issues in Logical Dynamics
Definability and Computability for PRSPDL
13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020
Unification With Simple Variable Restrictions and Admissibility of Π2-Rules
Logics with an existential modality
Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016
Strong Completeness of the Closed Fragment of GLP
Every world can see a Sahlqvist world
A cut-free sequent calculus for the logic of subset spaces
Non-classical modal logic for natural language
Locally Tabular Extensions of MIPC
Simulation of Two Dimensions in Unimodal Logics
To Know is to Know the Value of a Variable
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018
Verification of Multi-Agent Properties in Electronic Voting: A Case Study
Modal Logic of Some Products of Neighborhood Frames
Beyond Regularity for Presburger Modal Logic
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
Projective unification through duality
An interval logic for natural language semantics
Equational Logic of Polynomial Coalgebras
A Tree Rewriting System for the Reflection Calculus
Finite Frames for K4.3 x S5 Are Decidable
Coalgebraic Proof Translations for Non-Wellfounded Proofs
Weaker-to-Stronger Translational Embeddings in Modal Logic
Before announcement
An Overview of Interpretability Logic
Propositional dynamic logic with Belnapian truth values
Almost Necessary
On the Size of Shortest Modal Descriptions
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers
Downward-directed transitive frames with universal relations
A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic
Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables
Non-normal Modalisation
Weak Necessity on Weak Kleene Matrices
Nominal Substitution at Work with the Global and Converse Modalities
PSPACE-decidability of Japaridze's polymodal logic
A Sound and Complete Proof System for QPTL
A Lower Complexity Bound for Propositional Dynamic Logic with Intersection
Learning and Modal Logic: There and Back Again
The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins
A Hennessy-Milner Property for Many-Valued Modal Logics
A Resolution-Based Decision Procedure for Extensions of K4
One-dimensional Fragment of First-order Logic
From topology to metric: modal logic and quantification in metric spaces
Conservative extensions in modal logic
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States
Notes on the Space Requirements for Checking Satisfiability in Modal Logics
Complexity of Dynamic Epistemic Logic with Common Knowledge
Logics of Polyhedral Reachability
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation
Relativized Action Complement for Dynamic Logics
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration
Computing Minimal EL-unifiers is Hard
Tableaux for multi-agent deliberative-stit logic
Connexive Modal Logic
An expressive two-sorted spatial logic for plane projective geometry
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics
Complexity of the Lambek Calculus and Its Fragments
Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014
Valentini's cut-elimination for provability logic resolved
Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete
On PSPACE-decidability in Transitive Modal Logic
Extending ALCQ with Bounded Self-Reference
Three 13th-century views of quantified modal logic
Global Neighbourhood Completeness of the Provability Logic GLP
The Bimodal Logic of Commuting Difference Operators Is Decidable
A Modal Logic for Reasoning in Contexts
Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames
Completeness and incompleteness in first-order modal logic: an overview
Propositions, Propositional Attitudes and Belief Revision
Dependence Statements Are Strict Conditionals
Cut-Free Modal Theory of Definite Descriptions
Provability Logics of Hierarchies
Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation
Embedding formalisms: hypersequents and two-level systems of rule
Fusions of Modal Logics Revisited
Medvedev's logic and products of converse well orders
More on Empirical Negation
Unification in modal logic Alt 1
It ain't necessarily so: Basic sequent systems for negative modalities
Here and There Modal Logic with Dual Implication
Isomorphism via translation
Saturation-Based Uniform Interpolation for Multi-Modal Logics
Ruitenburg's Theorem via Duality and Bounded Bisimulations
Completeness for an Intuitionistic Modal Logic of Vagueness
Labelled sequent calculi for logics of strict implication
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 16-18 October 1998
The structure of the lattice of normal extensions of modal logics with cyclic axioms
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics
Coalgebraic Semantics for Intuitionistic Modal Logic
LEGO-Like Small Model Constructions for Åqvist's Logics
A Note on Relativised Products of Modal Logics
Logics of Space with Connectedness Predicates: Complete Axiomatizations
Morphisms on Bi-approximation Semantics
Epistemic Probability Logic Simplified
Atom Structures
On Modal Logics of Hamming Spaces
Modal Logic, Fundamentally
ML is not finitely axiomatizable over Cheq
Hyper Arrow Structures. Arrow Logics~III
Bi-approximation Semantics for Substructural Logic at Work
Bimodal Logics for Reasoning About Continuous Dynamics
One Modal Logic to Rule Them All?
Semantic Characterization of Kracht Formulas
A Simple Semantics for Aristotelian Apodeictic Syllogistics
A Parametrized Propositional Dynamic Logic with Application to Service Synthesis
Logics of Knowability
Relevant Reasoners in a Classical World
Sahlqvist Theorems for Precontact Logics
Combinatorial Proofs for Constructive Modal Logic
A modal perspective on monadic second-order alternation hierarchies
The Complexity of Temporal Logic Model Checking
Submodel Enumeration of Kripke Structures in Modal Logic
Synthetic completeness proofs for Seligman-style tableau systems
Modal Logics in Dynamical Systems
First Steps in Synthetic Guarded Domain Theory
The succinctness of first-order logic over modal logic via a formula size game
Direct elimination of additive-cuts in GL4ip: verified and extracted
Update, Probability, Knowledge and Belief
On the Complexity of Modal Axiomatisations over Many-dimensional Structures
Lovász Theorems for Modal Languages
The Complexity of Reasoning with Boolean Modal Logics
Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics
On the intermediate logic of open subsets of metric spaces
On the Modularity of Theories
A Hypersequent Calculus with Clusters for Linear Frames
Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006
Expressiveness of Positive Coalgebraic Logic
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic
Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics
Modal logics for mereotopological relations
The Logic of Where and While in the 13th and 14th Centuries
Description Logics with Concrete Domains-A Survey
Modal inverse correspondence via ALBA
Indexical Hybrid Tense Logic
Towards Uniform Reasoning via Structured Subset Spaces
Existence, Definedness and Definite Descriptions in Hybrid Modal Logic
Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008
On Polarity Frames: Applications to Substructural and Lattice-based Logics
Mosaics and Cylindric Modal Logic of Dimension~2
Intuitionistic Modality and Beth Semantics
A Semantics for a Failed Axiomatization of K
Resolution for Synchrony and No Learning
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc
Indexed Frames and Hybrid Logics
Functional Completenes for a Natural Deduction Formulation of Hybridized S5
A Circular Proof System for the Hybrid μ-Calculus
Neighbourhood Frame Product KxK
The Expressive Power of Modal Dependence Logic
On the Axiomatisation of Common Knowledge
The Worm Calculus
A multi-modal logic for Galois connections
A decision procedure for alternation-free modal µ-calculi
The variety of modal FL ew -algebras is generated by its finite simple members
Actuality in Intuitionistic Logic
Some Truths Are Best Left Unsaid
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures
Resolution is a Decision Procedure for Many Propositional Modal Logics
Restricted Interpolation in Modal Logics
The Modal Logic of Almost Sure Frame Validities in the Finite
Regarding Overlaps in 'Topologic'
Controlled Model Exploration
Better Bounded Bisimulation Contractions
Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic
Consistency Proofs for Systems of Multi?agent Only Knowing
How to Complete Some Modal Predicate Logics
Modal logic and the polynomial hierarchy: from QBFs to K and back
Some Exponential Lower Bounds on Formula-size in Modal Logic
Relational Semantics for the Turing Schmerl Calculus
William of Sherwood on Necessity and Contingency
Towards Dynamic Distributed Knowledge
Local Dependence and Guarding
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus
Outline of a Logic of Action
The Semantics of Modal Predicate Logic I. Counterpart-Frames
An Extension of Connexive Logic C
Medvedev logic is the logic of finite distributive lattices without top element
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL
Public Announcements and Belief Expansion
Logic and Syntax-A Personal Perspective
A Systematic Proof Theory for Several Modal Logics
A Co-Variety-Theorem for Modal Logic
Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics
Chronological Future Modality in Minkowski Spacetime
Interpolation and Beth Definability over the Minimal Logic
Logics of Infinite Depth
Homophonic Theory of Truth for Tense Logic
Relevant Agents
A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5
Locales, Nuclei, and Dragalin Frames
Model Completeness and Π 2 -rules: The Case of Contact Algebras
Filtration via Bisimulation
On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics
On the Proof Theory of Apodictic Syllogistic
General Dynamic Dynamic Logic
Label-free Modular Systems for Classical and Intuitionistic Modal Logics
Distributive Substructural Logics as Coalgebraic Logics over Posets
Terminating modal tableaux with simple completeness proof
Future Event Logic - Axioms and Complexity
Finitely-Valued Propositional Dynamic Logic
Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom
On Arithmetical Completeness of First-Order Logics of Provability
Informative Presupposition in Inquisitive Logic
Operations on Proofs that can be Specified by Means of Modal Logic
Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction Systems
Decidable first-order modal logics with counting quantifiers
Verification logic: An arithmetical interpretation for negative introspection
On axiomatising products of Kripke frames, part II
Parametrized modal logic I: An introduction
Abductive Reasoning over Temporal Specifications of Objects
Proof systems for the coalgebraic cover modality
A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames
Bisimulation for Impure Simplicial Complexes
An Epistemic Interpretation of Tensor Disjunction
Partiality and Adjointness in Modal Logic
Non-finite Axiomatizability of Dynamic Topological Logic
On the Deterministic Horn Fragment of Test-free PDL
S5 × S5 × S5 Lacks the Finite Model Property
On Modal Logic, IF Logic, and IF Modal Logic
Justifications, Ontology, and Conservativity
Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting
Frame-Validity Games and Absolute Minimality of Modal Axioms
Axiomatic and Tableau-Based Reasoning for Kt(H, R)
Canonicity Frameworks and Ultraproducts of Polarities
Filtration Safe Operations on Frames
On the Logics with Propositional Quantifiers Extending S5Π
Utilitarian Deontic Logic
Taming Bounded Depth with Nested Sequents
Reduction of Modal Logic and Realization in Justification Logic
A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality
Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012
Sahlqvist Formulas Unleashed in Polyadic Modal Languages
Evidence Logic: A New Look at Neighborhood Structures
Dznamics of Practical Reasoning: A Position Paper
Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics
Point-Set Neighborhood Logic
Understanding XAI Through the Philosopher's Lens: A Historical Perspective
Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024
Can Knowledge Graphs and Retrieval-Augmented Generation be combined to Explain Query/Answer Relationships Truthfully?
A Hybrid Question Answering Model with Ontological Integration for Environmental Information
Drug Repurposing Hypothesis Validation with Knowledge-infused Explanations
Building a Temporal Knowledge Graph for Electronic Health Records
Towards a BFO-based Ontology of Understanding in Explanatory Interactions
Neurosymbolic Visual Commonsense
Exploration of Core Concepts Required for Mid- and Domain-level Ontology Development to Facilitate Explainable-AI-readiness of Data and Models
Interpretable Classifiers for Tabular Data via Feature Selection and Discretization
ERP Clients: Browser-Based or Dedicated: Do We Need Both? - An Evaluation Based on User Perceptions
Returning Lost Elements in the Sales Process: Manum Dare
Knowledge-intensive Business Processes - A Case Study for Disease Management in Farming
Analysis Pattern for the Transformation of ERP System Landscapes by SaaS
Research Challenges of Industry 4.0 for Quality Management
Design of a Questionnaire on Testing in ERP Projects
Is SAP HANA Useful for Optimization? An Exploration of LP Implementation Alternatives
Does Predefined ERP Implementation Methodology Work for Public Companies in Transitioning Country?
Integrated Campus Portal
Security Aspects and Models in Cooperative Production Processes
Key Factors for Successful ERP Implementation: Case Studies from Private and Public Organizations in Thailand
On the Trade-Off Between Flexibility and Extensionality in the Decomposition of Business Process Models
Towards Rigid Actor Assignment in Dynamic Workflows
ERP-Adoption Within SME - Challenging the Existing Body of Knowledge with a Recent Case
ERP-End-User Training Through E-Learning: What Should the User Focus On?
Significance of Quality 4.0 in Post Merger Process Harmonization
Challenge Detailed Planning in ERP
Towards a Framework and Platform for Mobile, Distributed Workflow Enactment Services on a Possible Future of ERP Infrastructure
Towards Flexible Business Processes by Supporting Self-Organizing Groups
Utilizing Enterprise Resource Planning in Decision-Making Processes
Novel Methods and Technologies for Enterprise Information Systems, ERP Future 2013 Conference, Vienna, Austria, November 2013, Revised Papers
Social Content Management Systems: Challenges and Potential for Organizations
Considering Cultural Issues of ERP System Utilization: A Company-Based Perspective
Weaving Social Software Features into Enterprise Resource Planning Systems
Conception of a Novel Open Source Environmental Management Information System Design to Assess the Availability of Resources: Status Quo and Directions for Future Research
Elicitation of Processes in Business Process Management in the Era of Digitization - The Same Techniques as Decades Ago?
Critical Success Factors for ERP Projects in Small and Medium-Sized Enterprises - The Perspective of Selected ERP System Vendors
Business Process Management for Knowledge Work: Considerations on Current Needs, Basic Concepts and Models
Potential Benefits of Using Social Software in ERP-Based Business Process Management
Impacts of SAP HANA on Business Intelligence (BI) Strategy Formulation
Towards Information Management Support in Test and Piloting of Complex Mechatronic Systems: An Industry Case Study
A Team-Oriented Investigation of ERP Post-Implementation Integration Projects: How Cross-Functional Collaboration Influences ERP Benefits
Flexibility and Improved Resource Utilization Through Cloud Based ERP Systems: Critical Success Factors of SaaS Solutions in SME
Master Data Quality in the Era of Digitization - Toward Inter-organizational Master Data Quality in Value Networks: A Problem Identification
ERP Future 2013
A Business View on Testing ERP Systems with Value-Based Requirements Coverage
Business Process Model Semantics in BPMN
Towards Collaborative Requirements Engineering Tool for ERP Product Customization
Embedded eLearning - on Demand Improvement of ERP Competences
Qualitative Analysis of Different ERP Evaluation Models
Integration of Risk Aspects into Business Process Modeling
Vertical Integration and Adaptive Services in Networked Production Environments
Integration of Open Source Systems for SME
Fact Based Modeling in the Cloud
Innovations in Enterprise Information Systems Management and Engineering - 5th International Conference, ERP Future 2016 - Research, Hagenberg, Austria, November 14, 2016, Revised Papers
ERP-Planning Garbage: Realizing and Preventing
A Generic Model for Selecting an ERP Implementation Strategy
Towards Total Budgeting and the Interactive Budget Warehouse
A Quality Analysis Procedure for Request Data of ERP Systems
Security-Based Approach for Transformations of Mobile Accesses to ERP Systems
Refinement of BPMN 2.0 Inclusive and Complex Gateway Activation Concept Towards Process Engine
Understanding the Flexibility of Cloud ERP Software
Multidimensional Views on Enterprise Information Systems, Proceedings of ERP Future 2014, Dornbirn, Austria, November 17-18, 2014
Public Sector Performance Management: Evaluating the Organisational Outcome of a Business Intelligence Based Budget Information System in the Context of a Federal Ministry
How to Consider Supply Uncertainty of Renewable Resources in the Basic Data Structures of ERP-Systems
A Practical Approach for Process Mining in Production Processes
A Fact-Based Meta Model for BPMN
Towards Differentiating Business Intelligence, Big Data, Data Analytics and Knowledge Discovery
Towards a Concept for Enterprise Systems Landscape Testing
Crossing the Boundaries: e-Invoicing/e-Procurement as Native ERP Features
Is There an Impact of ERP Learners Training Behavior on Acquired Skills
Automated Testing of ERP GUI: A Cost-Benefit Analysis
Towards a Generic Resource Booking Management System