×
Author ID: blackburn.patrick Recent zbMATH articles by "Blackburn, Patrick"
Published as: Blackburn, Patrick; Blackburn, P.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

44 Publications have been cited 1,573 times in 1,160 Documents Cited by Year
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
863
2001
Handbook of modal logic. Zbl 1114.03001
206
2007
Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
59
2001
Representation, reasoning, and relational structures: A hybrid logic manifesto. Zbl 0956.03025
Blackburn, Patrick
52
2000
Hybrid languages. Zbl 0847.03009
Blackburn, Patrick; Seligman, Jerry
42
1995
The computational complexity of hybrid temporal logics. Zbl 0959.03011
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
38
2000
A raod-map on complexity for hybrid logics. Zbl 0942.03048
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
31
1999
Termination for hybrid tableaus. Zbl 1140.03005
Bolander, Thomas; Blackburn, Patrick
29
2007
Pure extensions, proof rules, and hybrid axiomatics. Zbl 1115.03009
Blackburn, P.; ten Cate, B.
28
2006
Internalizing labelled deduction. Zbl 0953.03018
Blackburn, Patrick
26
2000
Hybrid languages and temporal logic. Zbl 0920.03029
Blackburn, Patrick; Tzakova, Miroslava
26
1999
Nominal tense logic. Zbl 0789.03018
Blackburn, Patrick
19
1993
Tableaux for quantified hybrid logic. Zbl 1015.03014
Blackburn, Patrick; Marx, Maarten
17
2002
Arthur Prior and hybrid logic. Zbl 1108.03001
Blackburn, Patrick
16
2006
Modal logic as dialogical logic. Zbl 1108.03309
Blackburn, Patrick
13
2001
What are hybrid languages? Zbl 0911.03009
Blackburn, Patrick; Seligman, Jerry
12
1998
Why combine logics? Zbl 0887.03025
Blackburn, Patrick; de Rijke, Maarten
10
1997
A modal perspective on the computational complexity of attribute value grammar. Zbl 0793.03018
Blackburn, Patrick; Spaan, Edith
9
1993
Linguistics, logic and finite trees. Zbl 0810.03022
Blackburn, Patrick; Meyer-Viol, Wilfried
9
1994
Repairing the interpolation theorem in quantified modal logic. Zbl 1031.03025
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
9
2003
Bringing them all together. Zbl 0993.03011
Areces, Carlos; Blackburn, Patrick
8
2001
Hybrid completeness. Zbl 0904.03009
Blackburn, Patrick; Tzakova, Miroslava
8
1998
Hybridizing concept languages. Zbl 0919.03016
Blackburn, Patrick; Tzakova, Miroslava
7
1998
PDL for ordered trees. Zbl 1185.03056
Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
7
2005
Remarks on Gregory’s “actually” operator. Zbl 1003.03016
Blackburn, Patrick; Marx, Maarten
6
2002
Completeness in hybrid type theory. Zbl 1338.03031
Areces, Carlos; Blackburn, Patrick; Huertas, Antonia; Manzano, María
6
2014
Constructive interpolation in hybrid logic. Zbl 1059.03020
Blackburn, Patrick; Marx, Maarten
5
2003
Second-order false-belief tasks: analysis and formalization. Zbl 1478.03025
Braüner, Torben; Blackburn, Patrick; Polyanskaya, Irina
4
2016
Modal logic and attribute value structures. Zbl 0854.03017
Blackburn, Patrick
3
1993
Formalizing a Seligman-style tableau system for hybrid logic (short paper). Zbl 07614529
From, Asta Halkjær; Blackburn, Patrick; Villadsen, Jørgen
3
2020
Learn Prolog now! Zbl 1192.68117
Blackburn, Patrick; Bos, Johan; Striegnitz, Kristina
3
2006
Situation calculus as hybrid logic: First steps. Zbl 1053.68692
Blackburn, Patrick; Kamps, Jaap; Marx, Maarten
3
2001
Completeness and termination for a Seligman-style tableau system. Zbl 1444.03045
Blackburn, Patrick; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin
3
2017
Indexical hybrid tense logic. Zbl 1296.03012
Blackburn, Patrick; Jørgensen, Klaus Frovin
3
2012
Synthetic completeness proofs for Seligman-style tableau systems. Zbl 1400.03045
Jørgensen, Klaus Frovin; Blackburn, Patrick; Bolander, Thomas; Braüner, Torben
3
2016
Zooming in, zooming out. Zbl 0872.03008
Blackburn, Patrick; de Rijke, Maarten
2
1997
Rigid first-order hybrid logic. Zbl 1530.03075
Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia
2
2019
Reichenbach, Prior and Montague: a semantic get-together. Zbl 1279.03051
Areces, Carlos; Blackburn, Patrick
2
2005
Henkin and hybrid logic. Zbl 1336.03022
Blackburn, Patrick; Huertas, Antonia; Manzano, María; Jørgensen, Klaus Frovin
2
2014
Arthur Prior and ‘now’. Zbl 1396.03025
Blackburn, Patrick; Jørgensen, Klaus Frovin
2
2016
Reichenbach, Prior and hybrid tense logic. Zbl 1367.03012
Blackburn, Patrick; Jørgensen, Klaus Frovin
2
2016
A Seligman-style tableau system. Zbl 1433.03020
Blackburn, Patrick; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin
1
2013
Dynamic squares. Zbl 0842.03016
Blackburn, Patrick; Venema, Yde
1
1995
Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Zbl 1425.68005
1
2019
Formalizing a Seligman-style tableau system for hybrid logic (short paper). Zbl 07614529
From, Asta Halkjær; Blackburn, Patrick; Villadsen, Jørgen
3
2020
Rigid first-order hybrid logic. Zbl 1530.03075
Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia
2
2019
Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Zbl 1425.68005
1
2019
Completeness and termination for a Seligman-style tableau system. Zbl 1444.03045
Blackburn, Patrick; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin
3
2017
Second-order false-belief tasks: analysis and formalization. Zbl 1478.03025
Braüner, Torben; Blackburn, Patrick; Polyanskaya, Irina
4
2016
Synthetic completeness proofs for Seligman-style tableau systems. Zbl 1400.03045
Jørgensen, Klaus Frovin; Blackburn, Patrick; Bolander, Thomas; Braüner, Torben
3
2016
Arthur Prior and ‘now’. Zbl 1396.03025
Blackburn, Patrick; Jørgensen, Klaus Frovin
2
2016
Reichenbach, Prior and hybrid tense logic. Zbl 1367.03012
Blackburn, Patrick; Jørgensen, Klaus Frovin
2
2016
Completeness in hybrid type theory. Zbl 1338.03031
Areces, Carlos; Blackburn, Patrick; Huertas, Antonia; Manzano, María
6
2014
Henkin and hybrid logic. Zbl 1336.03022
Blackburn, Patrick; Huertas, Antonia; Manzano, María; Jørgensen, Klaus Frovin
2
2014
A Seligman-style tableau system. Zbl 1433.03020
Blackburn, Patrick; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin
1
2013
Indexical hybrid tense logic. Zbl 1296.03012
Blackburn, Patrick; Jørgensen, Klaus Frovin
3
2012
Handbook of modal logic. Zbl 1114.03001
206
2007
Termination for hybrid tableaus. Zbl 1140.03005
Bolander, Thomas; Blackburn, Patrick
29
2007
Pure extensions, proof rules, and hybrid axiomatics. Zbl 1115.03009
Blackburn, P.; ten Cate, B.
28
2006
Arthur Prior and hybrid logic. Zbl 1108.03001
Blackburn, Patrick
16
2006
Learn Prolog now! Zbl 1192.68117
Blackburn, Patrick; Bos, Johan; Striegnitz, Kristina
3
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
Reichenbach, Prior and Montague: a semantic get-together. Zbl 1279.03051
Areces, Carlos; Blackburn, Patrick
2
2005
Repairing the interpolation theorem in quantified modal logic. Zbl 1031.03025
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
9
2003
Constructive interpolation in hybrid logic. Zbl 1059.03020
Blackburn, Patrick; Marx, Maarten
5
2003
Tableaux for quantified hybrid logic. Zbl 1015.03014
Blackburn, Patrick; Marx, Maarten
17
2002
Remarks on Gregory’s “actually” operator. Zbl 1003.03016
Blackburn, Patrick; Marx, Maarten
6
2002
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
863
2001
Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
59
2001
Modal logic as dialogical logic. Zbl 1108.03309
Blackburn, Patrick
13
2001
Bringing them all together. Zbl 0993.03011
Areces, Carlos; Blackburn, Patrick
8
2001
Situation calculus as hybrid logic: First steps. Zbl 1053.68692
Blackburn, Patrick; Kamps, Jaap; Marx, Maarten
3
2001
Representation, reasoning, and relational structures: A hybrid logic manifesto. Zbl 0956.03025
Blackburn, Patrick
52
2000
The computational complexity of hybrid temporal logics. Zbl 0959.03011
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
38
2000
Internalizing labelled deduction. Zbl 0953.03018
Blackburn, Patrick
26
2000
A raod-map on complexity for hybrid logics. Zbl 0942.03048
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
31
1999
Hybrid languages and temporal logic. Zbl 0920.03029
Blackburn, Patrick; Tzakova, Miroslava
26
1999
What are hybrid languages? Zbl 0911.03009
Blackburn, Patrick; Seligman, Jerry
12
1998
Hybrid completeness. Zbl 0904.03009
Blackburn, Patrick; Tzakova, Miroslava
8
1998
Hybridizing concept languages. Zbl 0919.03016
Blackburn, Patrick; Tzakova, Miroslava
7
1998
Why combine logics? Zbl 0887.03025
Blackburn, Patrick; de Rijke, Maarten
10
1997
Zooming in, zooming out. Zbl 0872.03008
Blackburn, Patrick; de Rijke, Maarten
2
1997
Hybrid languages. Zbl 0847.03009
Blackburn, Patrick; Seligman, Jerry
42
1995
Dynamic squares. Zbl 0842.03016
Blackburn, Patrick; Venema, Yde
1
1995
Linguistics, logic and finite trees. Zbl 0810.03022
Blackburn, Patrick; Meyer-Viol, Wilfried
9
1994
Nominal tense logic. Zbl 0789.03018
Blackburn, Patrick
19
1993
A modal perspective on the computational complexity of attribute value grammar. Zbl 0793.03018
Blackburn, Patrick; Spaan, Edith
9
1993
Modal logic and attribute value structures. Zbl 0854.03017
Blackburn, Patrick
3
1993
all top 5

