Edit Profile Wolter, Frank Compute Distance To: Compute Author ID: wolter.frank Published as: Wolter, F.; Wolter, Frank Homepage: http://cgi.csc.liv.ac.uk/~frank/ External Links: MGP · Wikidata · ResearchGate · dblp Documents Indexed: 117 Publications since 1991, including 8 Books all top 5 Co-Authors 20 single-authored 56 Zakharyaschev, Michael Viktorovich 33 Lutz, Carsten 12 Konev, Boris 10 Sturm, Holger 9 Kontchakov, Roman 8 Kurucz, Agi 6 Walther, Dirk 4 Baader, Franz 4 Sheremet, Mikhail Sergeevich 4 Suzuki, Nobu-Yuki 4 Tishkovsky, Dmitry 3 Botoeva, Elena 3 Gabelaia, David 3 Hodkinson, Ian Martin 3 Kracht, Marcus 3 Kutz, Oliver 3 Pratt-Hartmann, Ian 3 Ryzhikov, Vladislav 2 Bonatti, Piero Andrea 2 Gąsieniec, Leszek Antoni 2 Hladik, Jan 2 Kikot, Stanislav 2 Liu, Hongkai 2 Ludwig, Michel 2 Miličić, Maja 2 Sattler, Uli 2 Suzuki, Yasuhito 2 Tinelli, Cesare 2 Turhan, Anni-Yasmin 2 Wooldridge, Michael J. 1 Artale, Alessandro 1 Balbiani, Philippe 1 Bauer, Sebastian S. 1 Bennett, Brandon 1 Bienvenu, Meghyn 1 Blackburn, Patrick 1 Chagrov, Aleksandr Vasil’evich 1 Cohn, Anthony G. 1 de Rijke, Maarten 1 Faella, Marco 1 Franconi, Enrico 1 Gabbay, Dov M. 1 Gatens, William 1 Ghilardi, Silvio 1 Hernich, André 1 Herrmann, Björn 1 Hustadt, Ullrich 1 Jung, Jean Christoph 1 Litak, Tadeusz 1 Martel, Mauricio 1 Martin, Russell A. 1 Ozaki, Ana 1 Papacchini, Fabio 1 Piro, Robert 1 Rautenberg, Wolfgang 1 Sattler, Ulrike 1 Sauro, Luigi 1 Schneider, Thomas 1 Seylan, İnanç 1 Tanaka, Yoshihito 1 van Benthem, Johan F. A. K. 1 Wansing, Heinrich Theodor 1 Wong, Prudence Wai-Ha all top 5 Serials 9 Studia Logica 8 The Journal of Symbolic Logic 6 Artificial Intelligence 6 Journal of Logic and Computation 5 Annals of Pure and Applied Logic 5 The Journal of Artificial Intelligence Research (JAIR) 4 Logical Methods in Computer Science 3 Journal of Philosophical Logic 3 ACM Transactions on Computational Logic 3 Lecture Notes in Computer Science 2 Algebra Universalis 2 Mathematical Logic Quarterly (MLQ) 2 Fundamenta Informaticae 1 Algebra i Logika 1 Notre Dame Journal of Formal Logic 1 Theoretical Computer Science 1 Bulletin of the Section of Logic 1 Journal of Symbolic Computation 1 Information and Computation 1 Applied Intelligence 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Economic Theory 1 RIMS Kokyuroku 1 Logic and Logical Philosophy 1 Journal of Machine Learning Research (JMLR) 1 Studies in Logic and the Foundations of Mathematics 1 Berichte aus der Mathematik all top 5 Fields 86 Mathematical logic and foundations (03-XX) 70 Computer science (68-XX) 8 General topology (54-XX) 6 General and overarching topics; collections (00-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 99 Publications have been cited 835 times in 504 Documents Cited by ▼ Year ▼ Many-dimensional modal logics: theory and applications. Zbl 1051.03001Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 132 2003 Handbook of modal logic. Zbl 1114.03001Blackburn, Patrick (ed.); van Benthem, Johan (ed.); Wolter, Frank (ed.) 63 2007 Decidable fragments of first-order temporal logics. Zbl 0999.03015Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 40 2000 Properties of independently axiomatizable bimodal logics. Zbl 0743.03013Kracht, Marcus; Wolter, Frank 28 1991 Advanced modal logic. Zbl 1003.03516Zakharyaschev, M.; Wolter, F.; Chagrov, A. 25 2001 On logics with coimplication. Zbl 0976.03020Wolter, Frank 19 1998 Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael 17 2010 Normal monomodal logics can simulate all others. Zbl 0972.03019Kracht, Marcus; Wolter, Frank 17 1999 Axiomatizing the monodic fragment of first-order temporal logic. Zbl 1031.03023Wolter, Frank; Zakharyaschev, Michael 15 2002 The complexity of circumscription in DLs. Zbl 1182.68275Bonatti, P. A.; Lutz, C.; Wolter, F. 14 2009 Intuitionistic modal logics as fragments of classical bimodal logics. Zbl 0922.03023Wolter, Frank; Zakharyaschev, Michael 14 1999 Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 13 2005 Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Zbl 1051.03019Bennett, Brandon; Cohn, Anthony G.; Wolter, Frank; Zakharyaschev, Michael 13 2002 Deciding inseparability and conservative extensions in the description logic. Zbl 1187.68572Lutz, Carsten; Wolter, Frank 12 2010 Simulation and transfer results in modal logic – a survey. Zbl 0960.03014Kracht, Marcus; Wolter, Frank 12 1997 Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026Wolter, Frank; Zakharyaschev, Michael 11 2008 Fusions of modal logics revisited. Zbl 0956.03512Wolter, Frank 11 1998 \({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 10 2004 Modal logic and the two-variable fragment. Zbl 0999.03020Lutz, Carsten; Sattler, Ulrike; Wolter, Frank 10 2001 Decidable fragments of first-order modal logics. Zbl 0996.03010Wolter, Frank; Zakharyaschev, Michael 10 2001 Intuitionistic modal logic. Zbl 0955.03029Wolter, Frank; Zakharyaschev, Michael 10 1999 The structure of lattices of subframe logics. Zbl 0878.03015Wolter, Frank 10 1997 Model-theoretic inseparability and modularity of description logic ontologies. Zbl 1329.68248Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank 9 2013 On dynamic topological and metric logics. Zbl 1114.03026Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 9 2006 Temporalizing description logics. Zbl 0994.03026Wolter, Frank; Zakharyaschev, Michael 9 2000 Formal properties of modularisation. Zbl 1242.68315Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank 8 2009 A logic for concepts and similarity. Zbl 1144.03010Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M. 8 2007 Modal logics of topological relations. Zbl 1126.03026Lutz, Carsten; Wolter, Frank 8 2006 Products of ‘transitive’ modal logics. Zbl 1103.03020Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 8 2005 Logics of metric spaces. Zbl 1365.68407Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael 8 2003 Speaking about transitive frames in propositional languages. Zbl 0927.03036Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael 8 1998 The relation between intuitionistic and classical modal logics. Zbl 0937.03033Wolter, F.; Zakharyashchev, M. 8 1997 Tense logic without tense operators. Zbl 0858.03019Wolter, Frank 8 1996 Query and predicate emptiness in ontology-based data access. Zbl 1357.68226Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank 7 2016 Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 7 2006 ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael 7 2006 Temporalising tableaux. Zbl 1050.03015Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 7 2004 A temporal description logic for reasoning over conceptual schemas and queries. Zbl 1013.03027Artale, Alessandro; Franconi, Enrico; Wolter, Frank; Zakharyaschev, Michael 7 2002 Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 7 2001 The finite model property in tense logic. Zbl 0836.03015Wolter, Frank 7 1995 Games for query inseparability of description logic knowledge bases. Zbl 1351.68263Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 6 2016 The logical difference for the lightweight description logic \(\mathcal {EL}\). Zbl 1253.68303Konev, B.; Ludwig, M.; Walther, D.; Wolter, F. 6 2012 A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael 6 2010 The logical difference problem for description logic terminologies. Zbl 1165.68502Konev, Boris; Walther, Dirk; Wolter, Frank 6 2008 Quantitative temporal logics over the reals: PSpace and below. Zbl 1109.03012Lutz, Carsten; Walther, Dirk; Wolter, Frank 6 2007 Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 6 2006 A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains. Zbl 1010.03012Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 6 2002 Fusions of description logics and abstract description systems. Zbl 0995.03025Baader, F.; Lutz, C.; Sturm, H.; Wolter, F. 6 2002 Modal description logics: Modalizing roles. Zbl 0951.03011Wolter, Frank; Zakharyaschev, Michael 6 1999 Mathematical logic for life science ontologies. Zbl 1246.68211Lutz, Carsten; Wolter, Frank 5 2009 Conservative extensions in modal logic. Zbl 1148.03014Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M. 5 2006 Comparative similarity, tree automata, and Diophantine equations. Zbl 1143.68600Sheremet, Mikhail; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael 5 2005 On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 5 2004 Common knowledge and quantification. Zbl 0994.03008Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2001 Monodic epistemic predicate logic. Zbl 0998.03011Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2000 The product of converse PDL and polymodal K. Zbl 0959.03013Wolter, Frank 5 2000 Completeness and decidability of tense logics closely related to logics above K4. Zbl 0893.03005Wolter, Frank 5 1997 Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\). Zbl 1252.68275Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 4 2010 Reasoning about actions using description logics with general TBoxes. Zbl 1152.68609Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank 4 2006 From tableaux to automata for description logics. Zbl 1273.03095Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank 4 2003 Axiomatizing distance logics. Zbl 1185.03034Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 4 2002 Tableaux for temporal description logic with constant domains. Zbl 0988.68178Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 4 2001 First order common knowledge logics. Zbl 0963.03024Wolter, Frank 4 2000 Superintuitionistic companions of classical modal logics. Zbl 0952.03020Wolter, Frank 4 1997 On the Blok-Esakia theorem. Zbl 1350.03022Wolter, Frank; Zakharyaschev, Michael 3 2014 Foundations of instance level updates in expressive description logics. Zbl 1252.68277Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank 3 2011 Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints. Zbl 1211.68408Lutz, Carsten; Piro, Robert; Wolter, Frank 3 2010 Spatial logics with connectedness predicates. Zbl 1201.68115Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 3 2010 Topology, connectedness, and modal logic. Zbl 1244.03066Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 3 2008 Automated reasoning about metric and topology. Zbl 1152.68523Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael 3 2006 Temporal logics over transitive states. Zbl 1135.03333Konev, Boris; Wolter, Frank; Zakharyaschev, Michael 3 2005 All finitely axiomatizable tense logics of linear time flows are coNP-complete. Zbl 1096.03014Litak, Tadeusz; Wolter, Frank 3 2005 A tableau calculus for temporal description logic: The expanding domain case. Zbl 1017.03007Sturm, Holger; Wolter, Frank 3 2002 Dynamic description logics. Zbl 0993.03043Wolter, Frank; Zakharyaschev, Michael 3 2001 Properties of tense logics. Zbl 0871.03010Wolter, Frank 3 1996 A counterexample in tense logic. Zbl 0866.03007Wolter, Frank 3 1996 Exact learning of lightweight description logic ontologies. Zbl 06982957Konev, Boris; Lutz, Carsten; Ozaki, Ana; Wolter, Frank 2 2018 The data complexity of description logic ontologies. Zbl 1398.68517Lutz, Carsten; Wolter, Frank 2 2017 Inseparability and conservative extensions of description logic ontologies: a survey. Zbl 1358.68282Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 2 2017 Logical difference computation with CEX2.5. Zbl 1358.68258Konev, Boris; Ludwig, Michel; Wolter, Frank 2 2012 From tableaux to automata for description logics. Zbl 1038.03033Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank 2 2003 First-order expressivity for S5-models: Modal vs. two-sorted languages. Zbl 0990.03014Sturm, Holger; Wolter, Frank 2 2001 Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 2 2000 Solution to a problem of Goranko and Passy. Zbl 0788.03026Wolter, Frank 2 1994 Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036Lutz, Carsten (ed.); Sattler, Uli (ed.); Tinelli, Cesare (ed.); Turhan, Anni-Yasmin (ed.); Wolter, Frank (ed.) 1 2019 The data complexity of ontology-mediated queries with closed predicates. Zbl 07104931Lutz, Carsten; Seylan, Inanc; Wolter, Frank 1 2019 Automata for ontologies. Zbl 1435.68319Wolter, Frank 1 2016 Decidability of circumscribed description logics revisited. Zbl 1432.68428Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank 1 2015 Lower and upper approximations for depleting modules of description logic ontologies. Zbl 1366.68304Gatens, William; Konev, Boris; Wolter, Frank 1 2014 Temporal and dynamic logic. Zbl 1273.03066Wolter, Frank; Wooldridge, Michael 1 2011 On the computational complexity of spatial logics with connectedness constraints. Zbl 1182.68280Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 1 2008 Willem Blok and modal logic. Zbl 1105.03020Rautenberg, W.; Zakharyaschev, M.; Wolter, F. 1 2006 Modal logics for metric spaces: open problems. Zbl 1272.03101Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 1 2005 A logic for metric and topology. Zbl 1089.03021Wolter, Frank; Zakharyaschev, Michael 1 2005 A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 1 2003 Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008Balbiani, Philippe (ed.); Suzuki, Nobu-Yuki (ed.); Wolter, Frank (ed.); Zakharyaschev, Michael (ed.) 1 2003 The algebraic face of minimality. Zbl 0978.03023Wolter, Frank 1 1998 A note on atoms in polymodal algebras. Zbl 0902.06020Wolter, F. 1 1997 What is the upper part of the lattice of bimodal logics? Zbl 0814.03013Wolter, Frank 1 1994 Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036Lutz, Carsten (ed.); Sattler, Uli (ed.); Tinelli, Cesare (ed.); Turhan, Anni-Yasmin (ed.); Wolter, Frank (ed.) 1 2019 The data complexity of ontology-mediated queries with closed predicates. Zbl 07104931Lutz, Carsten; Seylan, Inanc; Wolter, Frank 1 2019 Exact learning of lightweight description logic ontologies. Zbl 06982957Konev, Boris; Lutz, Carsten; Ozaki, Ana; Wolter, Frank 2 2018 The data complexity of description logic ontologies. Zbl 1398.68517Lutz, Carsten; Wolter, Frank 2 2017 Inseparability and conservative extensions of description logic ontologies: a survey. Zbl 1358.68282Botoeva, Elena; Konev, Boris; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 2 2017 Query and predicate emptiness in ontology-based data access. Zbl 1357.68226Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank 7 2016 Games for query inseparability of description logic knowledge bases. Zbl 1351.68263Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 6 2016 Automata for ontologies. Zbl 1435.68319Wolter, Frank 1 2016 Decidability of circumscribed description logics revisited. Zbl 1432.68428Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank 1 2015 On the Blok-Esakia theorem. Zbl 1350.03022Wolter, Frank; Zakharyaschev, Michael 3 2014 Lower and upper approximations for depleting modules of description logic ontologies. Zbl 1366.68304Gatens, William; Konev, Boris; Wolter, Frank 1 2014 Model-theoretic inseparability and modularity of description logic ontologies. Zbl 1329.68248Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank 9 2013 The logical difference for the lightweight description logic \(\mathcal {EL}\). Zbl 1253.68303Konev, B.; Ludwig, M.; Walther, D.; Wolter, F. 6 2012 Logical difference computation with CEX2.5. Zbl 1358.68258Konev, Boris; Ludwig, Michel; Wolter, Frank 2 2012 Foundations of instance level updates in expressive description logics. Zbl 1252.68277Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank 3 2011 Temporal and dynamic logic. Zbl 1273.03066Wolter, Frank; Wooldridge, Michael 1 2011 Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael 17 2010 Deciding inseparability and conservative extensions in the description logic. Zbl 1187.68572Lutz, Carsten; Wolter, Frank 12 2010 A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael 6 2010 Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\). Zbl 1252.68275Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 4 2010 Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints. Zbl 1211.68408Lutz, Carsten; Piro, Robert; Wolter, Frank 3 2010 Spatial logics with connectedness predicates. Zbl 1201.68115Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 3 2010 The complexity of circumscription in DLs. Zbl 1182.68275Bonatti, P. A.; Lutz, C.; Wolter, F. 14 2009 Formal properties of modularisation. Zbl 1242.68315Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank 8 2009 Mathematical logic for life science ontologies. Zbl 1246.68211Lutz, Carsten; Wolter, Frank 5 2009 Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026Wolter, Frank; Zakharyaschev, Michael 11 2008 The logical difference problem for description logic terminologies. Zbl 1165.68502Konev, Boris; Walther, Dirk; Wolter, Frank 6 2008 Topology, connectedness, and modal logic. Zbl 1244.03066Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 3 2008 On the computational complexity of spatial logics with connectedness constraints. Zbl 1182.68280Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael 1 2008 Handbook of modal logic. Zbl 1114.03001Blackburn, Patrick (ed.); van Benthem, Johan (ed.); Wolter, Frank (ed.) 63 2007 A logic for concepts and similarity. Zbl 1144.03010Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M. 8 2007 Quantitative temporal logics over the reals: PSpace and below. Zbl 1109.03012Lutz, Carsten; Walther, Dirk; Wolter, Frank 6 2007 On dynamic topological and metric logics. Zbl 1114.03026Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 9 2006 Modal logics of topological relations. Zbl 1126.03026Lutz, Carsten; Wolter, Frank 8 2006 Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M. 7 2006 ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael 7 2006 Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 6 2006 Conservative extensions in modal logic. Zbl 1148.03014Ghilardi, S.; Lutz, C.; Wolter, F.; Zakharyaschev, M. 5 2006 Reasoning about actions using description logics with general TBoxes. Zbl 1152.68609Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank 4 2006 Automated reasoning about metric and topology. Zbl 1152.68523Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael 3 2006 Willem Blok and modal logic. Zbl 1105.03020Rautenberg, W.; Zakharyaschev, M.; Wolter, F. 1 2006 Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 13 2005 Products of ‘transitive’ modal logics. Zbl 1103.03020Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 8 2005 Comparative similarity, tree automata, and Diophantine equations. Zbl 1143.68600Sheremet, Mikhail; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael 5 2005 Temporal logics over transitive states. Zbl 1135.03333Konev, Boris; Wolter, Frank; Zakharyaschev, Michael 3 2005 All finitely axiomatizable tense logics of linear time flows are coNP-complete. Zbl 1096.03014Litak, Tadeusz; Wolter, Frank 3 2005 Modal logics for metric spaces: open problems. Zbl 1272.03101Kurucz, Agi; Wolter, Frank; Zakharyaschev, Michael 1 2005 A logic for metric and topology. Zbl 1089.03021Wolter, Frank; Zakharyaschev, Michael 1 2005 \({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 10 2004 Temporalising tableaux. Zbl 1050.03015Kontchakov, Roman; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 7 2004 On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 5 2004 Many-dimensional modal logics: theory and applications. Zbl 1051.03001Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 132 2003 Logics of metric spaces. Zbl 1365.68407Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael 8 2003 From tableaux to automata for description logics. Zbl 1273.03095Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank 4 2003 From tableaux to automata for description logics. Zbl 1038.03033Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank 2 2003 A tableau algorithm for reasoning about concepts and similarity. Zbl 1274.68411Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 1 2003 Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008Balbiani, Philippe (ed.); Suzuki, Nobu-Yuki (ed.); Wolter, Frank (ed.); Zakharyaschev, Michael (ed.) 1 2003 Axiomatizing the monodic fragment of first-order temporal logic. Zbl 1031.03023Wolter, Frank; Zakharyaschev, Michael 15 2002 Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Zbl 1051.03019Bennett, Brandon; Cohn, Anthony G.; Wolter, Frank; Zakharyaschev, Michael 13 2002 A temporal description logic for reasoning over conceptual schemas and queries. Zbl 1013.03027Artale, Alessandro; Franconi, Enrico; Wolter, Frank; Zakharyaschev, Michael 7 2002 A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains. Zbl 1010.03012Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 6 2002 Fusions of description logics and abstract description systems. Zbl 0995.03025Baader, F.; Lutz, C.; Sturm, H.; Wolter, F. 6 2002 Axiomatizing distance logics. Zbl 1185.03034Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 4 2002 A tableau calculus for temporal description logic: The expanding domain case. Zbl 1017.03007Sturm, Holger; Wolter, Frank 3 2002 Advanced modal logic. Zbl 1003.03516Zakharyaschev, M.; Wolter, F.; Chagrov, A. 25 2001 Modal logic and the two-variable fragment. Zbl 0999.03020Lutz, Carsten; Sattler, Ulrike; Wolter, Frank 10 2001 Decidable fragments of first-order modal logics. Zbl 0996.03010Wolter, Frank; Zakharyaschev, Michael 10 2001 Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 7 2001 Common knowledge and quantification. Zbl 0994.03008Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2001 Tableaux for temporal description logic with constant domains. Zbl 0988.68178Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 4 2001 Dynamic description logics. Zbl 0993.03043Wolter, Frank; Zakharyaschev, Michael 3 2001 First-order expressivity for S5-models: Modal vs. two-sorted languages. Zbl 0990.03014Sturm, Holger; Wolter, Frank 2 2001 Decidable fragments of first-order temporal logics. Zbl 0999.03015Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 40 2000 Temporalizing description logics. Zbl 0994.03026Wolter, Frank; Zakharyaschev, Michael 9 2000 Monodic epistemic predicate logic. Zbl 0998.03011Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael 5 2000 The product of converse PDL and polymodal K. Zbl 0959.03013Wolter, Frank 5 2000 First order common knowledge logics. Zbl 0963.03024Wolter, Frank 4 2000 Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael 2 2000 Normal monomodal logics can simulate all others. Zbl 0972.03019Kracht, Marcus; Wolter, Frank 17 1999 Intuitionistic modal logics as fragments of classical bimodal logics. Zbl 0922.03023Wolter, Frank; Zakharyaschev, Michael 14 1999 Intuitionistic modal logic. Zbl 0955.03029Wolter, Frank; Zakharyaschev, Michael 10 1999 Modal description logics: Modalizing roles. Zbl 0951.03011Wolter, Frank; Zakharyaschev, Michael 6 1999 On logics with coimplication. Zbl 0976.03020Wolter, Frank 19 1998 Fusions of modal logics revisited. Zbl 0956.03512Wolter, Frank 11 1998 Speaking about transitive frames in propositional languages. Zbl 0927.03036Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael 8 1998 The algebraic face of minimality. Zbl 0978.03023Wolter, Frank 1 1998 Simulation and transfer results in modal logic – a survey. Zbl 0960.03014Kracht, Marcus; Wolter, Frank 12 1997 The structure of lattices of subframe logics. Zbl 0878.03015Wolter, Frank 10 1997 The relation between intuitionistic and classical modal logics. Zbl 0937.03033Wolter, F.; Zakharyashchev, M. 8 1997 Completeness and decidability of tense logics closely related to logics above K4. Zbl 0893.03005Wolter, Frank 5 1997 Superintuitionistic companions of classical modal logics. Zbl 0952.03020Wolter, Frank 4 1997 A note on atoms in polymodal algebras. Zbl 0902.06020Wolter, F. 1 1997 Tense logic without tense operators. Zbl 0858.03019Wolter, Frank 8 1996 Properties of tense logics. Zbl 0871.03010Wolter, Frank 3 1996 A counterexample in tense logic. Zbl 0866.03007Wolter, Frank 3 1996 The finite model property in tense logic. Zbl 0836.03015Wolter, Frank 7 1995 Solution to a problem of Goranko and Passy. Zbl 0788.03026Wolter, Frank 2 1994 What is the upper part of the lattice of bimodal logics? Zbl 0814.03013Wolter, Frank 1 1994 Properties of independently axiomatizable bimodal logics. Zbl 0743.03013Kracht, Marcus; Wolter, Frank 28 1991 all cited Publications top 5 cited Publications all top 5 Cited by 588 Authors 31 Wolter, Frank 18 Zakharyaschev, Michael Viktorovich 13 Lutz, Carsten 9 Bezhanishvili, Guram 9 Kamide, Norihiro 9 Kurucz, Agi 9 Rybakov, Vladimir Vladimirovich 8 Baader, Franz 8 Balbiani, Philippe 8 Demri, Stéphane P. 8 Dixon, Clare 8 Hodkinson, Ian Martin 8 Konev, Boris 8 van der Hoek, Wiebe 7 Artale, Alessandro 7 Gabbay, Dov M. 7 Kontchakov, Roman 7 Ryzhikov, Vladislav 7 Schmidt, Renate A. 7 van Benthem, Johan F. A. K. 6 Fisher, Michael W. 6 Kikot, Stanislav 6 Kuusisto, Antti 6 Sernadas, Cristina S. 6 Varzinczak, Ivan Jóse 6 Wansing, Heinrich Theodor 5 Bezhanishvili, Nick 5 Britz, Katarina 5 Fernández Duque, David 5 Ghilardi, Silvio 5 Goranko, Valentin F. 5 Hustadt, Ullrich 5 Kremer, Philip 5 Kutz, Oliver 5 Palmigiano, Alessandra 5 Rasga, João 5 Schwarzentruber, François 5 Sernadas, Amilcar C. 5 Tao, Jia 5 Tishkovsky, Dmitry 5 Venema, Yde 4 Areces, Carlos 4 Belardinelli, Francesco 4 Benevides, Mario R. F. 4 Botoeva, Elena 4 Cuenca Grau, Bernardo 4 Gabelaia, David 4 Godo, Lluís 4 Gonçalves, Ricardo 4 Iemhoff, Rosalie 4 Knorr, Matthias 4 Leite, João 4 Litak, Tadeusz 4 Olivetti, Nicola 4 Ortiz, Magdalena 4 Pacuit, Eric 3 Ågotnes, Thomas 3 Alenda, Régis 3 Andréka, Hajnal 3 Benzmüller, Christoph Ewald 3 Bonatti, Piero Andrea 3 Celani, Sergio Arturo 3 Conradie, Willem J. 3 Fisher, Michael E. 3 Gencer, Çigdem 3 Giordano, Laura 3 Grant, John R. 3 Hampson, Christopher 3 Hella, Lauri T. 3 Herzig, Andreas 3 Hussak, Walter 3 Kooi, Barteld Pieter 3 Kramer, Simon 3 Lomuscio, Alessio 3 Marcelino, Sérgio 3 Metcalfe, George 3 Montanari, Angelo 3 Morawska, Barbara 3 Muñoz-Velasco, Emilio 3 Nalon, Cláudia 3 Németi, István 3 Olkhovikov, Grigory K. 3 Peñaloza, Rafael 3 Pozzato, Gian Luca 3 Protopopescu, Tudor 3 Rodríguez, Ricardo Oscar 3 Roy, Olivier 3 Sala, Pietro 3 Salhi, Yakoub 3 Sano, Katsuhiko 3 Sciavicco, Guido 3 Seylan, İnanç 3 Shehtman, Valentin B. 3 Shramko, Yaroslav V. 3 Šimkus, Mantas 3 Topor, Rodney W. 3 Troquard, Nicolas 3 van Ditmarsch, Hans Pieter 3 Vetterlein, Thomas 3 Wang, Kewen ...and 488 more Authors all top 5 Cited in 69 Serials 51 Studia Logica 35 Artificial Intelligence 31 Annals of Pure and Applied Logic 21 Journal of Applied Logic 19 Theoretical Computer Science 19 Journal of Applied Non-Classical Logics 17 The Journal of Symbolic Logic 14 Journal of Philosophical Logic 14 Information and Computation 13 Annals of Mathematics and Artificial Intelligence 12 Notre Dame Journal of Formal Logic 12 Journal of Automated Reasoning 12 ACM Transactions on Computational Logic 10 Synthese 10 International Journal of Approximate Reasoning 10 The Review of Symbolic Logic 9 Logica Universalis 8 Journal of Logic, Language and Information 7 Logical Methods in Computer Science 6 The Bulletin of Symbolic Logic 5 Siberian Mathematical Journal 4 MSCS. Mathematical Structures in Computer Science 4 Theory and Practice of Logic Programming 3 Mathematical Notes 3 Journal of Computer and System Sciences 3 International Journal of Computer Mathematics 3 Archive for Mathematical Logic 3 Mathematical Logic Quarterly (MLQ) 3 Logic and Logical Philosophy 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Journal of Logical and Algebraic Methods in Programming 2 Algebra Universalis 2 Fuzzy Sets and Systems 2 Information Sciences 2 Transactions of the American Mathematical Society 2 Indagationes Mathematicae. New Series 2 Frontiers of Computer Science 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Moscow University Mathematics Bulletin 1 Problems of Information Transmission 1 Advances in Mathematics 1 Algebra and Logic 1 International Journal of Mathematics and Mathematical Sciences 1 SIAM Journal on Computing 1 Bulletin of the Section of Logic 1 Order 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 Algorithmica 1 International Journal of Algebra and Computation 1 Distributed Computing 1 Economic Theory 1 Theory of Computing Systems 1 Soft Computing 1 Erkenntnis 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 Central European Journal of Mathematics 1 Computational Intelligence 1 Fuzzy Optimization and Decision Making 1 Proceedings of the Steklov Institute of Mathematics 1 International Journal of Intelligent Computing and Cybernetics 1 Bulletin of Mathematical Analysis and Applications 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Games all top 5 Cited in 17 Fields 394 Mathematical logic and foundations (03-XX) 242 Computer science (68-XX) 20 Order, lattices, ordered algebraic structures (06-XX) 15 General topology (54-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 General and overarching topics; collections (00-XX) 6 Combinatorics (05-XX) 5 General algebraic systems (08-XX) 2 History and biography (01-XX) 2 Information and communication theory, circuits (94-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Functional analysis (46-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) 1 Systems theory; control (93-XX) Citations by Year Wikidata Timeline