×

zbMATH — the first resource for mathematics

de Rijke, Maarten

Compute Distance To:
Author ID: de-rijke.maarten Recent zbMATH articles by "de Rijke, Maarten"
Published as: De Rijke, Maarten; de Rijke, M.; de Rijke, Maarten
External Links: MGP
Documents Indexed: 61 Publications since 1991, including 11 Books

Publications by Year

Citations contained in zbMATH

34 Publications have been cited 796 times in 701 Documents Cited by Year
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
580
2001
The modal logic of inequality. Zbl 0788.03019
de Rijke, Maarten
44
1992
Model checking hybrid logics (with an application to semistructured data). Zbl 1100.68065
Franceschet, Massimo; de Rijke, Maarten
17
2006
Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Zbl 0823.03037
de Rijke, Maarten; Venema, Yde
16
1995
Generalized quantifiers and modal logic. Zbl 0797.03014
van der Hoek, Wiebe; de Rijke, Maarten
15
1993
Simulating without negation. Zbl 0904.03008
Kurtonina, Natasha; de Rijke, Maarten
12
1997
A note on graded modal logic. Zbl 0951.03018
De Rijke, Maarten
11
2000
A modal perspective on path constraints. Zbl 1093.68032
Alechina, Natasha; Demri, Stéphane; de Rijke, Maarten
10
2003
Encoding two-valued nonclassical logics in classical logic. Zbl 0992.03019
Ohlbach, Hans Jürgen; Nonnengart, Andreas; de Rijke, Maarten; Gabbay, Dov M.
9
2001
Why combine logics? Zbl 0887.03025
Blackburn, Patrick; de Rijke, Maarten
9
1997
Resolution in modal, description and hybrid logic. Zbl 0993.03007
Areces, Carlos; de Rijke, Maarten; de Nivelle, Hans
8
2001
Counting objects. Zbl 0827.68105
van der Hoek, Wiebe; de Rijke, Maarten
8
1995
PDL for ordered trees. Zbl 1185.03056
Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
7
2005
Bisimulations for temporal logic. Zbl 0882.03017
Kurtonina, Natasha; de Rijke, Maarten
7
1997
Expressiveness of concept expressions in first-order description logics. Zbl 0993.03042
Kurtonina, Natasha; de Rijke, Maarten
6
1999
Deciding the guarded fragments by resolution. Zbl 1012.03046
de Nivelle, Hans; de Rijke, Maarten
5
2003
Combinations of modal logics. Zbl 1014.68158
Bennett, Brandon; Dixon, Clare; Fisher, Michael; Hustadt, Ullrich; Franconi, Enrico; Horrocks, Ian; de Rijke, Maarten
5
2002
Global definability in basic modal logic. Zbl 0998.03014
de Rijke, Maarten; Sturm, Holger
4
2001
The logic of Peirce algebras. Zbl 0842.03015
de Rijke, Maarten
4
1995
From description to hybrid logics, and back. Zbl 1031.03052
Areces, Carlos; de Rijke, Maarten
2
2002
Editorial: Efficacy of diagrammatic reasoning. Visual logic, language, and information. Zbl 0941.03538
Lemon, Oliver; de Rijke, Maarten; Shimojima, Atsushi
2
1999
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
Zooming in, zooming out. Zbl 0872.03008
Blackburn, Patrick; de Rijke, Maarten
2
1997
A note on the expressive power of probabilistic context free grammars. Zbl 1102.68042
Infante-Lopez, Gabriel; de Rijke, Maarten
1
2006
The origins of modern modal logic. Zbl 0994.03010
Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich
1
2001
Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2–4, 1998. Zbl 0978.00029
Gabbay, Dov M. (ed.); de Rijke, Maarten (ed.)
1
2000
Interleaved contractions. Zbl 0961.03019
van der Hoek, Wiebe; de Rijke, Maarten
1
1999
Prefixed resolution. A resolution method for modal and description logics. Zbl 0937.03014
Areces, Carlos; de Nivelle, Hans; de Rijke, Maarten
1
1999
A modal characterization of Peirce algebras. Zbl 0922.03088
de Rijke, Maarten
1
1999
A resolution calculus for dynamic semantics. Zbl 0928.03010
Monz, Christof; de Rijke, Maarten
1
1998
A system of dynamic modal logic. Zbl 0910.03016
de Rijke, Maarten
1
1998
Two-sorted metric temporal logics. Zbl 0901.03019
Montanari, Angelo; de Rijke, Maarten
1
1997
Modal logic and process algebra. A bisimulation perspective. Papers from the workshop ”Three days of bisimulation”, Amsterdam, the Netherlands, April 1994. Zbl 0943.68508
Ponse, Alban (ed.); De Rijke, Maarten (ed.); Venema, Yde (ed.)
1
1995
Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. Zbl 0812.00020
de Rijke, Maarten (ed.)
1
1993
Model checking hybrid logics (with an application to semistructured data). Zbl 1100.68065
Franceschet, Massimo; de Rijke, Maarten
17
2006
A note on the expressive power of probabilistic context free grammars. Zbl 1102.68042
Infante-Lopez, Gabriel; de Rijke, Maarten
1
2006
PDL for ordered trees. Zbl 1185.03056
Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
7
2005
A modal perspective on path constraints. Zbl 1093.68032
Alechina, Natasha; Demri, Stéphane; de Rijke, Maarten
10
2003
Deciding the guarded fragments by resolution. Zbl 1012.03046
de Nivelle, Hans; de Rijke, Maarten
5
2003
Combinations of modal logics. Zbl 1014.68158
Bennett, Brandon; Dixon, Clare; Fisher, Michael; Hustadt, Ullrich; Franconi, Enrico; Horrocks, Ian; de Rijke, Maarten
5
2002
From description to hybrid logics, and back. Zbl 1031.03052
Areces, Carlos; de Rijke, Maarten
2
2002
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
580
2001
Encoding two-valued nonclassical logics in classical logic. Zbl 0992.03019
Ohlbach, Hans Jürgen; Nonnengart, Andreas; de Rijke, Maarten; Gabbay, Dov M.
9
2001
Resolution in modal, description and hybrid logic. Zbl 0993.03007
Areces, Carlos; de Rijke, Maarten; de Nivelle, Hans
8
2001
Global definability in basic modal logic. Zbl 0998.03014
de Rijke, Maarten; Sturm, Holger
4
2001
The origins of modern modal logic. Zbl 0994.03010
Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich
1
2001
A note on graded modal logic. Zbl 0951.03018
De Rijke, Maarten
11
2000
Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2–4, 1998. Zbl 0978.00029
Gabbay, Dov M. (ed.); de Rijke, Maarten (ed.)
1
2000
Expressiveness of concept expressions in first-order description logics. Zbl 0993.03042
Kurtonina, Natasha; de Rijke, Maarten
6
1999
Editorial: Efficacy of diagrammatic reasoning. Visual logic, language, and information. Zbl 0941.03538
Lemon, Oliver; de Rijke, Maarten; Shimojima, Atsushi
2
1999
Interleaved contractions. Zbl 0961.03019
van der Hoek, Wiebe; de Rijke, Maarten
1
1999
Prefixed resolution. A resolution method for modal and description logics. Zbl 0937.03014
Areces, Carlos; de Nivelle, Hans; de Rijke, Maarten
1
1999
A modal characterization of Peirce algebras. Zbl 0922.03088
de Rijke, Maarten
1
1999
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
A resolution calculus for dynamic semantics. Zbl 0928.03010
Monz, Christof; de Rijke, Maarten
1
1998
A system of dynamic modal logic. Zbl 0910.03016
de Rijke, Maarten
1
1998
Simulating without negation. Zbl 0904.03008
Kurtonina, Natasha; de Rijke, Maarten
12
1997
Why combine logics? Zbl 0887.03025
Blackburn, Patrick; de Rijke, Maarten
9
1997
Bisimulations for temporal logic. Zbl 0882.03017
Kurtonina, Natasha; de Rijke, Maarten
7
1997
Zooming in, zooming out. Zbl 0872.03008
Blackburn, Patrick; de Rijke, Maarten
2
1997
Two-sorted metric temporal logics. Zbl 0901.03019
Montanari, Angelo; de Rijke, Maarten
1
1997
Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Zbl 0823.03037
de Rijke, Maarten; Venema, Yde
16
1995
Counting objects. Zbl 0827.68105
van der Hoek, Wiebe; de Rijke, Maarten
8
1995
The logic of Peirce algebras. Zbl 0842.03015
de Rijke, Maarten
4
1995
Modal logic and process algebra. A bisimulation perspective. Papers from the workshop ”Three days of bisimulation”, Amsterdam, the Netherlands, April 1994. Zbl 0943.68508
Ponse, Alban (ed.); De Rijke, Maarten (ed.); Venema, Yde (ed.)
1
1995
Generalized quantifiers and modal logic. Zbl 0797.03014
van der Hoek, Wiebe; de Rijke, Maarten
15
1993
Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. Zbl 0812.00020
de Rijke, Maarten (ed.)
1
1993
The modal logic of inequality. Zbl 0788.03019
de Rijke, Maarten
44
1992
all top 5