Cited by 1,178 Authors

28 van Ditmarsch, Hans Pieter
25 Bezhanishvili, Nick
22 Areces, Carlos
21 van Benthem, Johan F. A. K.
20 Bezhanishvili, Guram
18 Blackburn, Patrick
16 Balbiani, Philippe
16 van der Hoek, Wiebe
15 Benevides, Mario R. F.
15 Ma, Minghui
15 Martins, Manuel António
13 Fervari, Raul
12 Ågotnes, Thomas
12 Baltag, Alexandru
12 Braüner, Torben
12 Pattinson, Dirk
12 Venema, Yde
12 Wang, Yanjing
11 Demri, Stéphane P.
11 Goranko, Valentin F.
11 Herzig, Andreas
11 Lorini, Emiliano
11 Smets, Sonja J. L.
10 Hodkinson, Ian Martin
10 Khan, Md. Aquil
10 Madeira, Alexandre
10 Sano, Katsuhiko
10 Smolka, Gert
9 Özgün, Aybüke
9 Pacuit, Eric
8 Alechina, Natasha
8 Enqvist, Sebastian
8 Fernández Duque, David
8 Sernadas, Cristina S.
8 Shkatov, Dmitry
8 ten Cate, Balder David
7 Banerjee, Mohua
7 Barbosa, Luís Soares
7 Belardinelli, Francesco
7 Broersen, Jan M.
7 Conradie, Willem
7 Gabbay, Dov M.
7 Girard, Patrick R.
7 Goldblatt, Robert Ian
7 Grossi, Davide
7 Heinemann, Bernhard
7 Kaminski, Mark
7 Koutras, Costas D.
7 Kuusisto, Antti
7 Lange, Martin
7 Lucero-Bryan, Joel Gregory
7 Marx, Maarten
7 Rasga, João
7 Rendsvig, Rasmus Kræmmer
7 Schechter, Luis Menasché
7 Schmidt, Renate A.
7 Tinchev, Tinko
7 Wolter, Frank
7 Wooldridge, Michael J.
6 Bolander, Thomas
6 Bonanno, Giacomo
6 Bozzelli, Laura
6 Dixon, Clare
6 Figueira, Santiago
6 Fritz, Peter
6 Gehrke, Mai
6 Icard, Thomas F. III
6 Kooi, Barteld Pieter
6 Kupke, Clemens
6 Kurucz, Agi
6 Liau, Churn-Jung
6 Lück, Martin
6 Lutz, Carsten
6 Manzano, María
6 Nguyen, Linh Anh
6 Ramanujam, R.
6 Schneider, Thomas
6 Sernadas, Amilcar C.
6 Velázquez-Quesada, Fernando Raymundo
5 Aceto, Luca
5 Aucher, Guillaume
5 Baader, Franz
5 Badia, Guillermo
5 Benzmüller, Christoph Ewald
5 Bjorndahl, Adam
5 Castro, Pablo F.
5 Celani, Sergio Arturo
5 Cerrito, Serenella
5 Cialdea Mayer, Marta
5 De Groot, Jim
5 Doberkat, Ernst-Erich
5 Fan, Jie
5 French, Tim
5 Giordani, Alessandro
5 Hansen, Jens Ulrik
5 Hoffmann, Guillaume
5 Hoshi, Tomohiro
5 Hustadt, Ullrich
5 Ingólfsdóttir, Anna
5 Kikot, Stanislav
...and 1,078 more Authors
all top 5

