×

zbMATH — the first resource for mathematics

Zakharyaschev, Michael Viktorovich

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

Publications by Year

Citations contained in zbMATH

92 Publications have been cited 985 times in 621 Documents Cited by Year
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
246
1997
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
132
2003
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
42
2009
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
40
2000
Advanced modal logic. Zbl 1003.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
25
2001
Canonical formulas for K4. I: Basic results. Zbl 0774.03005
Zakhar’yashchev, Mikhail
22
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
18
1992
Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154
Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael
17
2010
The disjunction property of intermediate propositional logics. Zbl 0739.03016
Chagrov, Alexander; Zakharyashchev, Michael
16
1991
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
14
1999
Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682
Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
13
2005
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
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
11
2008
The undecidability of the disjunction property of propositional logics and other related problems. Zbl 0799.03009
Chagrov, Alexander; Zakharyaschev, Michael
11
1993
\({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162
Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
10
2004
On the products of linear modal logics. Zbl 1002.03017
Reynolds, Mark; Zakharyaschev, Michael
10
2001
Decidable fragments of first-order modal logics. Zbl 0996.03010
Wolter, Frank; Zakharyaschev, Michael
10
2001
Intuitionistic modal logic. Zbl 0955.03029
Wolter, Frank; Zakharyaschev, Michael
10
1999
On dynamic topological and metric logics. Zbl 1114.03026
Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M.
9
2006
Temporalizing description logics. Zbl 0994.03026
Wolter, Frank; Zakharyaschev, Michael
9
2000
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 logic for concepts and similarity. Zbl 1144.03010
Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M.
8
2007
Products of ‘transitive’ modal logics. Zbl 1103.03020
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
8
2005
Logics of metric spaces. Zbl 1365.68407
Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael
8
2003
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
Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018
Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M.
7
2006
Temporalising tableaux. Zbl 1050.03015
Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
7
2004
A temporal description logic for reasoning over conceptual schemas and queries. Zbl 1013.03027
Artale, Alessandro; Franconi, Enrico; Wolter, Frank; Zakharyaschev, Michael
7
2002
Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
7
2001
Games for query inseparability of description logic knowledge bases. Zbl 1351.68263
Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
6
2016
A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021
Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael
6
2010
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 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
Modal description logics: Modalizing roles. Zbl 0951.03011
Wolter, Frank; Zakharyaschev, Michael
6
1999
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
On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007
Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
5
2004
A note on relativised products of modal logics. Zbl 1082.03018
Kurucz, Agi; Zakharyaschev, Michael
5
2003
Common knowledge and quantification. Zbl 0994.03008
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2001
Monodic epistemic predicate logic. Zbl 0998.03011
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
5
2000
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
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
4
2017
A cookbook for temporal conceptual data modelling with description logics. Zbl 1354.68245
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
4
2014
Topological logics with connectedness over Euclidean spaces. Zbl 1353.68267
Kontchakov, Roman; Nenov, Yavor; Pratt-Hartmann, Ian; Zakharyaschev, Michael
4
2013
Exponential lower bounds and separation for query rewriting. Zbl 1367.68089
Kikot, 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.68275
Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
4
2010
Axiomatizing distance logics. Zbl 1185.03034
Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
4
2002
Tableaux for temporal description logic with constant domains. Zbl 0988.68178
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
4
2001
Canonical formulas for \(\mathbf K\mathbf 4\). III: The finite model property. Zbl 0893.03006
Zakharyaschev, Michael
4
1997
All finitely axiomatizable normal extensions of K4.3 are decidable. Zbl 0818.03008
Zakharyaschev, Michael; Alekseev, Alexander
4
1995
On intermediate logics. Zbl 0548.03009
Zakhar’yashchev, M. V.
4
1983
On the succinctness of query rewriting over shallow ontologies. Zbl 1401.68316
Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir V.; Zakharyaschev, Michael
3
2014
On the Blok-Esakia theorem. Zbl 1350.03022
Wolter, Frank; Zakharyaschev, Michael
3
2014
The complexity of clausal fragments of LTL. Zbl 1433.03046
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
3
2013
Spatial logics with connectedness predicates. Zbl 1201.68115
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
3
2010
Topology, connectedness, and modal logic. Zbl 1244.03066
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
3
2008
Automated reasoning about metric and topology. Zbl 1152.68523
Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael
3
2006
Temporal logics over transitive states. Zbl 1135.03333
Konev, Boris; Wolter, Frank; Zakharyaschev, Michael
3
2005
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael
3
2005
Dynamic description logics. Zbl 0993.03043
Wolter, Frank; Zakharyaschev, Michael
3
2001
On the independent axiomatizability of modal and intermediate logics. Zbl 0856.03017
Chagrov, Alexander; Zakharyaschev, Michael
3
1995
A sufficient condition for the finite model property of modal logics above \(K_ 4\). Zbl 0799.03010
Zakharyaschev, Michael
3
1993
Modal companions of superintuitionistic logics: Syntax, semantics, and preservation theorems. Zbl 0709.03017
Zakhar’yashchev, M. V.
3
1990
On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012
Chagrov, A. V.; Zakharyashchev, M. V.
3
1990
Normal modal logics containing S4. Zbl 0595.03011
Zakhar’yashchev, M. V.
3
1984
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
2
2018
Querying log data with metric temporal logic. Zbl 06932527
Brandt, 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.68282
Botoeva, 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.68235
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
2
2011
DL-Lite with temporalised concepts, rigid axioms and roles. Zbl 1193.68232
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
2
2009
Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157
Sturm, 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.00022
Kracht, 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.03004
Chagrov, Alexander; Zakharyaschev, Michael
2
1995
Modal companions of superintuitionistic logics: Syntax, semantics and preservation theorems. Zbl 0686.03011
Zakhar’yashchev, M. V.
2
1989
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
On the computational complexity of spatial logics with connectedness constraints. Zbl 1182.68280
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
1
2008
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
Gabbay, Dov M. (ed.); Goncharov, Sergei S. (ed.); Zakharyaschev, Michael (ed.)
1
2006
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
A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411
Lutz, 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.03008
Balbiani, 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.00513
Reynolds, Mark (ed.); Zakharyaschev, Michael (ed.)
1
2002
The origins of modern modal logic. Zbl 0994.03010
Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich
1
2001
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
A new solution to a problem of Hosoi and Ono. Zbl 0837.03025
Zakharyaschev, Michael
1
1994
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
2
2018
Querying log data with metric temporal logic. Zbl 06932527
Brandt, Sebastian; Kalaycı, Elem Güzel; Ryzhikov, Vladislav; Xiao, Guohui; 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
4
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
2
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
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
On the Blok-Esakia theorem. Zbl 1350.03022
Wolter, Frank; Zakharyaschev, Michael
3
2014
Topological logics with connectedness over Euclidean spaces. Zbl 1353.68267
Kontchakov, Roman; Nenov, Yavor; Pratt-Hartmann, Ian; Zakharyaschev, Michael
4
2013
The complexity of clausal fragments of LTL. Zbl 1433.03046
Artale, Alessandro; Kontchakov, Roman; Ryzhikov, Vladislav; Zakharyaschev, Michael
3
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
17
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
3
2010
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
42
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
11
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
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
Gabbay, Dov M. (ed.); Goncharov, Sergei S. (ed.); Zakharyaschev, Michael (ed.)
1
2006
Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682
Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
13
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
Temporal logics over transitive states. Zbl 1135.03333
Konev, Boris; Wolter, Frank; Zakharyaschev, Michael
3
2005
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008
Kontchakov, Roman; Kurucz, Agi; 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.
132
2003
Logics of metric spaces. Zbl 1365.68407
Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael
8
2003
A note on relativised products of modal logics. Zbl 1082.03018
Kurucz, Agi; Zakharyaschev, Michael
5
2003
A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411
Lutz, 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.03008
Balbiani, 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.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
Reynolds, Mark (ed.); Zakharyaschev, Michael (ed.)
1
2002
Advanced modal logic. Zbl 1003.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
25
2001
On the products of linear modal logics. Zbl 1002.03017
Reynolds, Mark; Zakharyaschev, Michael
10
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
7
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
4
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
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
14
1999
Intuitionistic modal logic. Zbl 0955.03029
Wolter, Frank; Zakharyaschev, Michael
10
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
Kracht, Marcus (ed.); De Rijke, Maarten (ed.); Wansing, Heinrich (ed.); Zakharyaschev, Michael (ed.)
2
1998
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
246
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
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
22
1992
Modal companions of intermediate propositional logics. Zbl 0766.03015
Chagrov, Aleksander; Zakharyashchev, Mikhail
18
1992
The disjunction property of intermediate propositional logics. Zbl 0739.03016
Chagrov, Alexander; Zakharyashchev, Michael
16
1991
Modal companions of superintuitionistic logics: Syntax, semantics, and preservation theorems. Zbl 0709.03017
Zakhar’yashchev, M. V.
3
1990
On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012
Chagrov, A. V.; Zakharyashchev, 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 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

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.