×

Zakharyaschev, Michael Viktorovich

Compute Distance To:
Author ID: zakharyaschev.michael Recent zbMATH articles by "Zakharyaschev, Michael Viktorovich"
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,124 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

96 Publications have been cited 1,100 times in 708 Documents Cited by Year
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
271
1997
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
144
2003
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
49
2009
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
40
2000
Advanced modal logic. 2nd ed. Zbl 1003.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
26
2001
Canonical formulas for K4. I: Basic results. Zbl 0774.03005
Zakhar’yashchev, Mikhail
23
1992
Canonical formulas for K4. II: Cofinal subframe logics. Zbl 0884.03014
Zakharyaschev, Michael
21
1996
Modal companions of intermediate propositional logics. Zbl 0766.03015
Chagrov, Aleksander; Zakharyashchev, Mikhail
20
1992
Intuitionistic modal logic. Zbl 0955.03029
Wolter, Frank; Zakharyaschev, Michael
18
1999
Intuitionistic modal logics as fragments of classical bimodal logics. Zbl 0922.03023
Wolter, Frank; Zakharyaschev, Michael
18
1999
Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154
Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael
18
2010
Axiomatizing the monodic fragment of first-order temporal logic. Zbl 1031.03023
Wolter, Frank; Zakharyaschev, Michael
16
2002
The disjunction property of intermediate propositional logics. Zbl 0739.03016
Chagrov, Alexander; Zakharyashchev, Michael
16
1991
Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682
Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
15
2005
Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Zbl 1051.03019
Bennett, Brandon; Cohn, Anthony G.; Wolter, Frank; Zakharyaschev, Michael
14
2002
Decidable fragments of first-order modal logics. Zbl 0996.03010
Wolter, Frank; Zakharyaschev, Michael
14
2001
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
13
2008
On the products of linear modal logics. Zbl 1002.03017
Reynolds, Mark; Zakharyaschev, Michael
12
2001
Syntax and semantics of superintuitionistic logics. Zbl 0708.03011
Zakhar’yashchev, M. V.
12
1989
The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009
Chagrov, Alexander; Zakharyaschev, Michael
11
1993
Temporalizing description logics. Zbl 0994.03026
Wolter, Frank; Zakharyaschev, Michael
10
2000
Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
10
2001
The price of query rewriting in ontology-based data access. Zbl 1390.68246
Gottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael
10
2014
\({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162
Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
10
2004
On dynamic topological and metric logics. Zbl 1114.03026
Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M.
9
2006
Speaking about transitive frames in propositional languages. Zbl 0927.03036
Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael
8
1998
The relation between intuitionistic and classical modal logics. Zbl 0937.03033
Wolter, F.; Zakharyashchev, M.
8
1997
Products of ‘transitive’ modal logics. Zbl 1103.03020
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
8
2005
Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018
Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M.
8
2006
A logic for concepts and similarity. Zbl 1144.03010
Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M.
8
2007
The complexity of clausal fragments of LTL. Zbl 1433.03046
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
7
2013
A temporal description logic for reasoning over conceptual schemas and queries. Zbl 1013.03027
Artale, Alessandro; Franconi, Enrico; Wolter, Frank; Zakharyaschev, Michael
7
2002
Temporalising tableaux. Zbl 1050.03015
Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
7
2004
Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029
Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
7
2017
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael
7
2005
Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
7
2006
Logics of metric spaces. Zbl 1365.68407
Kutz, 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.03012
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
6
2002
A note on relativised products of modal logics. Zbl 1082.03018
Kurucz, Agi; Zakharyaschev, Michael
6
2003
A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021
Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael
6
2010
Modal description logics: Modalizing roles. Zbl 0951.03011
Wolter, Frank; Zakharyaschev, Michael
6
1999
Games for query inseparability of description logic knowledge bases. Zbl 1351.68263
Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
6
2016
Querying log data with metric temporal logic. Zbl 1451.68087
Brandt, Sebastian; Kalaycı, Elem Güzel; Ryzhikov, Vladislav; Xiao, Guohui; Zakharyaschev, Michael
6
2018
Conservative extensions in modal logic. Zbl 1148.03014
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M.
6
2006
A cookbook for temporal conceptual data modelling with description logics. Zbl 1354.68245
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
6
2014
Common knowledge and quantification. Zbl 0994.03008
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2001
On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007
Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
5
2004
Tableaux for temporal description logic with constant domains. Zbl 0988.68178
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2001
Monodic epistemic predicate logic. Zbl 0998.03011
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2000
Comparative similarity, tree automata, and Diophantine equations. Zbl 1143.68600
Sheremet, Mikhail; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael
5
2005
On a disjunction property of superintuitionistic and modal logics. Zbl 0642.03015
Zakhar’yashchev, M. V.
5
1987
Syntax and semantics of modal logics containing S4. Zbl 0686.03010
Zakhar’yashchev, M. V.
5
1988
On the Blok-Esakia theorem. Zbl 1350.03022
Wolter, Frank; Zakharyaschev, Michael
4
2014
Canonical formulas for \(\mathbf K\mathbf 4\). III: The finite model property. Zbl 0893.03006
Zakharyaschev, Michael
4
1997
On intermediate logics. Zbl 0548.03009
Zakhar’yashchev, M. V.
4
1983
All finitely axiomatizable normal extensions of K4.3 are decidable. Zbl 0818.03008
Zakharyaschev, Michael; Alekseev, Alexander
4
1995
On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017
Chagrov, Alexander; Zakharyaschev, Michael
4
1995
Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\). Zbl 1252.68275
Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
4
2010
Exponential lower bounds and separation for query rewriting. Zbl 1367.68089
Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Zakharyaschev, Michael
4
2012
Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Zbl 1444.03063
Kikot, Stanislav; Kurucz, Agi; Tanaka, Yoshihito; Wolter, Frank; Zakharyaschev, Michael
4
2019
Spatial logics with connectedness predicates. Zbl 1201.68115
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
4
2010
Ontology-mediated queries. Combined complexity and succinctness of rewritings via circuit complexity. Zbl 1426.68075
Bienvenu, Meghyn; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael
4
2018
Inseparability and conservative extensions of description logic ontologies: a survey. Zbl 1358.68282
Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
4
2017
Topological logics with connectedness over Euclidean spaces. Zbl 1353.68267
Kontchakov, Roman; Nenov, Yavor; Pratt-Hartmann, Ian; Zakharyaschev, Michael
4
2013
Axiomatizing distance logics. Zbl 1185.03034
Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
4
2002
Dynamic description logics. Zbl 0993.03043
Wolter, Frank; Zakharyaschev, Michael
3
2001
Normal modal logics containing S4. Zbl 0595.03011
Zakhar’yashchev, M. V.
3
1984
A sufficient condition for the finite model property of modal logics above \(K_ 4\). Zbl 0799.03010
Zakharyaschev, Michael
3
1993
Topology, connectedness, and modal logic. Zbl 1244.03066
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
3
2008
On the succinctness of query rewriting over shallow ontologies. Zbl 1401.68316
Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael
3
2014
On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012
Chagrov, A. V.; Zakharyashchev, M. V.
3
1990
Temporal logics over transitive states. Zbl 1135.03333
Konev, Boris; Wolter, Frank; Zakharyaschev, Michael
3
2005
Automated reasoning about metric and topology. Zbl 1152.68523
Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael
3
2006
Modal companions of superintuitionistic logics: Syntax, semantics, and preservation theorems. Zbl 0709.03017
Zakhar’yashchev, M. V.
3
1990
Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004
Chagrov, Alexander; Zakharyaschev, Michael
2
1995
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
Tailoring temporal description logics for reasoning over temporal conceptual models. Zbl 1348.68235
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
2
2011
Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
2
2000
On strictly positive modal logics with S4.3 frames. Zbl 1418.03091
Kikot, Stanislav; Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
2
2018
Modal companions of superintuitionistic logics: Syntax, semantics and preservation theorems. Zbl 0686.03011
Zakhar’yashchev, M. V.
2
1989
DL-Lite with temporalised concepts, rigid axioms and roles. Zbl 1193.68232
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
2
2009
The origins of modern modal logic. Zbl 0994.03010
Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich
1
2001
Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces. Zbl 1408.68138
Kontchakov, Roman; Pratt-Hartmann, Ian; Zakharyaschev, Michael
1
2014
Logics over MIPC. Zbl 0940.03022
Bezhanishvili, Guram; Zakharyaschev, Michael
1
1997
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
Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008
1
2003
Canonical formulas for modal and superintuitionistic logics: A short outline. Zbl 0953.03025
Zakharyaschev, Michael
1
1997
A new solution to a problem of Hosoi and Ono. Zbl 0837.03025
Zakharyaschev, Michael
1
1994
Modal logics for metric spaces: open problems. Zbl 1272.03101
Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
1
2005
A logic for metric and topology. Zbl 1089.03021
Wolter, Frank; Zakharyaschev, Michael
1
2005
On the computational complexity of spatial logics with connectedness constraints. Zbl 1182.68280
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
1
2008
Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna. Zbl 1444.68067
Gerasimova, Olga; Kikot, Stanislav; Zakharyaschev, Michael
1
2019
A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions. Zbl 1270.68298
Mosurovic, Milenko; Krdzavac, Nenad; Graves, Henson; Zakharyaschev, Michael
1
2013
Willem Blok and modal logic. Zbl 1105.03020
Rautenberg, W.; Zakharyaschev, M.; Wolter, F.
1
2006
Mathematical problems from applied logic. I. Logics for the XXIst century. Zbl 1085.03002
1
2006
A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411
Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
1
2003
Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Zbl 1444.03063
Kikot, Stanislav; Kurucz, Agi; Tanaka, Yoshihito; Wolter, Frank; Zakharyaschev, Michael
4
2019
Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna. Zbl 1444.68067
Gerasimova, Olga; Kikot, Stanislav; Zakharyaschev, Michael
1
2019
Querying log data with metric temporal logic. Zbl 1451.68087
Brandt, Sebastian; Kalaycı, Elem Güzel; Ryzhikov, Vladislav; Xiao, Guohui; Zakharyaschev, Michael
6
2018
Ontology-mediated queries. Combined complexity and succinctness of rewritings via circuit complexity. Zbl 1426.68075
Bienvenu, Meghyn; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael
4
2018
On strictly positive modal logics with S4.3 frames. Zbl 1418.03091
Kikot, Stanislav; Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
2
2018
Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029
Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
7
2017
Inseparability and conservative extensions of description logic ontologies: a survey. Zbl 1358.68282
Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
4
2017
Games for query inseparability of description logic knowledge bases. Zbl 1351.68263
Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
6
2016
The price of query rewriting in ontology-based data access. Zbl 1390.68246
Gottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael
10
2014
A cookbook for temporal conceptual data modelling with description logics. Zbl 1354.68245
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
6
2014
On the Blok-Esakia theorem. Zbl 1350.03022
Wolter, Frank; Zakharyaschev, Michael
4
2014
On the succinctness of query rewriting over shallow ontologies. Zbl 1401.68316
Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael
3
2014
Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces. Zbl 1408.68138
Kontchakov, Roman; Pratt-Hartmann, Ian; Zakharyaschev, Michael
1
2014
The complexity of clausal fragments of LTL. Zbl 1433.03046
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
7
2013
Topological logics with connectedness over Euclidean spaces. Zbl 1353.68267
Kontchakov, Roman; Nenov, Yavor; Pratt-Hartmann, Ian; Zakharyaschev, Michael
4
2013
A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions. Zbl 1270.68298
Mosurovic, Milenko; Krdzavac, Nenad; Graves, Henson; Zakharyaschev, Michael
1
2013
Exponential lower bounds and separation for query rewriting. Zbl 1367.68089
Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Zakharyaschev, Michael
4
2012
Tailoring temporal description logics for reasoning over temporal conceptual models. Zbl 1348.68235
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
2
2011
Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154
Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael
18
2010
A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021
Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael
6
2010
Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\). Zbl 1252.68275
Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
4
2010
Spatial logics with connectedness predicates. Zbl 1201.68115
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
4
2010
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
49
2009
DL-Lite with temporalised concepts, rigid axioms and roles. Zbl 1193.68232
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
2
2009
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
13
2008
Topology, connectedness, and modal logic. Zbl 1244.03066
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
3
2008
On the computational complexity of spatial logics with connectedness constraints. Zbl 1182.68280
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
1
2008
A logic for concepts and similarity. Zbl 1144.03010
Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M.
8
2007
On dynamic topological and metric logics. Zbl 1114.03026
Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M.
9
2006
Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018
Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M.
8
2006
Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
7
2006
Conservative extensions in modal logic. Zbl 1148.03014
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M.
6
2006
Automated reasoning about metric and topology. Zbl 1152.68523
Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael
3
2006
Willem Blok and modal logic. Zbl 1105.03020
Rautenberg, W.; Zakharyaschev, M.; Wolter, F.
1
2006
Mathematical problems from applied logic. I. Logics for the XXIst century. Zbl 1085.03002
1
2006
Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682
Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
15
2005
Products of ‘transitive’ modal logics. Zbl 1103.03020
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
8
2005
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael
7
2005
Comparative similarity, tree automata, and Diophantine equations. Zbl 1143.68600
Sheremet, Mikhail; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael
5
2005
Temporal logics over transitive states. Zbl 1135.03333
Konev, Boris; Wolter, Frank; Zakharyaschev, Michael
3
2005
Modal logics for metric spaces: open problems. Zbl 1272.03101
Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
1
2005
A logic for metric and topology. Zbl 1089.03021
Wolter, Frank; Zakharyaschev, Michael
1
2005
\({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162
Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
10
2004
Temporalising tableaux. Zbl 1050.03015
Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
7
2004
On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007
Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
5
2004
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
144
2003
Logics of metric spaces. Zbl 1365.68407
Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael
7
2003
A note on relativised products of modal logics. Zbl 1082.03018
Kurucz, 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.68411
Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
1
2003
Axiomatizing the monodic fragment of first-order temporal logic. Zbl 1031.03023
Wolter, Frank; Zakharyaschev, Michael
16
2002
Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Zbl 1051.03019
Bennett, Brandon; Cohn, Anthony G.; Wolter, Frank; Zakharyaschev, Michael
14
2002
A temporal description logic for reasoning over conceptual schemas and queries. Zbl 1013.03027
Artale, 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.03012
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
6
2002
Axiomatizing distance logics. Zbl 1185.03034
Kutz, 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.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
26
2001
Decidable fragments of first-order modal logics. Zbl 0996.03010
Wolter, Frank; Zakharyaschev, Michael
14
2001
On the products of linear modal logics. Zbl 1002.03017
Reynolds, Mark; Zakharyaschev, Michael
12
2001
Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
10
2001
Common knowledge and quantification. Zbl 0994.03008
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2001
Tableaux for temporal description logic with constant domains. Zbl 0988.68178
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2001
Dynamic description logics. Zbl 0993.03043
Wolter, Frank; Zakharyaschev, Michael
3
2001
The origins of modern modal logic. Zbl 0994.03010
Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich
1
2001
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
40
2000
Temporalizing description logics. Zbl 0994.03026
Wolter, Frank; Zakharyaschev, Michael
10
2000
Monodic epistemic predicate logic. Zbl 0998.03011
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2000
Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
2
2000
Intuitionistic modal logic. Zbl 0955.03029
Wolter, Frank; Zakharyaschev, Michael
18
1999
Intuitionistic modal logics as fragments of classical bimodal logics. Zbl 0922.03023
Wolter, Frank; Zakharyaschev, Michael
18
1999
Modal description logics: Modalizing roles. Zbl 0951.03011
Wolter, Frank; Zakharyaschev, Michael
6
1999
Speaking about transitive frames in propositional languages. Zbl 0927.03036
Suzuki, 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.03007
Chagrov, Alexander; Zakharyaschev, Michael
271
1997
The relation between intuitionistic and classical modal logics. Zbl 0937.03033
Wolter, F.; Zakharyashchev, M.
8
1997
Canonical formulas for \(\mathbf K\mathbf 4\). III: The finite model property. Zbl 0893.03006
Zakharyaschev, Michael
4
1997
Logics over MIPC. Zbl 0940.03022
Bezhanishvili, Guram; Zakharyaschev, Michael
1
1997
Canonical formulas for modal and superintuitionistic logics: A short outline. Zbl 0953.03025
Zakharyaschev, Michael
1
1997
Canonical formulas for K4. II: Cofinal subframe logics. Zbl 0884.03014
Zakharyaschev, Michael
21
1996
All finitely axiomatizable normal extensions of K4.3 are decidable. Zbl 0818.03008
Zakharyaschev, Michael; Alekseev, Alexander
4
1995
On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017
Chagrov, Alexander; Zakharyaschev, Michael
4
1995
Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004
Chagrov, Alexander; Zakharyaschev, Michael
2
1995
A new solution to a problem of Hosoi and Ono. Zbl 0837.03025
Zakharyaschev, Michael
1
1994
The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009
Chagrov, Alexander; Zakharyaschev, Michael
11
1993
A sufficient condition for the finite model property of modal logics above \(K_ 4\). Zbl 0799.03010
Zakharyaschev, Michael
3
1993
Canonical formulas for K4. I: Basic results. Zbl 0774.03005
Zakhar’yashchev, Mikhail
23
1992
Modal companions of intermediate propositional logics. Zbl 0766.03015
Chagrov, Aleksander; Zakharyashchev, Mikhail
20
1992
The disjunction property of intermediate propositional logics. Zbl 0739.03016
Chagrov, Alexander; Zakharyashchev, Michael
16
1991
On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012
Chagrov, A. V.; Zakharyashchev, M. V.
3
1990
Modal companions of superintuitionistic logics: Syntax, semantics, and preservation theorems. Zbl 0709.03017
Zakhar’yashchev, M. V.
3
1990
Syntax and semantics of superintuitionistic logics. Zbl 0708.03011
Zakhar’yashchev, M. V.
12
1989
Modal companions of superintuitionistic logics: Syntax, semantics and preservation theorems. Zbl 0686.03011
Zakhar’yashchev, M. V.
2
1989
Syntax and semantics of modal logics containing S4. Zbl 0686.03010
Zakhar’yashchev, M. V.
5
1988
On a disjunction property of superintuitionistic and modal logics. Zbl 0642.03015
Zakhar’yashchev, M. V.
5
1987
Normal modal logics containing S4. Zbl 0595.03011
Zakhar’yashchev, M. V.
3
1984
On intermediate logics. Zbl 0548.03009
Zakhar’yashchev, M. V.
4
1983
all top 5

Cited by 719 Authors

31 Bezhanishvili, Guram
30 Zakharyaschev, Michael Viktorovich
28 Wolter, Frank
27 Bezhanishvili, Nick
14 Balbiani, Philippe
11 Goldblatt, Robert Ian
11 Hodkinson, Ian Martin
10 Kurucz, Agi
10 Lutz, Carsten
9 Citkin, Alex
9 Dixon, Clare
9 Gabelaia, David
9 Iemhoff, Rosalie
9 Kontchakov, Roman
9 Lucero-Bryan, Joel Gregory
8 Ghilardi, Silvio
8 Jeřábek, Emil
8 Kikot, Stanislav
8 Konev, Boris
8 Ryzhikov, Vladislav
7 Artale, Alessandro
7 Demri, Stéphane P.
7 Fernández Duque, David
7 Fiorentini, Camillo
7 Kamide, Norihiro
7 Maksimova, Larisa L’vovna
7 Muñoz-Velasco, Emilio
7 Schmidt, Renate A.
7 Sciavicco, Guido
7 Venema, Yde
7 Yashin, Aleksandr D.
6 Baader, Franz
6 Celani, Sergio Arturo
6 Ferrari, Mauro
6 Fiorino, Guido
6 Gencer, Çigdem
6 Gonçalves, Ricardo
6 Knorr, Matthias
6 Leite, João
6 Rybakov, Vladimir Vladimirovich
6 Sano, Katsuhiko
5 Beklemishev, Lev D.
5 Calvanese, Diego
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 Metcalfe, George
5 Moraschini, Tommaso
5 Shkatov, Dmitry
5 Tao, Jia
5 Tishkovsky, Dmitry
5 van Benthem, Johan F. A. K.
5 Yu, Junhua
4 Artemov, Sergei
4 Badia, Guillermo
4 Belardinelli, Francesco
4 Benevides, Mario R. F.
4 Benferhat, Salem
4 Bonatti, Piero Andrea
4 Botoeva, Elena
4 Bresolin, Davide
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 Olivetti, Nicola
4 Palmigiano, Alessandra
4 Rivieccio, Umberto
4 Rodríguez, Ricardo Oscar
4 Sala, Pietro
4 Sauro, Luigi
4 Valencia, Frank D.
4 van der Hoek, Wiebe
4 van Mill, Jan
4 Wałęga, Przemysław Andrzej
4 Wang, Kewen
4 Wang, Zhe
3 Alenda, Régis
3 Bouraoui, Zied
3 Broersen, Jan M.
3 Brunel, Julien
3 Caicedo, Xavier
3 Caleiro, Carlos
3 Carai, Luca
3 De Groot, Jim
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
...and 619 more Authors
all top 5

Cited in 75 Serials

76 Studia Logica
54 Annals of Pure and Applied Logic
35 Artificial Intelligence
28 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
20 Theoretical Computer Science
17 Information and Computation
15 Archive for Mathematical Logic
14 Journal of Automated Reasoning
14 Annals of Mathematics and Artificial Intelligence
12 Algebra and Logic
12 International Journal of Approximate Reasoning
12 Logica Universalis
10 The Bulletin of Symbolic Logic
9 Journal of Logic, Language and Information
9 ACM Transactions on Computational Logic
9 Logical Methods in Computer Science
8 Algebra Universalis
8 Synthese
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 Fundamenta Informaticae
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 Formal Methods in System Design
1 Applied Categorical Structures
1 Economic Theory
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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.