×

zbMATH — the first resource for mathematics

Wolter, Frank

Compute Distance To:
Author ID: wolter.frank Recent zbMATH articles by "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

Publications by Year

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.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
132
2003
Handbook of modal logic. Zbl 1114.03001
Blackburn, Patrick (ed.); van Benthem, Johan (ed.); Wolter, Frank (ed.)
63
2007
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
40
2000
Properties of independently axiomatizable bimodal logics. Zbl 0743.03013
Kracht, Marcus; Wolter, Frank
28
1991
Advanced modal logic. Zbl 1003.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
25
2001
On logics with coimplication. Zbl 0976.03020
Wolter, Frank
19
1998
Logic-based ontology comparison and module extraction, with an application to DL-Lite. Zbl 1238.68154
Kontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael
17
2010
Normal monomodal logics can simulate all others. Zbl 0972.03019
Kracht, Marcus; Wolter, Frank
17
1999
Axiomatizing the monodic fragment of first-order temporal logic. Zbl 1031.03023
Wolter, Frank; Zakharyaschev, Michael
15
2002
The complexity of circumscription in DLs. Zbl 1182.68275
Bonatti, P. A.; Lutz, C.; Wolter, F.
14
2009
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
Deciding inseparability and conservative extensions in the description logic. Zbl 1187.68572
Lutz, Carsten; Wolter, Frank
12
2010
Simulation and transfer results in modal logic – a survey. Zbl 0960.03014
Kracht, Marcus; Wolter, Frank
12
1997
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
11
2008
Fusions of modal logics revisited. Zbl 0956.03512
Wolter, Frank
11
1998
\({\mathcal E}\)-connections of abstract description systems. Zbl 1085.68162
Kutz, Oliver; Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael
10
2004
Modal logic and the two-variable fragment. Zbl 0999.03020
Lutz, Carsten; Sattler, Ulrike; Wolter, Frank
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
The structure of lattices of subframe logics. Zbl 0878.03015
Wolter, Frank
10
1997
Model-theoretic inseparability and modularity of description logic ontologies. Zbl 1329.68248
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank
9
2013
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
Formal properties of modularisation. Zbl 1242.68315
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank
8
2009
A logic for concepts and similarity. Zbl 1144.03010
Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M.
8
2007
Modal logics of topological relations. Zbl 1126.03026
Lutz, Carsten; Wolter, Frank
8
2006
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
Tense logic without tense operators. Zbl 0858.03019
Wolter, Frank
8
1996
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
7
2016
Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018
Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M.
7
2006
ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010
Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael
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
The finite model property in tense logic. Zbl 0836.03015
Wolter, Frank
7
1995
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 logical difference for the lightweight description logic \(\mathcal {EL}\). Zbl 1253.68303
Konev, B.; Ludwig, M.; Walther, D.; Wolter, F.
6
2012
A modal logic framework for reasoning about comparative distances and topology. Zbl 1225.03021
Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael
6
2010
The logical difference problem for description logic terminologies. Zbl 1165.68502
Konev, Boris; Walther, Dirk; Wolter, Frank
6
2008
Quantitative temporal logics over the reals: PSpace and below. Zbl 1109.03012
Lutz, Carsten; Walther, Dirk; Wolter, Frank
6
2007
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
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
6
2002
Modal description logics: Modalizing roles. Zbl 0951.03011
Wolter, Frank; Zakharyaschev, Michael
6
1999
Mathematical logic for life science ontologies. Zbl 1246.68211
Lutz, Carsten; Wolter, Frank
5
2009
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
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
The product of converse PDL and polymodal K. Zbl 0959.03013
Wolter, Frank
5
2000
Completeness and decidability of tense logics closely related to logics above K4. Zbl 0893.03005
Wolter, Frank
5
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
Reasoning about actions using description logics with general TBoxes. Zbl 1152.68609
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank
4
2006
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
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
First order common knowledge logics. Zbl 0963.03024
Wolter, Frank
4
2000
Superintuitionistic companions of classical modal logics. Zbl 0952.03020
Wolter, Frank
4
1997
On the Blok-Esakia theorem. Zbl 1350.03022
Wolter, Frank; Zakharyaschev, Michael
3
2014
Foundations of instance level updates in expressive description logics. Zbl 1252.68277
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank
3
2011
Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints. Zbl 1211.68408
Lutz, Carsten; Piro, Robert; Wolter, Frank
3
2010
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
All finitely axiomatizable tense logics of linear time flows are coNP-complete. Zbl 1096.03014
Litak, Tadeusz; Wolter, Frank
3
2005
A tableau calculus for temporal description logic: The expanding domain case. Zbl 1017.03007
Sturm, Holger; Wolter, Frank
3
2002
Dynamic description logics. Zbl 0993.03043
Wolter, Frank; Zakharyaschev, Michael
3
2001
Properties of tense logics. Zbl 0871.03010
Wolter, Frank
3
1996
A counterexample in tense logic. Zbl 0866.03007
Wolter, Frank
3
1996
Exact learning of lightweight description logic ontologies. Zbl 06982957
Konev, Boris; Lutz, Carsten; Ozaki, Ana; Wolter, Frank
2
2018
The data complexity of description logic ontologies. Zbl 1398.68517
Lutz, Carsten; Wolter, Frank
2
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
Logical difference computation with CEX2.5. Zbl 1358.68258
Konev, Boris; Ludwig, Michel; Wolter, Frank
2
2012
From tableaux to automata for description logics. Zbl 1038.03033
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
2
2003
First-order expressivity for S5-models: Modal vs. two-sorted languages. Zbl 0990.03014
Sturm, Holger; Wolter, Frank
2
2001
Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
2
2000
Solution to a problem of Goranko and Passy. Zbl 0788.03026
Wolter, Frank
2
1994
Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036
Lutz, 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 07104931
Lutz, Carsten; Seylan, Inanc; Wolter, Frank
1
2019
Automata for ontologies. Zbl 1435.68319
Wolter, Frank
1
2016
Decidability of circumscribed description logics revisited. Zbl 1432.68428
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank
1
2015
Lower and upper approximations for depleting modules of description logic ontologies. Zbl 1366.68304
Gatens, William; Konev, Boris; Wolter, Frank
1
2014
Temporal and dynamic logic. Zbl 1273.03066
Wolter, Frank; Wooldridge, Michael
1
2011
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
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
The algebraic face of minimality. Zbl 0978.03023
Wolter, Frank
1
1998
A note on atoms in polymodal algebras. Zbl 0902.06020
Wolter, F.
1
1997
What is the upper part of the lattice of bimodal logics? Zbl 0814.03013
Wolter, Frank
1
1994
Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036
Lutz, 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 07104931
Lutz, Carsten; Seylan, Inanc; Wolter, Frank
1
2019
Exact learning of lightweight description logic ontologies. Zbl 06982957
Konev, Boris; Lutz, Carsten; Ozaki, Ana; Wolter, Frank
2
2018
The data complexity of description logic ontologies. Zbl 1398.68517
Lutz, Carsten; Wolter, Frank
2
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
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
7
2016
Games for query inseparability of description logic knowledge bases. Zbl 1351.68263
Botoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
6
2016
Automata for ontologies. Zbl 1435.68319
Wolter, Frank
1
2016
Decidability of circumscribed description logics revisited. Zbl 1432.68428
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank
1
2015
On the Blok-Esakia theorem. Zbl 1350.03022
Wolter, Frank; Zakharyaschev, Michael
3
2014
Lower and upper approximations for depleting modules of description logic ontologies. Zbl 1366.68304
Gatens, William; Konev, Boris; Wolter, Frank
1
2014
Model-theoretic inseparability and modularity of description logic ontologies. Zbl 1329.68248
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank
9
2013
The logical difference for the lightweight description logic \(\mathcal {EL}\). Zbl 1253.68303
Konev, B.; Ludwig, M.; Walther, D.; Wolter, F.
6
2012
Logical difference computation with CEX2.5. Zbl 1358.68258
Konev, Boris; Ludwig, Michel; Wolter, Frank
2
2012
Foundations of instance level updates in expressive description logics. Zbl 1252.68277
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank
3
2011
Temporal and dynamic logic. Zbl 1273.03066
Wolter, Frank; Wooldridge, Michael
1
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
Deciding inseparability and conservative extensions in the description logic. Zbl 1187.68572
Lutz, Carsten; Wolter, Frank
12
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
Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints. Zbl 1211.68408
Lutz, Carsten; Piro, Robert; Wolter, Frank
3
2010
Spatial logics with connectedness predicates. Zbl 1201.68115
Kontchakov, Roman; Pratt-Hartmann, Ian; Wolter, Frank; Zakharyaschev, Michael
3
2010
The complexity of circumscription in DLs. Zbl 1182.68275
Bonatti, P. A.; Lutz, C.; Wolter, F.
14
2009
Formal properties of modularisation. Zbl 1242.68315
Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank
8
2009
Mathematical logic for life science ontologies. Zbl 1246.68211
Lutz, Carsten; Wolter, Frank
5
2009
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
11
2008
The logical difference problem for description logic terminologies. Zbl 1165.68502
Konev, Boris; Walther, Dirk; Wolter, Frank
6
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
Handbook of modal logic. Zbl 1114.03001
Blackburn, Patrick (ed.); van Benthem, Johan (ed.); Wolter, Frank (ed.)
63
2007
A logic for concepts and similarity. Zbl 1144.03010
Sheremet, Mikhail; Tishkovsky, D.; Wolter, F.; Zakharyaschev, M.
8
2007
Quantitative temporal logics over the reals: PSpace and below. Zbl 1109.03012
Lutz, Carsten; Walther, Dirk; Wolter, Frank
6
2007
On dynamic topological and metric logics. Zbl 1114.03026
Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M.
9
2006
Modal logics of topological relations. Zbl 1126.03026
Lutz, Carsten; Wolter, Frank
8
2006
Dynamic topological logics over spaces with continuous functions. Zbl 1148.03018
Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M.
7
2006
ATL satisfiability is indeed ExpTime-complete. Zbl 1118.03010
Walther, Dirk; Lutz, Carsten; Wolter, Frank; Wooldridge, Michael
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
Reasoning about actions using description logics with general TBoxes. Zbl 1152.68609
Liu, Hongkai; Lutz, Carsten; Miličić, Maja; Wolter, Frank
4
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
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
All finitely axiomatizable tense logics of linear time flows are coNP-complete. Zbl 1096.03014
Litak, Tadeusz; Wolter, Frank
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
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
From tableaux to automata for description logics. Zbl 1038.03033
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
2
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
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
6
2002
Axiomatizing distance logics. Zbl 1185.03034
Kutz, 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.03007
Sturm, Holger; Wolter, Frank
3
2002
Advanced modal logic. Zbl 1003.03516
Zakharyaschev, M.; Wolter, F.; Chagrov, A.
25
2001
Modal logic and the two-variable fragment. Zbl 0999.03020
Lutz, Carsten; Sattler, Ulrike; Wolter, Frank
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
First-order expressivity for S5-models: Modal vs. two-sorted languages. Zbl 0990.03014
Sturm, Holger; Wolter, Frank
2
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
The product of converse PDL and polymodal K. Zbl 0959.03013
Wolter, Frank
5
2000
First order common knowledge logics. Zbl 0963.03024
Wolter, Frank
4
2000
Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
2
2000
Normal monomodal logics can simulate all others. Zbl 0972.03019
Kracht, Marcus; Wolter, Frank
17
1999
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
On logics with coimplication. Zbl 0976.03020
Wolter, Frank
19
1998
Fusions of modal logics revisited. Zbl 0956.03512
Wolter, Frank
11
1998
Speaking about transitive frames in propositional languages. Zbl 0927.03036
Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael
8
1998
The algebraic face of minimality. Zbl 0978.03023
Wolter, Frank
1
1998
Simulation and transfer results in modal logic – a survey. Zbl 0960.03014
Kracht, Marcus; Wolter, Frank
12
1997
The structure of lattices of subframe logics. Zbl 0878.03015
Wolter, Frank
10
1997
The relation between intuitionistic and classical modal logics. Zbl 0937.03033
Wolter, F.; Zakharyashchev, M.
8
1997
Completeness and decidability of tense logics closely related to logics above K4. Zbl 0893.03005
Wolter, Frank
5
1997
Superintuitionistic companions of classical modal logics. Zbl 0952.03020
Wolter, Frank
4
1997
A note on atoms in polymodal algebras. Zbl 0902.06020
Wolter, F.
1
1997
Tense logic without tense operators. Zbl 0858.03019
Wolter, Frank
8
1996
Properties of tense logics. Zbl 0871.03010
Wolter, Frank
3
1996
A counterexample in tense logic. Zbl 0866.03007
Wolter, Frank
3
1996
The finite model property in tense logic. Zbl 0836.03015
Wolter, Frank
7
1995
Solution to a problem of Goranko and Passy. Zbl 0788.03026
Wolter, Frank
2
1994
What is the upper part of the lattice of bimodal logics? Zbl 0814.03013
Wolter, Frank
1
1994
Properties of independently axiomatizable bimodal logics. Zbl 0743.03013
Kracht, Marcus; Wolter, Frank
28
1991
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

Citations by Year

Wikidata Timeline