Frank Wolter

From MaRDI portal
Person:239516

Available identifiers

zbMath Open wolter.frankWikidataQ102123504 ScholiaQ102123504MaRDI QIDQ239516

List of research outcomes

PublicationDate of PublicationType
A non-uniform view of Craig interpolation in modal logics with linear frames2023-12-10Paper
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions2023-11-03Paper
Ontology-mediated query answering over temporal data: a survey (invited talk)2023-02-03Paper
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries2023-01-09Paper
Logical separability of labeled data examples under ontologies2022-11-08Paper
Ontology-Based Data Access2021-11-25Paper
First-order rewritability of ontology-mediated queries in linear temporal logic2021-11-02Paper
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment2020-09-11Paper
A tour of Franz Baader's contributions to knowledge representation and automated deduction2020-06-04Paper
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS2020-04-06Paper
https://portal.mardi4nfdi.de/entity/Q52329052019-09-13Paper
Query inseparability for \(\mathcal{ALC}\) ontologies2019-08-28Paper
https://portal.mardi4nfdi.de/entity/Q52245792019-07-24Paper
https://portal.mardi4nfdi.de/entity/Q45585282018-11-22Paper
https://portal.mardi4nfdi.de/entity/Q45967842017-12-11Paper
https://portal.mardi4nfdi.de/entity/Q52829902017-07-18Paper
Undecidability of the unification and admissibility problems for modal and description logics2017-07-12Paper
On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems2017-06-13Paper
Logics of metric spaces2017-06-13Paper
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey2017-03-30Paper
Query and Predicate Emptiness in Ontology-Based Data Access2016-05-11Paper
Automata for Ontologies2016-04-13Paper
Games for query inseparability of description logic knowledge bases2016-03-08Paper
Model-theoretic inseparability and modularity of description logic ontologies2015-06-26Paper
On the Blok-Esakia Theorem2015-06-19Paper
Decidability of Circumscribed Description Logics Revisited2015-02-04Paper
https://portal.mardi4nfdi.de/entity/Q28518212013-10-04Paper
Logical Difference Computation with CEX2.52012-09-05Paper
The Logical Difference for the Lightweight Description Logic EL2012-08-27Paper
https://portal.mardi4nfdi.de/entity/Q29040592012-08-05Paper
Foundations of instance level updates in expressive description logics2012-05-23Paper
A modal logic framework for reasoning about comparative distances and topology2011-08-26Paper
https://portal.mardi4nfdi.de/entity/Q30125292011-07-06Paper
Enriching [Escr [Lscr ]-Concepts with Greatest Fixpoints]2011-05-11Paper
Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.2011-05-06Paper
https://portal.mardi4nfdi.de/entity/Q30851652011-03-30Paper
Logic-based ontology comparison and module extraction, with an application to DL-Lite2011-01-31Paper
Spatial logics with connectedness predicates2010-09-21Paper
Automated Reasoning with Analytic Tableaux and Related Methods2010-03-09Paper
https://portal.mardi4nfdi.de/entity/Q34081282010-02-24Paper
The Complexity of Circumscription in DLs2009-12-10Paper
Deciding inseparability and conservative extensions in the description logic2009-12-03Paper
Axiomatizing Distance Logics2009-11-30Paper
Mathematical Logic for Life Science Ontologies2009-07-02Paper
Formal Properties of Modularisation2009-06-09Paper
On the Computational Complexity of Spatial Logics with Connectedness Constraints2009-01-27Paper
The Logical Difference Problem for Description Logic Terminologies2008-11-27Paper
Reasoning About Actions Using Description Logics with General TBoxes2008-10-30Paper
Automated Reasoning About Metric and Topology2008-10-30Paper
https://portal.mardi4nfdi.de/entity/Q35090532008-07-01Paper
https://portal.mardi4nfdi.de/entity/Q35090592008-07-01Paper
https://portal.mardi4nfdi.de/entity/Q35090662008-07-01Paper
Comparative Similarity, Tree Automata, and Diophantine Equations2008-05-27Paper
A Logic for Concepts and Similarity2007-12-12Paper
Modal Logics of Topological Relations2007-10-11Paper
ATL Satisfiability is Indeed EXPTIME-complete2007-04-13Paper
Quantitative temporal logics over the reals: PSpace and below2007-02-19Paper
On dynamic topological and metric logics2007-02-13Paper
Automated Deduction – CADE-202006-11-01Paper
Willem Blok and modal logic2006-10-27Paper
Non-primitive recursive decidability of products of modal logics with expanding domains2006-09-14Paper
All finitely axiomatizable tense logics of linear time flows are coNP-complete2006-03-17Paper
\({\mathcal E}\)-connections of abstract description systems2006-02-07Paper
A logic for metric and topology2006-01-16Paper
Products of ‘transitive” modal logics2006-01-16Paper
https://portal.mardi4nfdi.de/entity/Q57156952006-01-04Paper
Temporalising tableaux2004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44606782004-03-29Paper
Many-dimensional modal logics: theory and applications2004-02-17Paper
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case2003-08-24Paper
https://portal.mardi4nfdi.de/entity/Q47089102003-06-20Paper
A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains2003-03-12Paper
Multi-dimensional modal logic as a framework for spatio-temporal reasoning2003-03-12Paper
https://portal.mardi4nfdi.de/entity/Q47894502003-01-29Paper
https://portal.mardi4nfdi.de/entity/Q47833122002-12-04Paper
Axiomatizing the monodic fragment of first-order temporal logic2002-12-02Paper
Decidable fragments of first-order temporal logics2002-11-28Paper
https://portal.mardi4nfdi.de/entity/Q43292482002-09-25Paper
https://portal.mardi4nfdi.de/entity/Q45396022002-07-10Paper
https://portal.mardi4nfdi.de/entity/Q45363152002-06-25Paper
https://portal.mardi4nfdi.de/entity/Q45363352002-06-25Paper
https://portal.mardi4nfdi.de/entity/Q45333432002-06-10Paper
Common knowledge and quantification2002-05-21Paper
First-order expressivity for S5-models: Modal vs. two-sorted languages2002-04-11Paper
https://portal.mardi4nfdi.de/entity/Q27824982002-04-03Paper
Decidable fragments of first-order modal logics2002-03-26Paper
The algebraic face of minimality2002-01-31Paper
https://portal.mardi4nfdi.de/entity/Q27362182001-08-29Paper
The product of converse PDL and polymodal K2001-05-02Paper
Simulation and transfer results in modal logic -- a survey2001-03-04Paper
https://portal.mardi4nfdi.de/entity/Q42156112001-03-04Paper
https://portal.mardi4nfdi.de/entity/Q49420022001-02-26Paper
Superintuitionistic companions of classical modal logics2001-01-11Paper
First order common knowledge logics2000-10-03Paper
https://portal.mardi4nfdi.de/entity/Q49486902000-04-13Paper
https://portal.mardi4nfdi.de/entity/Q49396612000-03-15Paper
https://portal.mardi4nfdi.de/entity/Q47040661999-12-02Paper
https://portal.mardi4nfdi.de/entity/Q42500431999-10-18Paper
Speaking about transitive frames in propositional languages1999-09-02Paper
Normal monomodal logics can simulate all others1999-06-29Paper
On logics with coimplication1999-03-09Paper
A note on atoms in polymodal algebras1998-11-23Paper
All finitely axiomatizable subframe logics containing the provability logic CSM\(_0\) are decidable1998-10-25Paper
Completeness and decidability of tense logics closely related to logics above K41998-07-20Paper
A note on the interpolation property in tense logic1998-03-17Paper
The structure of lattices of subframe logics1997-12-14Paper
A counterexample in tense logic1997-06-26Paper
Tense Logic Without Tense Operators1997-03-19Paper
Properties of Tense Logics1996-12-12Paper
The finite model property in tense logic1995-12-19Paper
https://portal.mardi4nfdi.de/entity/Q48344841995-08-27Paper
What is the upper part of the lattice of bimodal logics?1995-06-13Paper
Solution to a Problem of Goranko and Passy1994-06-05Paper
Properties of independently axiomatizable bimodal logics1992-06-27Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Frank Wolter