Notice: Unexpected clearActionName after getActionName already called in /var/www/html/includes/context/RequestContext.php on line 338
Michael Zakharyashchev - MaRDI portal

Michael Zakharyashchev

From MaRDI portal
(Redirected from Person:1422048)
Person:1181481

Available identifiers

zbMath Open zakharyaschev.michaelWikidataQ102302993 ScholiaQ102302993MaRDI QIDQ1181481

List of research outcomes

PublicationDate of PublicationType
A non-uniform view of Craig interpolation in modal logics with linear frames2023-12-10Paper
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic2023-10-02Paper
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic2023-08-28Paper
Deciding FO-definability of regular languages2023-03-30Paper
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course2023-03-24Paper
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
A tetrachotomy of ontology-mediated queries with a covering axiom2022-07-08Paper
First-order rewritability of ontology-mediated queries in linear temporal logic2021-11-02Paper
Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna2020-06-04Paper
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS2020-04-06Paper
Query inseparability for \(\mathcal{ALC}\) ontologies2019-08-28Paper
https://portal.mardi4nfdi.de/entity/Q52245792019-07-24Paper
Ontology-Mediated Queries2019-02-25Paper
Querying Log Data with Metric Temporal Logic2018-09-06Paper
On the succinctness of query rewriting over shallow ontologies2018-04-23Paper
Horn Fragments of the Halpern-Shoham Interval Temporal Logic2017-10-16Paper
Undecidability of the unification and admissibility problems for modal and description logics2017-07-12Paper
Logics of metric spaces2017-06-13Paper
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey2017-03-30Paper
On the complexity of (restricted) AlCIr2016-06-27Paper
Games for query inseparability of description logic knowledge bases2016-03-08Paper
Topological Logics with Connectedness over Euclidean Spaces2015-09-17Paper
A Cookbook for Temporal Conceptual Data Modelling with Description Logics2015-09-17Paper
On the Blok-Esakia Theorem2015-06-19Paper
Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces2014-10-27Paper
The price of query rewriting in ontology-based data access2014-06-10Paper
The Complexity of Clausal Fragments of LTL2014-01-17Paper
A Decidable Extension of SROIQ with Complex Role Chains and Unions2013-09-06Paper
Exponential Lower Bounds and Separation for Query Rewriting2012-11-01Paper
https://portal.mardi4nfdi.de/entity/Q29040592012-08-05Paper
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models2011-10-07Paper
A modal logic framework for reasoning about comparative distances and topology2011-08-26Paper
https://portal.mardi4nfdi.de/entity/Q30125292011-07-06Paper
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
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles2010-01-07Paper
The DL-Lite Family and Relations2009-12-10Paper
Axiomatizing Distance Logics2009-11-30Paper
On the Computational Complexity of Spatial Logics with Connectedness Constraints2009-01-27Paper
Automated Reasoning About Metric and Topology2008-10-30Paper
Temporalising Logics: Fifteen Years After2008-09-16Paper
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
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
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables2006-02-08Paper
\({\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
https://portal.mardi4nfdi.de/entity/Q54654432005-08-22Paper
Temporalising tableaux2004-08-06Paper
Many-dimensional modal logics: theory and applications2004-02-17Paper
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
On the Products of Linear Modal Logics2003-01-07Paper
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/Q43292292002-10-08Paper
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
Common knowledge and quantification2002-05-21Paper
https://portal.mardi4nfdi.de/entity/Q27824982002-04-03Paper
Decidable fragments of first-order modal logics2002-03-26Paper
https://portal.mardi4nfdi.de/entity/Q49420022001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q43949232001-01-29Paper
https://portal.mardi4nfdi.de/entity/Q49486902000-04-13Paper
https://portal.mardi4nfdi.de/entity/Q49396612000-03-15Paper
https://portal.mardi4nfdi.de/entity/Q47031371999-12-14Paper
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
The greatest extension of S4 into which intuitionistic logic is embeddable1999-07-20Paper
Canonical formulas for K4. Part III: the finite model property1998-07-20Paper
Canonical formulas for K4. Part II: Cofinal subframe logics1998-02-11Paper
https://portal.mardi4nfdi.de/entity/Q31289591997-04-24Paper
On the Independent Axiomatizability of Modal and Intermediate Logics1997-02-24Paper
https://portal.mardi4nfdi.de/entity/Q48739681996-09-22Paper
A new solution to a problem of Hosoi and Ono1996-05-13Paper
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable1995-02-20Paper
A Sufficient Condition for the Finite Model Property of Modal Logics above K41994-11-24Paper
The undecidability of the disjunction property of propositional logics and other related problems1994-01-26Paper
Canonical formulas for K4. Part I: Basic results1993-04-01Paper
Modal companions of intermediate propositional logics1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40030061992-09-18Paper
The disjunction property of intermediate propositional logics1992-06-27Paper
https://portal.mardi4nfdi.de/entity/Q34752471990-01-01Paper
MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS1990-01-01Paper
Syntax and semantics of superintuitionistic logics1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42041331989-01-01Paper
Syntax and semantics of modal logics containing S41988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42041321988-01-01Paper
Disjunctive property of superintuitionist and modal logics1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37832731987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37879751987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37260831984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33408371983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32063471978-01-01Paper

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: Michael Zakharyashchev