Edit Profile Zakharyaschev, Michael Viktorovich Compute Distance To: Compute Author ID: zakharyaschev.michael Published as: Zakhar’yashchev, M. V.; Zakhar’yashchev, Mikhail; Zakharyaschev, M.; Zakharyaschev, Michael; Zakharyashchev, M.; Zakharyashchev, M. V.; Zakharyashchev, Michael; Zakharyashchev, Mikhail Homepage: http://www.dcs.bbk.ac.uk/~michael/ External Links: MGP · Wikidata · ORCID · dblp Documents Indexed: 111 Publications since 1978, including 10 Books Reviewing Activity: 39 Reviews all top 5 Co-Authors 18 single-authored 56 Wolter, Frank 21 Kontchakov, Roman 11 Kurucz, Agi 10 Ryzhikov, Vladislav 8 Chagrov, Aleksandr Vasil’evich 8 Lutz, Carsten 7 Kikot, Stanislav 7 Sturm, Holger 6 Artale, Alessandro 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 Bauer, Sebastian S. 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 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 Studia Logica 6 Artificial Intelligence 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) 54 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 92 Publications have been cited 985 times in 621 Documents Cited by ▼ Year ▼ Modal logic. Zbl 0871.03007Chagrov, Alexander; Zakharyaschev, Michael 246 1997 Many-dimensional modal logics: theory and applications. Zbl 1051.03001Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 132 2003 The DL-Lite family and relations. Zbl 1192.68657Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M. 42 2009 Decidable fragments of first-order temporal logics. Zbl 0999.03015Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 40 2000 Advanced modal logic. Zbl 1003.03516Zakharyaschev, M.; Wolter, F.; Chagrov, A. 25 2001 Canonical formulas for K4. I: Basic results. Zbl 0774.03005Zakhar’yashchev, Mikhail 22 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 18 1992 Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael 17 2010 The disjunction property of intermediate propositional logics. Zbl 0739.03016Chagrov, Alexander; Zakharyashchev, Michael 16 1991 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 14 1999 Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 13 2005 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 Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026Wolter, Frank; Zakharyaschev, Michael 11 2008 The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009Chagrov, Alexander; Zakharyaschev, Michael 11 1993 \({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 10 2004 On the products of linear modal logics. Zbl 1002.03017Reynolds, Mark; Zakharyaschev, Michael 10 2001 Decidable fragments of first-order modal logics. Zbl 0996.03010Wolter, Frank; Zakharyaschev, Michael 10 2001 Intuitionistic modal logic. Zbl 0955.03029Wolter, Frank; Zakharyaschev, Michael 10 1999 On dynamic topological and metric logics. Zbl 1114.03026Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 9 2006 Temporalizing description logics. Zbl 0994.03026Wolter, Frank; Zakharyaschev, Michael 9 2000 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 logic for concepts and similarity. Zbl 1144.03010Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M. 8 2007 Products of ‘transitive’ modal logics. Zbl 1103.03020Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 8 2005 Logics of metric spaces. Zbl 1365.68407Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael 8 2003 Speaking about transitive frames in propositional languages. Zbl 0927.03036Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael 8 1998 The relation between intuitionistic and classical modal logics. Zbl 0937.03033Wolter, F.; Zakharyashchev, M. 8 1997 Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 7 2006 Temporalising tableaux. Zbl 1050.03015Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 7 2004 A temporal description logic for reasoning over conceptual schemas and queries. Zbl 1013.03027Artale, Alessandro; Franconi, Enrico; Wolter, Frank; Zakharyaschev, Michael 7 2002 Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 7 2001 Games for query inseparability of description logic knowledge bases. Zbl 1351.68263Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 6 2016 A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael 6 2010 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 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 Modal description logics: Modalizing roles. Zbl 0951.03011Wolter, Frank; Zakharyaschev, Michael 6 1999 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 On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 5 2004 A note on relativised products of modal logics. Zbl 1082.03018Kurucz, Agi; Zakharyaschev, Michael 5 2003 Common knowledge and quantification. Zbl 0994.03008Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2001 Monodic epistemic predicate logic. Zbl 0998.03011Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2000 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 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 4 2017 A cookbook for temporal conceptual data modelling with description logics. Zbl 1354.68245Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 4 2014 Topological logics with connectedness over Euclidean spaces. Zbl 1353.68267Kontchakov, Roman; Nenov, Yavor; Pratt-Hartmann, Ian; Zakharyaschev, Michael 4 2013 Exponential lower bounds and separation for query rewriting. Zbl 1367.68089Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Zakharyaschev, Michael 4 2012 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 Axiomatizing distance logics. Zbl 1185.03034Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 4 2002 Tableaux for temporal description logic with constant domains. Zbl 0988.68178Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 4 2001 Canonical formulas for \(\mathbf K\mathbf 4\). III: The finite model property. Zbl 0893.03006Zakharyaschev, Michael 4 1997 All finitely axiomatizable normal extensions of K4.3 are decidable. Zbl 0818.03008Zakharyaschev, Michael; Alekseev, Alexander 4 1995 On intermediate logics. Zbl 0548.03009Zakhar’yashchev, M. V. 4 1983 On the succinctness of query rewriting over shallow ontologies. Zbl 1401.68316Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael 3 2014 On the Blok-Esakia theorem. Zbl 1350.03022Wolter, Frank; Zakharyaschev, Michael 3 2014 The complexity of clausal fragments of LTL. Zbl 1433.03046Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 3 2013 Spatial logics with connectedness predicates. Zbl 1201.68115Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 3 2010 Topology, connectedness, and modal logic. Zbl 1244.03066Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 3 2008 Automated reasoning about metric and topology. Zbl 1152.68523Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael 3 2006 Temporal logics over transitive states. Zbl 1135.03333Konev, Boris; Wolter, Frank; Zakharyaschev, Michael 3 2005 Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael 3 2005 Dynamic description logics. Zbl 0993.03043Wolter, Frank; Zakharyaschev, Michael 3 2001 On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017Chagrov, Alexander; Zakharyaschev, Michael 3 1995 A sufficient condition for the finite model property of modal logics above \(K_ 4\). Zbl 0799.03010Zakharyaschev, Michael 3 1993 Modal companions of superintuitionistic logics: Syntax, semantics, and preservation theorems. Zbl 0709.03017Zakhar’yashchev, M. V. 3 1990 On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012Chagrov, A. V.; Zakharyashchev, M. V. 3 1990 Normal modal logics containing S4. Zbl 0595.03011Zakhar’yashchev, M. V. 3 1984 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 2 2018 Querying log data with metric temporal logic. Zbl 06932527Brandt, Sebastian; Kalaycı, Elem Güzel; Ryzhikov, Vladislav; Xiao, Guohui; Zakharyaschev, Michael 2 2018 Inseparability and conservative extensions of description logic ontologies: a survey. Zbl 1358.68282Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 2 2017 Tailoring temporal description logics for reasoning over temporal conceptual models. Zbl 1348.68235Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 2 2011 DL-Lite with temporalised concepts, rigid axioms and roles. Zbl 1193.68232Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 2 2009 Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 2 2000 Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Zbl 0897.00022Kracht, Marcus (ed.); De Rijke, Maarten (ed.); Wansing, Heinrich (ed.); Zakharyaschev, Michael (ed.) 2 1998 Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004Chagrov, Alexander; Zakharyaschev, Michael 2 1995 Modal companions of superintuitionistic logics: Syntax, semantics and preservation theorems. Zbl 0686.03011Zakhar’yashchev, M. V. 2 1989 A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions. Zbl 1270.68298Mosurovic, Milenko; Krdzavac, Nenad; Graves, Henson; Zakharyaschev, Michael 1 2013 On the computational complexity of spatial logics with connectedness constraints. Zbl 1182.68280Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 1 2008 Willem Blok and modal logic. Zbl 1105.03020Rautenberg, W.; Zakharyaschev, M.; Wolter, F. 1 2006 Mathematical problems from applied logic. I. Logics for the XXIst century. Zbl 1085.03002Gabbay, Dov M. (ed.); Goncharov, Sergei S. (ed.); Zakharyaschev, Michael (ed.) 1 2006 Modal logics for metric spaces: open problems. Zbl 1272.03101Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 1 2005 A logic for metric and topology. Zbl 1089.03021Wolter, Frank; Zakharyaschev, Michael 1 2005 A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 1 2003 Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008Balbiani, Philippe (ed.); Suzuki, Nobu-Yuki (ed.); Wolter, Frank (ed.); Zakharyaschev, Michael (ed.) 1 2003 Special issue: Selected papers of the 3rd international conference on temporal logic, ICTL’00, Leipzig, Germany, October 4–7, 2000. Zbl 0996.00513Reynolds, Mark (ed.); Zakharyaschev, Michael (ed.) 1 2002 The origins of modern modal logic. Zbl 0994.03010Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich 1 2001 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 A new solution to a problem of Hosoi and Ono. Zbl 0837.03025Zakharyaschev, Michael 1 1994 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 2 2018 Querying log data with metric temporal logic. Zbl 06932527Brandt, Sebastian; Kalaycı, Elem Güzel; Ryzhikov, Vladislav; Xiao, Guohui; Zakharyaschev, Michael 2 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 4 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 2 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 4 2014 On the succinctness of query rewriting over shallow ontologies. Zbl 1401.68316Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael 3 2014 On the Blok-Esakia theorem. Zbl 1350.03022Wolter, Frank; Zakharyaschev, Michael 3 2014 Topological logics with connectedness over Euclidean spaces. Zbl 1353.68267Kontchakov, Roman; Nenov, Yavor; Pratt-Hartmann, Ian; Zakharyaschev, Michael 4 2013 The complexity of clausal fragments of LTL. Zbl 1433.03046Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael 3 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 17 2010 A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael 6 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 Spatial logics with connectedness predicates. Zbl 1201.68115Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 3 2010 The DL-Lite family and relations. Zbl 1192.68657Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M. 42 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 11 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 Willem Blok and modal logic. Zbl 1105.03020Rautenberg, W.; Zakharyaschev, M.; Wolter, F. 1 2006 Mathematical problems from applied logic. I. Logics for the XXIst century. Zbl 1085.03002Gabbay, Dov M. (ed.); Goncharov, Sergei S. (ed.); Zakharyaschev, Michael (ed.) 1 2006 Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 13 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 Temporal logics over transitive states. Zbl 1135.03333Konev, Boris; Wolter, Frank; Zakharyaschev, Michael 3 2005 Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael 3 2005 Modal logics for metric spaces: open problems. Zbl 1272.03101Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 1 2005 A logic for metric and topology. Zbl 1089.03021Wolter, 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. 132 2003 Logics of metric spaces. Zbl 1365.68407Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael 8 2003 A note on relativised products of modal logics. Zbl 1082.03018Kurucz, Agi; Zakharyaschev, Michael 5 2003 A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 1 2003 Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008Balbiani, Philippe (ed.); Suzuki, Nobu-Yuki (ed.); Wolter, Frank (ed.); Zakharyaschev, Michael (ed.) 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.00513Reynolds, Mark (ed.); Zakharyaschev, Michael (ed.) 1 2002 Advanced modal logic. Zbl 1003.03516Zakharyaschev, M.; Wolter, F.; Chagrov, A. 25 2001 On the products of linear modal logics. Zbl 1002.03017Reynolds, Mark; Zakharyaschev, Michael 10 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 7 2001 Common knowledge and quantification. Zbl 0994.03008Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2001 Tableaux for temporal description logic with constant domains. Zbl 0988.68178Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 4 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 40 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 14 1999 Intuitionistic modal logic. Zbl 0955.03029Wolter, Frank; Zakharyaschev, Michael 10 1999 Modal description logics: Modalizing roles. Zbl 0951.03011Wolter, Frank; Zakharyaschev, Michael 6 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.00022Kracht, Marcus (ed.); De Rijke, Maarten (ed.); Wansing, Heinrich (ed.); Zakharyaschev, Michael (ed.) 2 1998 Modal logic. Zbl 0871.03007Chagrov, Alexander; Zakharyaschev, Michael 246 1997 The relation between intuitionistic and classical modal logics. Zbl 0937.03033Wolter, F.; Zakharyashchev, M. 8 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 22 1992 Modal companions of intermediate propositional logics. Zbl 0766.03015Chagrov, Aleksander; Zakharyashchev, Mikhail 18 1992 The disjunction property of intermediate propositional logics. Zbl 0739.03016Chagrov, Alexander; Zakharyashchev, Michael 16 1991 Modal companions of superintuitionistic logics: Syntax, semantics, and preservation theorems. Zbl 0709.03017Zakhar’yashchev, M. V. 3 1990 On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012Chagrov, A. V.; Zakharyashchev, 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 645 Authors 29 Zakharyaschev, Michael Viktorovich 27 Bezhanishvili, Guram 27 Wolter, Frank 23 Bezhanishvili, Nick 11 Hodkinson, Ian Martin 10 Balbiani, Philippe 10 Kurucz, Agi 10 Lutz, Carsten 9 Citkin, Alex 9 Goldblatt, Robert Ian 9 Iemhoff, Rosalie 8 Gabelaia, David 8 Konev, Boris 8 Kontchakov, Roman 8 Lucero-Bryan, Joel Gregory 8 Maksimova, Larisa L’vovna 8 Ryzhikov, Vladislav 7 Artale, Alessandro 7 Demri, Stéphane P. 7 Dixon, Clare 7 Ghilardi, Silvio 7 Jeřábek, Emil 7 Kamide, Norihiro 7 Kikot, Stanislav 7 Venema, Yde 7 Yashin, Aleksandr D. 6 Baader, Franz 6 Calvanese, Diego 6 Fernández Duque, David 6 Ferrari, Mauro 6 Fiorentini, Camillo 6 Fiorino, Guido 6 Fisher, Michael W. 6 Rybakov, Vladimir Vladimirovich 6 Schmidt, Renate A. 5 Chagrov, Aleksandr Vasil’evich 5 Gabbay, Dov M. 5 Kremer, Philip 5 Kutz, Oliver 5 Marcelino, Sérgio 5 Muñoz-Velasco, Emilio 5 Sciavicco, Guido 5 Tao, Jia 5 Tishkovsky, Dmitry 5 van Benthem, Johan F. A. K. 5 Yu, Junhua 4 Badia, Guillermo 4 Beklemishev, Lev D. 4 Belardinelli, Francesco 4 Benevides, Mario R. F. 4 Botoeva, Elena 4 Celani, Sergio Arturo 4 Conradie, Willem J. 4 Cuenca Grau, Bernardo 4 Esakia, Leo 4 Gencer, Çigdem 4 Gonçalves, Ricardo 4 Goudsmit, Jeroen P. 4 Holliday, Wesley H. 4 Humberstone, Lloyd 4 Hustadt, Ullrich 4 Knorr, Matthias 4 Leite, João 4 Litak, Tadeusz 4 Löwe, Benedikt 4 Metcalfe, George 4 Palmigiano, Alessandra 4 Rivieccio, Umberto 4 Sala, Pietro 4 Sano, Katsuhiko 4 van der Hoek, Wiebe 4 Wang, Kewen 4 Wang, Zhe 3 Alenda, Régis 3 Artemov, Sergei 3 Benferhat, Salem 3 Caleiro, Carlos 3 Gehrke, Mai 3 Godo, Lluís 3 Gottlob, Georg 3 Grant, John R. 3 Gyenis, Zalán 3 Hampson, Christopher 3 Hussak, Walter 3 Karpenko, Anastasia Valer’evna 3 Kuznets, Roman 3 Lomuscio, Alessio 3 Meier, Arne 3 Miglioli, Pierangelo 3 Montanari, Angelo 3 Moraschini, Tommaso 3 Morawska, Barbara 3 Negri, Sara 3 Olivetti, Nicola 3 Ono, Hiroakira 3 Ortiz, Magdalena 3 Protopopescu, Tudor 3 Raftery, James G. 3 Reynolds, Mark Alexander 3 Rodríguez, Ricardo Oscar ...and 545 more Authors all top 5 Cited in 69 Serials 62 Studia Logica 51 Annals of Pure and Applied Logic 31 Artificial Intelligence 27 The Journal of Symbolic Logic 23 Journal of Applied Non-Classical Logics 22 Notre Dame Journal of Formal Logic 21 Journal of Philosophical Logic 21 Theoretical Computer Science 21 Journal of Applied Logic 18 The Review of Symbolic Logic 13 Journal of Automated Reasoning 12 Algebra and Logic 12 International Journal of Approximate Reasoning 12 Archive for Mathematical Logic 11 Information and Computation 11 Annals of Mathematics and Artificial Intelligence 11 Logica Universalis 9 Journal of Logic, Language and Information 9 The Bulletin of Symbolic Logic 9 ACM Transactions on Computational Logic 8 Logical Methods in Computer Science 7 Algebra Universalis 7 Siberian Mathematical Journal 7 Synthese 5 Mathematical Notes 4 Fuzzy Sets and Systems 4 Logic and Logical Philosophy 4 Theory and Practice of Logic Programming 3 Information Sciences 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 Theory of Computing Systems 2 Information Processing Letters 2 Problems of Information Transmission 2 Indagationes Mathematicae. New Series 2 Mathematical Logic Quarterly (MLQ) 2 Soft Computing 2 Erkenntnis 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 Logical and Algebraic Methods in Programming 1 Israel Journal of Mathematics 1 Russian Mathematical Surveys 1 The Mathematical Intelligencer 1 Advances in Mathematics 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Mathematical Economics 1 Programming and Computer Software 1 Journal of Computer Science and Technology 1 Algorithmica 1 SIAM Journal on Discrete Mathematics 1 International Journal of Algebra and Computation 1 Applied Categorical Structures 1 Economic Theory 1 International Journal of Applied Mathematics and Computer Science 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 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 23 Fields 513 Mathematical logic and foundations (03-XX) 229 Computer science (68-XX) 47 Order, lattices, ordered algebraic structures (06-XX) 30 General topology (54-XX) 14 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) 3 Relativity and gravitational theory (83-XX) 2 Number theory (11-XX) 2 Geometry (51-XX) 2 Information and communication theory, circuits (94-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Quantum theory (81-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.