Cited in 80 Serials

94 Studia Logica
68 Synthese
59 Journal of Logic, Language and Information
56 Journal of Philosophical Logic
47 Theoretical Computer Science
39 Journal of Applied Non-Classical Logics
38 Annals of Pure and Applied Logic
35 Journal of Applied Logic
34 The Review of Symbolic Logic
33 Artificial Intelligence
25 Information and Computation
21 Journal of Logical and Algebraic Methods in Programming
20 ACM Transactions on Computational Logic
19 The Journal of Symbolic Logic
19 Notre Dame Journal of Formal Logic
18 Logica Universalis
17 International Journal of Approximate Reasoning
15 Journal of Automated Reasoning
15 Logical Methods in Computer Science
13 Annals of Mathematics and Artificial Intelligence
12 Archive for Mathematical Logic
8 Algebra Universalis
8 Logic and Logical Philosophy
7 Erkenntnis
6 Information Sciences
6 Mathematical Logic Quarterly (MLQ)
5 Fuzzy Sets and Systems
5 Journal of Pure and Applied Algebra
5 Bulletin of the Section of Logic
5 The Bulletin of Symbolic Logic
5 The Journal of Logic and Algebraic Programming
4 History and Philosophy of Logic
4 Order
4 Formal Aspects of Computing
4 MSCS. Mathematical Structures in Computer Science
4 Theory and Practice of Logic Programming
3 Acta Informatica
3 Information Processing Letters
3 Journal of Computer and System Sciences
3 Transactions of the American Mathematical Society
3 Applied Categorical Structures
3 Fundamenta Informaticae
3 Logicheskie Issledovaniya
2 Problems of Information Transmission
2 Games and Economic Behavior
2 International Journal of Computer Mathematics
2 Soft Computing
2 International Game Theory Review
2 Computer Languages, Systems & Structures
2 Computational Linguistics
2 Frontiers of Computer Science
1 International Journal of Theoretical Physics
1 Israel Journal of Mathematics
1 Mathematical Biosciences
1 Mathematical Notes
1 Advances in Mathematics
1 Algebra and Logic
1 Automatica
1 Journal of Algebra
1 Journal of Mathematical Economics
1 Mathematica Slovaca
1 SIAM Journal on Computing
1 Topology and its Applications
1 Acta Mathematica Hungarica
1 Algorithmica
1 International Journal of Foundations of Computer Science
1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
1 Distributed Computing
1 Indagationes Mathematicae. New Series
1 The Journal of Artificial Intelligence Research (JAIR)
1 Izvestiya: Mathematics
1 Computational & Mathematical Organization Theory
1 Theory of Computing Systems
1 Central European Journal of Mathematics
1 Science in China. Series F
1 Journal of Physics A: Mathematical and Theoretical
1 The B. E. Journal of Theoretical Economics
1 Science China. Information Sciences
1 Games
1 Bollettino dell’Unione Matematica Italiana

Citations by Year