×

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,089 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

95 Publications have been cited 1,040 times in 678 Documents Cited by Year
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
263
1997
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
138
2003
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
47
2009
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
38
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
19
1992
Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154
Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael
18
2010
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
Axiomatizing the monodic fragment of first-order temporal logic. Zbl 1031.03023
Wolter, Frank; Zakharyaschev, Michael
15
2002
Intuitionistic modal logics as fragments of classical bimodal logics. Zbl 0922.03023
Wolter, Frank; Zakharyaschev, Michael
13
1999
Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Zbl 1051.03019
Bennett, Brandon; Cohn, Anthony G.; Wolter, Frank; Zakharyaschev, Michael
13
2002
Syntax and semantics of superintuitionistic logics. Zbl 0708.03011
Zakhar’yashchev, M. V.
12
1989
Intuitionistic modal logic. Zbl 0955.03029
Wolter, Frank; Zakharyaschev, Michael
12
1999
On the products of linear modal logics. Zbl 1002.03017
Reynolds, Mark; Zakharyaschev, Michael
12
2001
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
12
2008
The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009
Chagrov, Alexander; Zakharyaschev, Michael
11
1993
Decidable fragments of first-order modal logics. Zbl 0996.03010
Wolter, Frank; Zakharyaschev, Michael
10
2001
\({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162
Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
10
2004
Temporalizing description logics. Zbl 0994.03026
Wolter, Frank; Zakharyaschev, Michael
9
2000
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
Products of ‘transitive’ modal logics. Zbl 1103.03020
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
8
2005
A logic for concepts and similarity. Zbl 1144.03010
Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M.
8
2007
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
8
2014
Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
8
2001
The relation between intuitionistic and classical modal logics. Zbl 0937.03033
Wolter, F.; Zakharyashchev, M.
7
1997
Querying log data with metric temporal logic. Zbl 1451.68087
Brandt, 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.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
Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018
Konev, B.; Kontchakov, R.; 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 modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021
Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael
6
2010
The complexity of clausal fragments of LTL. Zbl 1433.03046
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
6
2013
A note on relativised products of modal logics. Zbl 1082.03018
Kurucz, Agi; Zakharyaschev, Michael
6
2003
Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008
Gabelaia, D.; Kurucz, A.; 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
Games for query inseparability of description logic knowledge bases. Zbl 1351.68263
Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
6
2016
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
Modal description logics: Modalizing roles. Zbl 0951.03011
Wolter, Frank; Zakharyaschev, Michael
5
1999
Monodic epistemic predicate logic. Zbl 0998.03011
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2000
Tableaux for temporal description logic with constant domains. Zbl 0988.68178
Lutz, Carsten; 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
Common knowledge and quantification. Zbl 0994.03008
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2001
Conservative extensions in modal logic. Zbl 1148.03014
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M.
5
2006
Comparative similarity, tree automata, and Diophantine equations. Zbl 1143.68600
Sheremet, Mikhail; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael
5
2005
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
5
2017
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
Spatial logics with connectedness predicates. Zbl 1201.68115
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
4
2010
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
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
Axiomatizing distance logics. Zbl 1185.03034
Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
4
2002
Topological logics with connectedness over Euclidean spaces. Zbl 1353.68267
Kontchakov, Roman; Nenov, Yavor; Pratt-Hartmann, Ian; Zakharyaschev, Michael
4
2013
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
On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017
Chagrov, Alexander; Zakharyaschev, Michael
3
1995
On the succinctness of query rewriting over shallow ontologies. Zbl 1401.68316
Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael
3
2014
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
Dynamic description logics. Zbl 0993.03043
Wolter, Frank; Zakharyaschev, Michael
3
2001
Automated reasoning about metric and topology. Zbl 1152.68523
Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael
3
2006
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael
3
2005
Temporal logics over transitive states. Zbl 1135.03333
Konev, Boris; Wolter, Frank; Zakharyaschev, Michael
3
2005
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
3
2017
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
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.03011
Zakhar’yashchev, M. V.
2
1989
Tailoring temporal description logics for reasoning over temporal conceptual models. Zbl 1348.68235
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
2
2011
Sahlqvist formulas are not so elementary even above S4. Zbl 0846.03004
Chagrov, Alexander; Zakharyaschev, Michael
2
1995
Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
2
2000
DL-Lite with temporalised concepts, rigid axioms and roles. Zbl 1193.68232
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
2
2009
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
2
2019
A new solution to a problem of Hosoi and Ono. Zbl 0837.03025
Zakharyaschev, 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.03022
Bezhanishvili, 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.03021
Wolter, Frank; Zakharyaschev, Michael
1
2005
Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces. Zbl 1408.68138
Kontchakov, Roman; Pratt-Hartmann, Ian; Zakharyaschev, Michael
1
2014
Canonical formulas for modal and superintuitionistic logics: A short outline. Zbl 0953.03025
Zakharyaschev, Michael
1
1997
Modal logics for metric spaces: open problems. Zbl 1272.03101
Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
1
2005
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
The origins of modern modal logic. Zbl 0994.03010
Zakharyaschev, 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.03020
Rautenberg, W.; Zakharyaschev, M.; Wolter, F.
1
2006
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 tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411
Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
1
2003
On strictly positive modal logics with S4.3 frames. Zbl 1418.03091
Kikot, Stanislav; Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
1
2018
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
2
2019
Querying log data with metric temporal logic. Zbl 1451.68087
Brandt, 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.68075
Bienvenu, Meghyn; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael
3
2018
On strictly positive modal logics with S4.3 frames. Zbl 1418.03091
Kikot, Stanislav; Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
1
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
5
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
3
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
8
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
6
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
Spatial logics with connectedness predicates. Zbl 1201.68115
Kontchakov, 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.68275
Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
4
2010
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
47
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
12
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.
7
2006
Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
6
2006
Conservative extensions in modal logic. Zbl 1148.03014
Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M.
5
2006
Automated reasoning about metric and topology. Zbl 1152.68523
Hustadt, 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.03020
Rautenberg, W.; Zakharyaschev, M.; Wolter, F.
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
Comparative similarity, tree automata, and Diophantine equations. Zbl 1143.68600
Sheremet, Mikhail; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael
5
2005
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael
3
2005
Temporal logics over transitive states. Zbl 1135.03333
Konev, Boris; Wolter, Frank; Zakharyaschev, Michael
3
2005
A logic for metric and topology. Zbl 1089.03021
Wolter, Frank; Zakharyaschev, Michael
1
2005
Modal logics for metric spaces: open problems. Zbl 1272.03101
Kurucz, Agi; 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.
138
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
15
2002
Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Zbl 1051.03019
Bennett, Brandon; Cohn, Anthony G.; Wolter, Frank; Zakharyaschev, Michael
13
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
On the products of linear modal logics. Zbl 1002.03017
Reynolds, Mark; Zakharyaschev, Michael
12
2001
Decidable fragments of first-order modal logics. Zbl 0996.03010
Wolter, Frank; Zakharyaschev, Michael
10
2001
Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
8
2001
Tableaux for temporal description logic with constant domains. Zbl 0988.68178
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2001
Common knowledge and quantification. Zbl 0994.03008
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
38
2000
Temporalizing description logics. Zbl 0994.03026
Wolter, Frank; Zakharyaschev, Michael
9
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 logics as fragments of classical bimodal logics. Zbl 0922.03023
Wolter, Frank; Zakharyaschev, Michael
13
1999
Intuitionistic modal logic. Zbl 0955.03029
Wolter, Frank; Zakharyaschev, Michael
12
1999
Modal description logics: Modalizing roles. Zbl 0951.03011
Wolter, Frank; Zakharyaschev, Michael
5
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
263
1997
The relation between intuitionistic and classical modal logics. Zbl 0937.03033
Wolter, F.; Zakharyashchev, M.
7
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
3
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
19
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 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

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.