Edit Profile de Rijke, Maarten Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 11 single-authored 10 Blackburn, Patrick 5 Monz, Christof 5 Wansing, Heinrich Theodor 4 Areces, Carlos 4 Kurtonina, Natasha 4 Venema, Yde 4 Zakharyaschev, Michael Viktorovich 3 de Nivelle, Hans 3 Gabbay, Dov M. 3 van der Hoek, Wiebe 2 Brand, Sebastian 2 Gardent, Claire 2 Gennari, Rosella 2 Infante-Lopez, Gabriel G. 2 Lemon, Oliver 2 Segerberg, Krister 2 Shimojima, Atsushi 1 Afanasiev, Loredana 1 Alechina, Natasha 1 Bennett, Brandon 1 Csirmaz, László 1 Demri, Stéphane P. 1 Dimitriou, Ioanna Matilde 1 Dixon, Clare 1 Fisher, Michael J. 1 Franceschet, Massimo 1 Franconi, Enrico 1 Gaiffe, Bertrand 1 Ginzburg, Jonathan 1 Goris, Evan 1 Horrocks, Ian 1 Hustadt, Ullrich 1 Kracht, Marcus 1 Li, Chang 1 Marx, Maarten 1 Montanari, Angelo 1 Moss, Lawrence S. 1 Nonnengart, Andreas 1 Ó Nualláin, Breanndán 1 Ohlbach, Hans Jürgen 1 Ponse, Alban 1 Sturm, Holger 1 van Benthem, Johan F. A. K. 1 Wolter, Frank all top 5 Serials 7 Journal of Logic, Language and Information 4 Studia Logica 4 Journal of Logic and Computation 4 CSLI Lecture Notes 3 Notre Dame Journal of Formal Logic 1 Artificial Intelligence 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Neural Networks 1 Artificial Intelligence Review 1 Journal of Applied Non-Classical Logics 1 Journal of Applied Logic 1 Cambridge Tracts in Theoretical Computer Science 1 Synthese Library 1 Applied Logic Series all top 5 Fields 56 Mathematical logic and foundations (03-XX) 29 Computer science (68-XX) 12 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 34 Publications have been cited 796 times in 701 Documents Cited by ▼ Year ▼ Modal logic. Zbl 0988.03006Blackburn, Patrick; de Rijke, Maarten; Venema, Yde 580 2001 The modal logic of inequality. Zbl 0788.03019de Rijke, Maarten 44 1992 Model checking hybrid logics (with an application to semistructured data). Zbl 1100.68065Franceschet, Massimo; de Rijke, Maarten 17 2006 Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Zbl 0823.03037de Rijke, Maarten; Venema, Yde 16 1995 Generalized quantifiers and modal logic. Zbl 0797.03014van der Hoek, Wiebe; de Rijke, Maarten 15 1993 Simulating without negation. Zbl 0904.03008Kurtonina, Natasha; de Rijke, Maarten 12 1997 A note on graded modal logic. Zbl 0951.03018De Rijke, Maarten 11 2000 A modal perspective on path constraints. Zbl 1093.68032Alechina, Natasha; Demri, Stéphane; de Rijke, Maarten 10 2003 Encoding two-valued nonclassical logics in classical logic. Zbl 0992.03019Ohlbach, Hans Jürgen; Nonnengart, Andreas; de Rijke, Maarten; Gabbay, Dov M. 9 2001 Why combine logics? Zbl 0887.03025Blackburn, Patrick; de Rijke, Maarten 9 1997 Resolution in modal, description and hybrid logic. Zbl 0993.03007Areces, Carlos; de Rijke, Maarten; de Nivelle, Hans 8 2001 Counting objects. Zbl 0827.68105van der Hoek, Wiebe; de Rijke, Maarten 8 1995 PDL for ordered trees. Zbl 1185.03056Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten 7 2005 Bisimulations for temporal logic. Zbl 0882.03017Kurtonina, Natasha; de Rijke, Maarten 7 1997 Expressiveness of concept expressions in first-order description logics. Zbl 0993.03042Kurtonina, Natasha; de Rijke, Maarten 6 1999 Deciding the guarded fragments by resolution. Zbl 1012.03046de Nivelle, Hans; de Rijke, Maarten 5 2003 Combinations of modal logics. Zbl 1014.68158Bennett, Brandon; Dixon, Clare; Fisher, Michael; Hustadt, Ullrich; Franconi, Enrico; Horrocks, Ian; de Rijke, Maarten 5 2002 Global definability in basic modal logic. Zbl 0998.03014de Rijke, Maarten; Sturm, Holger 4 2001 The logic of Peirce algebras. Zbl 0842.03015de Rijke, Maarten 4 1995 From description to hybrid logics, and back. Zbl 1031.03052Areces, Carlos; de Rijke, Maarten 2 2002 Editorial: Efficacy of diagrammatic reasoning. Visual logic, language, and information. Zbl 0941.03538Lemon, 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.00022Kracht, Marcus (ed.); De Rijke, Maarten (ed.); Wansing, Heinrich (ed.); Zakharyaschev, Michael (ed.) 2 1998 Zooming in, zooming out. Zbl 0872.03008Blackburn, Patrick; de Rijke, Maarten 2 1997 A note on the expressive power of probabilistic context free grammars. Zbl 1102.68042Infante-Lopez, Gabriel; de Rijke, Maarten 1 2006 The origins of modern modal logic. Zbl 0994.03010Zakharyaschev, 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.00029Gabbay, Dov M. (ed.); de Rijke, Maarten (ed.) 1 2000 Interleaved contractions. Zbl 0961.03019van der Hoek, Wiebe; de Rijke, Maarten 1 1999 Prefixed resolution. A resolution method for modal and description logics. Zbl 0937.03014Areces, Carlos; de Nivelle, Hans; de Rijke, Maarten 1 1999 A modal characterization of Peirce algebras. Zbl 0922.03088de Rijke, Maarten 1 1999 A resolution calculus for dynamic semantics. Zbl 0928.03010Monz, Christof; de Rijke, Maarten 1 1998 A system of dynamic modal logic. Zbl 0910.03016de Rijke, Maarten 1 1998 Two-sorted metric temporal logics. Zbl 0901.03019Montanari, 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.68508Ponse, 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.00020de Rijke, Maarten (ed.) 1 1993 Model checking hybrid logics (with an application to semistructured data). Zbl 1100.68065Franceschet, Massimo; de Rijke, Maarten 17 2006 A note on the expressive power of probabilistic context free grammars. Zbl 1102.68042Infante-Lopez, Gabriel; de Rijke, Maarten 1 2006 PDL for ordered trees. Zbl 1185.03056Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten 7 2005 A modal perspective on path constraints. Zbl 1093.68032Alechina, Natasha; Demri, Stéphane; de Rijke, Maarten 10 2003 Deciding the guarded fragments by resolution. Zbl 1012.03046de Nivelle, Hans; de Rijke, Maarten 5 2003 Combinations of modal logics. Zbl 1014.68158Bennett, 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.03052Areces, Carlos; de Rijke, Maarten 2 2002 Modal logic. Zbl 0988.03006Blackburn, Patrick; de Rijke, Maarten; Venema, Yde 580 2001 Encoding two-valued nonclassical logics in classical logic. Zbl 0992.03019Ohlbach, Hans Jürgen; Nonnengart, Andreas; de Rijke, Maarten; Gabbay, Dov M. 9 2001 Resolution in modal, description and hybrid logic. Zbl 0993.03007Areces, Carlos; de Rijke, Maarten; de Nivelle, Hans 8 2001 Global definability in basic modal logic. Zbl 0998.03014de Rijke, Maarten; Sturm, Holger 4 2001 The origins of modern modal logic. Zbl 0994.03010Zakharyaschev, Michael; Segerberg, Krister; de Rijke, Maarten; Wansing, Heinrich 1 2001 A note on graded modal logic. Zbl 0951.03018De 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.00029Gabbay, Dov M. (ed.); de Rijke, Maarten (ed.) 1 2000 Expressiveness of concept expressions in first-order description logics. Zbl 0993.03042Kurtonina, Natasha; de Rijke, Maarten 6 1999 Editorial: Efficacy of diagrammatic reasoning. Visual logic, language, and information. Zbl 0941.03538Lemon, Oliver; de Rijke, Maarten; Shimojima, Atsushi 2 1999 Interleaved contractions. Zbl 0961.03019van der Hoek, Wiebe; de Rijke, Maarten 1 1999 Prefixed resolution. A resolution method for modal and description logics. Zbl 0937.03014Areces, Carlos; de Nivelle, Hans; de Rijke, Maarten 1 1999 A modal characterization of Peirce algebras. Zbl 0922.03088de 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.00022Kracht, Marcus (ed.); De Rijke, Maarten (ed.); Wansing, Heinrich (ed.); Zakharyaschev, Michael (ed.) 2 1998 A resolution calculus for dynamic semantics. Zbl 0928.03010Monz, Christof; de Rijke, Maarten 1 1998 A system of dynamic modal logic. Zbl 0910.03016de Rijke, Maarten 1 1998 Simulating without negation. Zbl 0904.03008Kurtonina, Natasha; de Rijke, Maarten 12 1997 Why combine logics? Zbl 0887.03025Blackburn, Patrick; de Rijke, Maarten 9 1997 Bisimulations for temporal logic. Zbl 0882.03017Kurtonina, Natasha; de Rijke, Maarten 7 1997 Zooming in, zooming out. Zbl 0872.03008Blackburn, Patrick; de Rijke, Maarten 2 1997 Two-sorted metric temporal logics. Zbl 0901.03019Montanari, Angelo; de Rijke, Maarten 1 1997 Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Zbl 0823.03037de Rijke, Maarten; Venema, Yde 16 1995 Counting objects. Zbl 0827.68105van der Hoek, Wiebe; de Rijke, Maarten 8 1995 The logic of Peirce algebras. Zbl 0842.03015de 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.68508Ponse, Alban (ed.); De Rijke, Maarten (ed.); Venema, Yde (ed.) 1 1995 Generalized quantifiers and modal logic. Zbl 0797.03014van 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.00020de Rijke, Maarten (ed.) 1 1993 The modal logic of inequality. Zbl 0788.03019de Rijke, Maarten 44 1992 all cited Publications top 5 cited Publications 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 all top 5 Cited in 18 Fields 609 Mathematical logic and foundations (03-XX) 277 Computer science (68-XX) 37 Order, lattices, ordered algebraic structures (06-XX) 34 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 General topology (54-XX) 13 Combinatorics (05-XX) 8 Category theory; homological algebra (18-XX) 7 History and biography (01-XX) 7 General algebraic systems (08-XX) 6 Geometry (51-XX) 6 Quantum theory (81-XX) 3 Biology and other natural sciences (92-XX) 2 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Measure and integration (28-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year