Cited by 769 Authors

16 Balbiani, Philippe
15 van Ditmarsch, Hans Pieter
14 Bezhanishvili, Nick
13 Areces, Carlos
13 Benevides, Mario R. F.
13 van Benthem, Johan F. A. K.
13 van der Hoek, Wiebe
13 Venema, Yde
12 Bezhanishvili, Guram
10 de Rijke, Maarten
9 Blackburn, Patrick
9 Demri, Stéphane P.
9 Herzig, Andreas
9 Hodkinson, Ian Martin
9 Lorini, Emiliano
9 Pattinson, Dirk
9 Smets, Sonja J. L.
8 Ågotnes, Thomas
8 Goranko, Valentin F.
8 Schmidt, Renate A.
7 Baltag, Alexandru
7 Grossi, Davide
7 Ma, Minghui
7 Marx, Maarten
7 Schechter, Luis Menasché
6 Conradie, Willem J.
6 Gehrke, Mai
6 Liau, Churn-Jung
6 Lucero-Bryan, Joel Gregory
6 Sernadas, Cristina S.
6 Wooldridge, Michael J.
5 Baader, Franz
5 Badia, Guillermo
5 Bonanno, Giacomo
5 Bozzelli, Laura
5 Braüner, Torben
5 Girard, Patrick R.
5 Goldblatt, Robert Ian
5 Heinemann, Bernhard
5 Holliday, Wesley H.
5 Kikot, Stanislav
5 Koutras, Costas D.
5 Kurucz, Agi
5 Kurz, Alexander
5 Kuusisto, Antti
5 Lutz, Carsten
5 Martins, Manuel António
5 Nguyen, Linh Anh
5 Palmigiano, Alessandra
5 Rasga, João
5 Rendsvig, Rasmus Kræmmer
5 Renne, Bryan
5 Sack, Joshua
5 Sano, Katsuhiko
5 Schwarzentruber, François
5 Smolka, Gert
5 ten Cate, Balder David
5 Vakarelov, Dimiter
5 Velázquez-Quesada, Fernando Raymundo
5 Wolter, Frank
4 Aceto, Luca
4 Alechina, Natasha
4 Aucher, Guillaume
4 Banerjee, Mohua
4 Belardinelli, Francesco
4 Bolander, Thomas
4 Broersen, Jan M.
4 Dégremont, Cédric
4 Enqvist, Sebastian
4 Fan, Tuan-Fang
4 Fariñas del Cerro, Luis
4 Fernández Duque, David
4 Figueira, Santiago
4 French, Tim
4 Fritz, Peter
4 Ghilardi, Silvio
4 Hill, Brian
4 Hoshi, Tomohiro
4 Ingólfsdóttir, Anna
4 Kaminski, Mark
4 Karpenko, Anastasia Valer’evna
4 Khan, Md. Aquil
4 Kooi, Barteld Pieter
4 Kutz, Oliver
4 Lange, Martin
4 Marcelino, Sérgio
4 Pacuit, Eric
4 Pinchinat, Sophie
4 Ramanayake, Revantha
4 Roy, Olivier
4 Sernadas, Amilcar C.
4 Tinchev, Tinko
4 Veloso, Paulo Augusto S.
4 Veloso, Sheila R. M.
4 Virtema, Jonni
4 Wang, Yanjing
3 Barbosa, Luís Soares
3 Castro, Pablo F.
3 Ciabattoni, Agata
3 Fan, Jie
...and 669 more Authors
all top 5

