Edit Profile (opens in new tab) Zakharyaschev, Michael Viktorovich Compute Distance To: Compute Author ID: zakharyaschev.michael Published as: Zakharyaschev, Michael; Zakharyaschev, M.; Zakhar’yashchev, M. V.; Zakhar’yashchev, Mikhail; Zakharyashchev, Michael; Zakharyashchev, Mikhail; Zakharyashchev, M. V.; Zakharyashchev, M. Homepage: http://www.dcs.bbk.ac.uk/~michael/ External Links: MGP · ORCID · Wikidata · Google Scholar · dblp Documents Indexed: 105 Publications since 1978, including 4 Books 7 Contributions as Editor Reviewing Activity: 39 Reviews Co-Authors: 55 Co-Authors with 94 Joint Publications 1,089 Co-Co-Authors all top 5 Co-Authors 18 single-authored 57 Wolter, Frank 22 Kontchakov, Roman 11 Kurucz, Agi 11 Ryzhikov, Vladislav 8 Chagrov, Aleksandr Vasil’evich 8 Lutz, Carsten 7 Artale, Alessandro 7 Kikot, Stanislav 7 Sturm, Holger 5 Pratt-Hartmann, Ian 4 de Rijke, Maarten 4 Konev, Boris 4 Podol’skiĭ, Vladimir Vladimirovich 4 Sheremet, Mikhail Sergeevich 4 Suzuki, Nobu-Yuki 4 Tishkovsky, Dmitry 4 Wansing, Heinrich Theodor 3 Botoeva, Elena 3 Gabbay, Dov M. 3 Gabelaia, David 3 Hodkinson, Ian Martin 3 Kutz, Oliver 2 Brandt, Sebastian F. 2 Calvanese, Diego 2 Goncharov, Sergeĭ Savost’yanovich 2 Kalaycı, Elem Güzel 2 Mosurović, Milenko 2 Reynolds, Mark Alexander 2 Segerberg, Krister 2 Suzuki, Yasuhito 2 Xiao, Guohui 1 Alekseev, Alexander A. 1 Balbiani, Philippe 1 Bennett, Brandon 1 Bezhanishvili, Guram 1 Bienvenu, Meghyn 1 Bresolin, Davide 1 Cohn, Anthony G. 1 Franconi, Enrico 1 Gerasimova, Olga 1 Ghilardi, Silvio 1 Gottlob, Georg 1 Graves, Henson 1 Hustadt, Ullrich 1 Kovtunova, Alisa 1 Kracht, Marcus 1 Krdžavac, Nenad 1 Muñoz-Velasco, Emilio 1 Nabebin, A. A. 1 Nenov, Yavor 1 Popov, Sergey V. 1 Rautenberg, Wolfgang 1 Schwentick, Thomas 1 Sciavicco, Guido 1 Tanaka, Yoshihito all top 5 Serials 8 The Journal of Symbolic Logic 7 Artificial Intelligence 7 Studia Logica 5 Journal of Logic and Computation 5 ACM Transactions on Computational Logic 4 Annals of Pure and Applied Logic 4 The Journal of Artificial Intelligence Research (JAIR) 2 Algebra and Logic 2 Algebra i Logika 2 Soviet Mathematics. Doklady 2 RIMS Kokyuroku 2 CSLI Lecture Notes 1 Mathematical Notes 1 Matematicheskie Zametki 1 Notre Dame Journal of Formal Logic 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Applied Intelligence 1 Mathematics of the USSR, Sbornik 1 Matematicheskiĭ Sbornik 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Bulletin of the IGPL 1 Mathematical Logic Quarterly (MLQ) 1 Economic Theory 1 The Bulletin of Symbolic Logic 1 Journal of the ACM 1 International Journal of Applied Mathematics and Computer Science 1 Fundamenta Informaticae 1 Bulletin of the Section of Logic 1 Oxford Logic Guides 1 Studies in Logic and the Foundations of Mathematics 1 Logical Methods in Computer Science all top 5 Fields 89 Mathematical logic and foundations (03-XX) 55 Computer science (68-XX) 8 General topology (54-XX) 7 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 95 Publications have been cited 1,040 times in 678 Documents Cited by ▼ Year ▼ Modal logic. Zbl 0871.03007Chagrov, Alexander; Zakharyaschev, Michael 263 1997 Many-dimensional modal logics: theory and applications. Zbl 1051.03001Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 138 2003 The DL-Lite family and relations. Zbl 1192.68657Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M. 47 2009 Decidable fragments of first-order temporal logics. Zbl 0999.03015Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 38 2000 Advanced modal logic. 2nd ed. Zbl 1003.03516Zakharyaschev, M.; Wolter, F.; Chagrov, A. 26 2001 Canonical formulas for K4. I: Basic results. Zbl 0774.03005Zakhar’yashchev, Mikhail 23 1992 Canonical formulas for K4. II: Cofinal subframe logics. Zbl 0884.03014Zakharyaschev, Michael 21 1996 Modal companions of intermediate propositional logics. Zbl 0766.03015Chagrov, Aleksander; Zakharyashchev, Mikhail 19 1992 Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael 18 2010 The disjunction property of intermediate propositional logics. Zbl 0739.03016Chagrov, Alexander; Zakharyashchev, Michael 16 1991 Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 15 2005 Axiomatizing the monodic fragment of first-order temporal logic. Zbl 1031.03023Wolter, Frank; Zakharyaschev, Michael 15 2002 Intuitionistic modal logics as fragments of classical bimodal logics. Zbl 0922.03023Wolter, Frank; Zakharyaschev, Michael 13 1999 Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Zbl 1051.03019Bennett, Brandon; Cohn, Anthony G.; Wolter, Frank; Zakharyaschev, Michael 13 2002 Syntax and semantics of superintuitionistic logics. Zbl 0708.03011Zakhar’yashchev, M. V. 12 1989 Intuitionistic modal logic. Zbl 0955.03029Wolter, Frank; Zakharyaschev, Michael 12 1999 On the products of linear modal logics. Zbl 1002.03017Reynolds, Mark; Zakharyaschev, Michael 12 2001 Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026Wolter, Frank; Zakharyaschev, Michael 12 2008 The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009Chagrov, Alexander; Zakharyaschev, Michael 11 1993 Decidable fragments of first-order modal logics. Zbl 0996.03010Wolter, Frank; Zakharyaschev, Michael 10 2001 \({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 10 2004 Temporalizing description logics. Zbl 0994.03026Wolter, Frank; Zakharyaschev, Michael 9 2000 On dynamic topological and metric logics. Zbl 1114.03026Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 9 2006 Speaking about transitive frames in propositional languages. Zbl 0927.03036Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael 8 1998 Products of ‘transitive’ modal logics. Zbl 1103.03020Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 8 2005 A logic for concepts and similarity. Zbl 1144.03010Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M. 8 2007 The price of query rewriting in ontology-based data access. Zbl 1390.68246Gottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael 8 2014 Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 8 2001 The relation between intuitionistic and classical modal logics. Zbl 0937.03033Wolter, F.; Zakharyashchev, M. 7 1997 Querying log data with metric temporal logic. Zbl 1451.68087Brandt, Sebastian; Kalaycı, Elem Güzel; Ryzhikov, Vladislav; Xiao, Guohui; Zakharyaschev, Michael 7 2018 A temporal description logic for reasoning over conceptual schemas and queries. Zbl 1013.03027Artale, Alessandro; Franconi, Enrico; Wolter, Frank; Zakharyaschev, Michael 7 2002 Temporalising tableaux. Zbl 1050.03015Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 7 2004 Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 7 2006 Logics of metric spaces. Zbl 1365.68407Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael 7 2003 A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains. Zbl 1010.03012Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 6 2002 A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael 6 2010 The complexity of clausal fragments of LTL. Zbl 1433.03046Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 6 2013 A note on relativised products of modal logics. Zbl 1082.03018Kurucz, Agi; Zakharyaschev, Michael 6 2003 Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 6 2006 A cookbook for temporal conceptual data modelling with description logics. Zbl 1354.68245Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 6 2014 Games for query inseparability of description logic knowledge bases. Zbl 1351.68263Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 6 2016 On a disjunction property of superintuitionistic and modal logics. Zbl 0642.03015Zakhar’yashchev, M. V. 5 1987 Syntax and semantics of modal logics containing S4. Zbl 0686.03010Zakhar’yashchev, M. V. 5 1988 Modal description logics: Modalizing roles. Zbl 0951.03011Wolter, Frank; Zakharyaschev, Michael 5 1999 Monodic epistemic predicate logic. Zbl 0998.03011Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2000 Tableaux for temporal description logic with constant domains. Zbl 0988.68178Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2001 On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 5 2004 Common knowledge and quantification. Zbl 0994.03008Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2001 Conservative extensions in modal logic. Zbl 1148.03014Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M. 5 2006 Comparative similarity, tree automata, and Diophantine equations. Zbl 1143.68600Sheremet, Mikhail; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael 5 2005 Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael 5 2017 On intermediate logics. Zbl 0548.03009Zakhar’yashchev, M. V. 4 1983 All finitely axiomatizable normal extensions of K4.3 are decidable. Zbl 0818.03008Zakharyaschev, Michael; Alekseev, Alexander 4 1995 Spatial logics with connectedness predicates. Zbl 1201.68115Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 4 2010 On the Blok-Esakia theorem. Zbl 1350.03022Wolter, Frank; Zakharyaschev, Michael 4 2014 Canonical formulas for \(\mathbf K\mathbf 4\). III: The finite model property. Zbl 0893.03006Zakharyaschev, Michael 4 1997 Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\). Zbl 1252.68275Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 4 2010 Exponential lower bounds and separation for query rewriting. Zbl 1367.68089Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Zakharyaschev, Michael 4 2012 Axiomatizing distance logics. Zbl 1185.03034Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 4 2002 Topological logics with connectedness over Euclidean spaces. Zbl 1353.68267Kontchakov, Roman; Nenov, Yavor; Pratt-Hartmann, Ian; Zakharyaschev, Michael 4 2013 On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012Chagrov, A. V.; Zakharyashchev, M. V. 3 1990 Modal companions of superintuitionistic logics: Syntax, semantics, and preservation theorems. Zbl 0709.03017Zakhar’yashchev, M. V. 3 1990 On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017Chagrov, Alexander; Zakharyaschev, Michael 3 1995 On the succinctness of query rewriting over shallow ontologies. Zbl 1401.68316Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael 3 2014 Normal modal logics containing S4. Zbl 0595.03011Zakhar’yashchev, M. V. 3 1984 A sufficient condition for the finite model property of modal logics above \(K_ 4\). Zbl 0799.03010Zakharyaschev, Michael 3 1993 Topology, connectedness, and modal logic. Zbl 1244.03066Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 3 2008 Dynamic description logics. Zbl 0993.03043Wolter, Frank; Zakharyaschev, Michael 3 2001 Automated reasoning about metric and topology. Zbl 1152.68523Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael 3 2006 Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael 3 2005 Temporal logics over transitive states. Zbl 1135.03333Konev, Boris; Wolter, Frank; Zakharyaschev, Michael 3 2005 Inseparability and conservative extensions of description logic ontologies: a survey. Zbl 1358.68282Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 3 2017 Ontology-mediated queries. Combined complexity and succinctness of rewritings via circuit complexity. Zbl 1426.68075Bienvenu, Meghyn; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael 3 2018 Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Zbl 0897.00022 2 1998 Modal companions of superintuitionistic logics: Syntax, semantics and preservation theorems. Zbl 0686.03011Zakhar’yashchev, M. V. 2 1989 Tailoring temporal description logics for reasoning over temporal conceptual models. Zbl 1348.68235Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 2 2011 Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004Chagrov, Alexander; Zakharyaschev, Michael 2 1995 Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 2 2000 DL-Lite with temporalised concepts, rigid axioms and roles. Zbl 1193.68232Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 2 2009 Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Zbl 1444.03063Kikot, Stanislav; Kurucz, Agi; Tanaka, Yoshihito; Wolter, Frank; Zakharyaschev, Michael 2 2019 A new solution to a problem of Hosoi and Ono. Zbl 0837.03025Zakharyaschev, Michael 1 1994 Special issue: Selected papers of the 3rd international conference on temporal logic, ICTL’00, Leipzig, Germany, October 4–7, 2000. Zbl 0996.00513 1 2002 Logics over MIPC. Zbl 0940.03022Bezhanishvili, Guram; Zakharyaschev, Michael 1 1997 Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008 1 2003 A logic for metric and topology. Zbl 1089.03021Wolter, Frank; Zakharyaschev, Michael 1 2005 Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces. Zbl 1408.68138Kontchakov, Roman; Pratt-Hartmann, Ian; Zakharyaschev, Michael 1 2014 Canonical formulas for modal and superintuitionistic logics: A short outline. Zbl 0953.03025Zakharyaschev, Michael 1 1997 Modal logics for metric spaces: open problems. Zbl 1272.03101Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 1 2005 A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions. Zbl 1270.68298Mosurovic, Milenko; Krdzavac, Nenad; Graves, Henson; Zakharyaschev, Michael 1 2013 The origins of modern modal logic. Zbl 0994.03010Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich 1 2001 Mathematical problems from applied logic. I. Logics for the XXIst century. Zbl 1085.03002 1 2006 Willem Blok and modal logic. Zbl 1105.03020Rautenberg, W.; Zakharyaschev, M.; Wolter, F. 1 2006 On the computational complexity of spatial logics with connectedness constraints. Zbl 1182.68280Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 1 2008 A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 1 2003 On strictly positive modal logics with S4.3 frames. Zbl 1418.03091Kikot, Stanislav; Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 1 2018 Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Zbl 1444.03063Kikot, Stanislav; Kurucz, Agi; Tanaka, Yoshihito; Wolter, Frank; Zakharyaschev, Michael 2 2019 Querying log data with metric temporal logic. Zbl 1451.68087Brandt, Sebastian; Kalaycı, Elem Güzel; Ryzhikov, Vladislav; Xiao, Guohui; Zakharyaschev, Michael 7 2018 Ontology-mediated queries. Combined complexity and succinctness of rewritings via circuit complexity. Zbl 1426.68075Bienvenu, Meghyn; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael 3 2018 On strictly positive modal logics with S4.3 frames. Zbl 1418.03091Kikot, Stanislav; Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 1 2018 Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael 5 2017 Inseparability and conservative extensions of description logic ontologies: a survey. Zbl 1358.68282Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 3 2017 Games for query inseparability of description logic knowledge bases. Zbl 1351.68263Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 6 2016 The price of query rewriting in ontology-based data access. Zbl 1390.68246Gottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael 8 2014 A cookbook for temporal conceptual data modelling with description logics. Zbl 1354.68245Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 6 2014 On the Blok-Esakia theorem. Zbl 1350.03022Wolter, Frank; Zakharyaschev, Michael 4 2014 On the succinctness of query rewriting over shallow ontologies. Zbl 1401.68316Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael 3 2014 Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces. Zbl 1408.68138Kontchakov, Roman; Pratt-Hartmann, Ian; Zakharyaschev, Michael 1 2014 The complexity of clausal fragments of LTL. Zbl 1433.03046Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 6 2013 Topological logics with connectedness over Euclidean spaces. Zbl 1353.68267Kontchakov, Roman; Nenov, Yavor; Pratt-Hartmann, Ian; Zakharyaschev, Michael 4 2013 A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions. Zbl 1270.68298Mosurovic, Milenko; Krdzavac, Nenad; Graves, Henson; Zakharyaschev, Michael 1 2013 Exponential lower bounds and separation for query rewriting. Zbl 1367.68089Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Zakharyaschev, Michael 4 2012 Tailoring temporal description logics for reasoning over temporal conceptual models. Zbl 1348.68235Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 2 2011 Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael 18 2010 A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael 6 2010 Spatial logics with connectedness predicates. Zbl 1201.68115Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 4 2010 Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\). Zbl 1252.68275Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 4 2010 The DL-Lite family and relations. Zbl 1192.68657Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M. 47 2009 DL-Lite with temporalised concepts, rigid axioms and roles. Zbl 1193.68232Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 2 2009 Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026Wolter, Frank; Zakharyaschev, Michael 12 2008 Topology, connectedness, and modal logic. Zbl 1244.03066Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 3 2008 On the computational complexity of spatial logics with connectedness constraints. Zbl 1182.68280Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 1 2008 A logic for concepts and similarity. Zbl 1144.03010Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M. 8 2007 On dynamic topological and metric logics. Zbl 1114.03026Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 9 2006 Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 7 2006 Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 6 2006 Conservative extensions in modal logic. Zbl 1148.03014Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M. 5 2006 Automated reasoning about metric and topology. Zbl 1152.68523Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael 3 2006 Mathematical problems from applied logic. I. Logics for the XXIst century. Zbl 1085.03002 1 2006 Willem Blok and modal logic. Zbl 1105.03020Rautenberg, W.; Zakharyaschev, M.; Wolter, F. 1 2006 Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 15 2005 Products of ‘transitive’ modal logics. Zbl 1103.03020Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 8 2005 Comparative similarity, tree automata, and Diophantine equations. Zbl 1143.68600Sheremet, Mikhail; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael 5 2005 Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael 3 2005 Temporal logics over transitive states. Zbl 1135.03333Konev, Boris; Wolter, Frank; Zakharyaschev, Michael 3 2005 A logic for metric and topology. Zbl 1089.03021Wolter, Frank; Zakharyaschev, Michael 1 2005 Modal logics for metric spaces: open problems. Zbl 1272.03101Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 1 2005 \({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 10 2004 Temporalising tableaux. Zbl 1050.03015Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 7 2004 On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 5 2004 Many-dimensional modal logics: theory and applications. Zbl 1051.03001Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 138 2003 Logics of metric spaces. Zbl 1365.68407Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael 7 2003 A note on relativised products of modal logics. Zbl 1082.03018Kurucz, Agi; Zakharyaschev, Michael 6 2003 Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008 1 2003 A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 1 2003 Axiomatizing the monodic fragment of first-order temporal logic. Zbl 1031.03023Wolter, Frank; Zakharyaschev, Michael 15 2002 Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Zbl 1051.03019Bennett, Brandon; Cohn, Anthony G.; Wolter, Frank; Zakharyaschev, Michael 13 2002 A temporal description logic for reasoning over conceptual schemas and queries. Zbl 1013.03027Artale, Alessandro; Franconi, Enrico; Wolter, Frank; Zakharyaschev, Michael 7 2002 A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains. Zbl 1010.03012Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 6 2002 Axiomatizing distance logics. Zbl 1185.03034Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 4 2002 Special issue: Selected papers of the 3rd international conference on temporal logic, ICTL’00, Leipzig, Germany, October 4–7, 2000. Zbl 0996.00513 1 2002 Advanced modal logic. 2nd ed. Zbl 1003.03516Zakharyaschev, M.; Wolter, F.; Chagrov, A. 26 2001 On the products of linear modal logics. Zbl 1002.03017Reynolds, Mark; Zakharyaschev, Michael 12 2001 Decidable fragments of first-order modal logics. Zbl 0996.03010Wolter, Frank; Zakharyaschev, Michael 10 2001 Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 8 2001 Tableaux for temporal description logic with constant domains. Zbl 0988.68178Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2001 Common knowledge and quantification. Zbl 0994.03008Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2001 Dynamic description logics. Zbl 0993.03043Wolter, Frank; Zakharyaschev, Michael 3 2001 The origins of modern modal logic. Zbl 0994.03010Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich 1 2001 Decidable fragments of first-order temporal logics. Zbl 0999.03015Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 38 2000 Temporalizing description logics. Zbl 0994.03026Wolter, Frank; Zakharyaschev, Michael 9 2000 Monodic epistemic predicate logic. Zbl 0998.03011Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2000 Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 2 2000 Intuitionistic modal logics as fragments of classical bimodal logics. Zbl 0922.03023Wolter, Frank; Zakharyaschev, Michael 13 1999 Intuitionistic modal logic. Zbl 0955.03029Wolter, Frank; Zakharyaschev, Michael 12 1999 Modal description logics: Modalizing roles. Zbl 0951.03011Wolter, Frank; Zakharyaschev, Michael 5 1999 Speaking about transitive frames in propositional languages. Zbl 0927.03036Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael 8 1998 Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Zbl 0897.00022 2 1998 Modal logic. Zbl 0871.03007Chagrov, Alexander; Zakharyaschev, Michael 263 1997 The relation between intuitionistic and classical modal logics. Zbl 0937.03033Wolter, F.; Zakharyashchev, M. 7 1997 Canonical formulas for \(\mathbf K\mathbf 4\). III: The finite model property. Zbl 0893.03006Zakharyaschev, Michael 4 1997 Logics over MIPC. Zbl 0940.03022Bezhanishvili, Guram; Zakharyaschev, Michael 1 1997 Canonical formulas for modal and superintuitionistic logics: A short outline. Zbl 0953.03025Zakharyaschev, Michael 1 1997 Canonical formulas for K4. II: Cofinal subframe logics. Zbl 0884.03014Zakharyaschev, Michael 21 1996 All finitely axiomatizable normal extensions of K4.3 are decidable. Zbl 0818.03008Zakharyaschev, Michael; Alekseev, Alexander 4 1995 On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017Chagrov, Alexander; Zakharyaschev, Michael 3 1995 Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004Chagrov, Alexander; Zakharyaschev, Michael 2 1995 A new solution to a problem of Hosoi and Ono. Zbl 0837.03025Zakharyaschev, Michael 1 1994 The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009Chagrov, Alexander; Zakharyaschev, Michael 11 1993 A sufficient condition for the finite model property of modal logics above \(K_ 4\). Zbl 0799.03010Zakharyaschev, Michael 3 1993 Canonical formulas for K4. I: Basic results. Zbl 0774.03005Zakhar’yashchev, Mikhail 23 1992 Modal companions of intermediate propositional logics. Zbl 0766.03015Chagrov, Aleksander; Zakharyashchev, Mikhail 19 1992 The disjunction property of intermediate propositional logics. Zbl 0739.03016Chagrov, Alexander; Zakharyashchev, Michael 16 1991 On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012Chagrov, A. V.; Zakharyashchev, M. V. 3 1990 Modal companions of superintuitionistic logics: Syntax, semantics, and preservation theorems. Zbl 0709.03017Zakhar’yashchev, M. V. 3 1990 Syntax and semantics of superintuitionistic logics. Zbl 0708.03011Zakhar’yashchev, M. V. 12 1989 Modal companions of superintuitionistic logics: Syntax, semantics and preservation theorems. Zbl 0686.03011Zakhar’yashchev, M. V. 2 1989 Syntax and semantics of modal logics containing S4. Zbl 0686.03010Zakhar’yashchev, M. V. 5 1988 On a disjunction property of superintuitionistic and modal logics. Zbl 0642.03015Zakhar’yashchev, M. V. 5 1987 Normal modal logics containing S4. Zbl 0595.03011Zakhar’yashchev, M. V. 3 1984 On intermediate logics. Zbl 0548.03009Zakhar’yashchev, M. V. 4 1983 all cited Publications top 5 cited Publications all top 5 Cited by 692 Authors 31 Bezhanishvili, Guram 30 Zakharyaschev, Michael Viktorovich 28 Wolter, Frank 26 Bezhanishvili, Nick 13 Balbiani, Philippe 11 Goldblatt, Robert Ian 11 Hodkinson, Ian Martin 10 Lutz, Carsten 9 Citkin, Alex 9 Gabelaia, David 9 Iemhoff, Rosalie 9 Kontchakov, Roman 9 Kurucz, Agi 9 Lucero-Bryan, Joel Gregory 9 Ryzhikov, Vladislav 8 Dixon, Clare 8 Konev, Boris 7 Artale, Alessandro 7 Demri, Stéphane P. 7 Fiorentini, Camillo 7 Ghilardi, Silvio 7 Jeřábek, Emil 7 Kamide, Norihiro 7 Kikot, Stanislav 7 Maksimova, Larisa L’vovna 7 Schmidt, Renate A. 7 Venema, Yde 7 Yashin, Aleksandr D. 6 Baader, Franz 6 Calvanese, Diego 6 Celani, Sergio Arturo 6 Fernández Duque, David 6 Ferrari, Mauro 6 Fiorino, Guido 6 Gencer, Çigdem 6 Gonçalves, Ricardo 6 Knorr, Matthias 6 Leite, João 6 Muñoz-Velasco, Emilio 6 Rybakov, Vladimir Vladimirovich 6 Sciavicco, Guido 5 Beklemishev, Lev D. 5 Chagrov, Aleksandr Vasil’evich 5 Cuenca Grau, Bernardo 5 Gabbay, Dov M. 5 Goudsmit, Jeroen P. 5 Hustadt, Ullrich 5 Kutz, Oliver 5 Marcelino, Sérgio 5 Moraschini, Tommaso 5 Sano, Katsuhiko 5 Tao, Jia 5 Tishkovsky, Dmitry 5 van Benthem, Johan F. A. K. 5 Yu, Junhua 4 Badia, Guillermo 4 Belardinelli, Francesco 4 Benevides, Mario R. F. 4 Benferhat, Salem 4 Botoeva, Elena 4 Conradie, Willem 4 Esakia, Leo 4 Grant, John R. 4 Holliday, Wesley H. 4 Humberstone, Lloyd 4 Kremer, Philip 4 Litak, Tadeusz 4 Löwe, Benedikt 4 Metcalfe, George 4 Olivetti, Nicola 4 Palmigiano, Alessandra 4 Rivieccio, Umberto 4 Sala, Pietro 4 Valencia, Frank D. 4 van der Hoek, Wiebe 4 van Mill, Jan 4 Wang, Kewen 4 Wang, Zhe 3 Alenda, Régis 3 Artemov, Sergei 3 Bonatti, Piero Andrea 3 Bouraoui, Zied 3 Bresolin, Davide 3 Broersen, Jan M. 3 Caleiro, Carlos 3 Drobyshevich, Sergeĭ Andreevich 3 Gehrke, Mai 3 Godo, Lluís 3 Gottlob, Georg 3 Guzmán, Michell 3 Gyenis, Zalán 3 Hampson, Christopher 3 Hirsch, Robin 3 Horrocks, Ian 3 Hussak, Walter 3 Kaminski, Mark 3 Karpenko, Anastasia Valer’evna 3 Kowalski, Tomasz 3 Lomuscio, Alessio 3 Lukyanchuk, Alexandra N. ...and 592 more Authors all top 5 Cited in 75 Serials 73 Studia Logica 50 Annals of Pure and Applied Logic 32 Artificial Intelligence 27 The Journal of Symbolic Logic 23 Notre Dame Journal of Formal Logic 23 Journal of Applied Non-Classical Logics 22 Journal of Philosophical Logic 22 The Review of Symbolic Logic 21 Journal of Applied Logic 19 Theoretical Computer Science 15 Archive for Mathematical Logic 14 Information and Computation 14 Journal of Automated Reasoning 14 Annals of Mathematics and Artificial Intelligence 12 Algebra and Logic 12 International Journal of Approximate Reasoning 11 Logica Universalis 10 The Bulletin of Symbolic Logic 9 Journal of Logic, Language and Information 9 ACM Transactions on Computational Logic 8 Algebra Universalis 8 Synthese 8 Logical Methods in Computer Science 7 Siberian Mathematical Journal 5 Mathematical Notes 5 Journal of Logical and Algebraic Methods in Programming 4 Fuzzy Sets and Systems 4 Information Sciences 4 Logic and Logical Philosophy 4 Theory and Practice of Logic Programming 3 Advances in Mathematics 3 Journal of Computer and System Sciences 3 Transactions of the American Mathematical Society 3 Bulletin of the Section of Logic 3 Order 3 MSCS. Mathematical Structures in Computer Science 3 International Journal of Computer Mathematics 3 Indagationes Mathematicae. New Series 3 Theory of Computing Systems 3 Erkenntnis 2 Information Processing Letters 2 Problems of Information Transmission 2 International Journal of Algebra and Computation 2 Mathematical Logic Quarterly (MLQ) 2 The Journal of Artificial Intelligence Research (JAIR) 2 Soft Computing 2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 2 Frontiers of Computer Science 2 Journal of Siberian Federal University. Mathematics & Physics 1 Israel Journal of Mathematics 1 Russian Mathematical Surveys 1 The Mathematical Intelligencer 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Mathematical Economics 1 Programming and Computer Software 1 Revista de la Unión Matemática Argentina 1 Journal of Computer Science and Technology 1 Algorithmica 1 SIAM Journal on Discrete Mathematics 1 Cybernetics and Systems Analysis 1 Applied Categorical Structures 1 Economic Theory 1 International Journal of Applied Mathematics and Computer Science 1 Fundamenta Informaticae 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 The Journal of Logic and Algebraic Programming 1 Journal of Machine Learning Research (JMLR) 1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 1 Computational Intelligence 1 Iranian Journal of Fuzzy Systems 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Proceedings of the Steklov Institute of Mathematics 1 International Journal of Intelligent Computing and Cybernetics 1 Games 1 Axioms all top 5 Cited in 26 Fields 564 Mathematical logic and foundations (03-XX) 245 Computer science (68-XX) 59 Order, lattices, ordered algebraic structures (06-XX) 36 General topology (54-XX) 15 General algebraic systems (08-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 General and overarching topics; collections (00-XX) 5 History and biography (01-XX) 4 Combinatorics (05-XX) 4 Relativity and gravitational theory (83-XX) 3 Statistics (62-XX) 2 Number theory (11-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Geometry (51-XX) 2 Information and communication theory, circuits (94-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.