Cited in 65 Serials

56 Studia Logica
46 Synthese
45 Theoretical Computer Science
42 Journal of Philosophical Logic
35 Journal of Applied Non-Classical Logics
32 Journal of Logic, Language and Information
31 Artificial Intelligence
30 Journal of Applied Logic
29 Annals of Pure and Applied Logic
19 Notre Dame Journal of Formal Logic
17 Information and Computation
16 The Review of Symbolic Logic
11 International Journal of Approximate Reasoning
11 Journal of Logical and Algebraic Methods in Programming
10 The Journal of Symbolic Logic
10 Annals of Mathematics and Artificial Intelligence
10 ACM Transactions on Computational Logic
9 Logica Universalis
8 Archive for Mathematical Logic
6 Erkenntnis
5 Logical Methods in Computer Science
4 Information Processing Letters
4 Algebra Universalis
4 Information Sciences
4 Journal of Computer and System Sciences
4 The Journal of Logic and Algebraic Programming
3 Fuzzy Sets and Systems
3 Journal of Pure and Applied Algebra
3 Transactions of the American Mathematical Society
3 Order
3 Journal of Symbolic Computation
3 Journal of Automated Reasoning
3 Formal Aspects of Computing
3 Applied Categorical Structures
2 Problems of Information Transmission
2 Algebra and Logic
2 Journal of Mathematical Economics
2 MSCS. Mathematical Structures in Computer Science
2 Mathematical Logic Quarterly (MLQ)
2 Logic and Logical Philosophy
1 Acta Informatica
1 International Journal of Theoretical Physics
1 Israel Journal of Mathematics
1 Mathematical Biosciences
1 Mathematical Notes
1 Russian Mathematical Surveys
1 SIAM Journal on Computing
1 Siberian Mathematical Journal
1 Acta Mathematica Hungarica
1 New Generation Computing
1 Games and Economic Behavior
1 International Journal of Computer Mathematics
1 Distributed Computing
1 Indagationes Mathematicae. New Series
1 The Bulletin of Symbolic Logic
1 Computational & Mathematical Organization Theory
1 Theory of Computing Systems
1 Topoi
1 Soft Computing
1 Central European Journal of Mathematics
1 Journal of Intelligent and Fuzzy Systems
1 Science in China. Series F
1 Science China. Information Sciences
1 Games
1 Frontiers of Computer Science

Citations by Year