×

zbMATH — the first resource for mathematics

Pattinson, Dirk

Compute Distance To:
Author ID: pattinson.dirk Recent zbMATH articles by "Pattinson, Dirk"
Published as: Pattinson, Dirk; Pattinson, D.
External Links: MGP
Documents Indexed: 85 Publications since 2000, including 4 Books

Publications by Year

Citations contained in zbMATH Open

62 Publications have been cited 309 times in 161 Documents Cited by Year
Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Zbl 1052.03009
Pattinson, Dirk
32
2003
Expressive logics for coalgebras via terminal sequence induction. Zbl 1088.03031
Pattinson, Dirk
21
2004
Semantical principles in the modal logic of coalgebras. Zbl 0976.68109
Pattinson, Dirk
16
2001
Algebraic semantics for coalgebraic logics. Zbl 1271.03031
Kupke, Clemens; Kurz, Alexander; Pattinson, Dirk
16
2004
Modular construction of complete coalgebraic logics. Zbl 1126.03020
Cîrstea, Corina; Pattinson, Dirk
11
2007
PSPACE bounds for rank-1 modal logics. Zbl 1351.03015
Schröder, Lutz; Pattinson, Dirk
11
2009
Modular construction of modal logics. Zbl 1099.03018
Cîrstea, Corina; Pattinson, Dirk
10
2004
Coalgebraic modal logic of finite rank. Zbl 1135.18300
Kurz, Alexander; Pattinson, Dirk
9
2005
EXPTIME tableaux for the coalgebraic \(\mu \)-calculus. Zbl 1257.03045
Cîrstea, Corina; Kupke, Clemens; Pattinson, Dirk
9
2009
Coalgebraic semantics of modal logics: an overview. Zbl 1360.03068
Kupke, Clemens; Pattinson, Dirk
8
2011
Representations of stream processors using nested fixed points. Zbl 1189.68031
Hancock, Peter G.; Ghani, Neil; Pattinson, Dirk
8
2009
Coalgebraic hybrid logic. Zbl 1234.03020
Myers, Rob; Pattinson, Dirk; Schröder, Lutz
7
2009
Correspondence between modal Hilbert axioms and sequent rules with an application to S5. Zbl 1401.03044
Lellmann, Björn; Pattinson, Dirk
6
2013
Generic trace semantics and graded monads. Zbl 1366.68211
Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
6
2015
Modular algorithms for heterogeneous modal logics. Zbl 1126.03028
Schröder, Lutz; Pattinson, Dirk
6
2007
Optimal tableaux for conditional logics with cautious monotonicity. Zbl 1211.68413
Schröder, Lutz; Pattinson, Dirk; Hausmann, Daniel
6
2010
Beyond rank 1: Algebraic semantics and finite models for coalgebraic logics. Zbl 1139.03012
Pattinson, Dirk; Schröder, Lutz
6
2008
Rank-1 modal logics are coalgebraic. Zbl 1266.03032
Schröder, Lutz; Pattinson, Dirk
6
2010
Ultrafilter extensions for coalgebras. Zbl 1151.03357
Kupke, C.; Kurz, A.; Pattinson, D.
5
2005
Expressivity results in the modal logic of coalgebras. Zbl 0979.03508
Pattinson, Dirk
5
2001
Generic modal cut elimination applied to conditional logics. Zbl 1232.03049
Pattinson, Dirk; Schröder, Lutz
5
2011
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Zbl 1260.03061
Schröder, Lutz; Pattinson, Dirk
5
2011
Coalgebraic weak bisimulation from recursive equations over monads. Zbl 1409.68188
Goncharov, Sergey; Pattinson, Dirk
5
2014
Cut elimination in coalgebraic logics. Zbl 1255.03052
Pattinson, Dirk; Schröder, Lutz
5
2010
Sequent systems for Lewis’ conditional logics. Zbl 1361.68238
Lellmann, Björn; Pattinson, Dirk
4
2012
Rank-1 modal logics are coalgebraic. Zbl 1186.03049
Schröder, Lutz; Pattinson, Dirk
4
2007
Cut elimination for shallow modal logics. Zbl 1244.68069
Lellmann, Björn; Pattinson, Dirk
4
2011
Generic modal cut elimination applied to conditional logics. Zbl 1260.03104
Pattinson, Dirk; Schröder, Lutz
4
2009
A new foundation for finitary corecursion. The locally finite fixpoint and its properties. Zbl 06591816
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten
4
2016
Continuous functions on final coalgebras. Zbl 1276.68110
Ghani, Neil; Hancock, Peter; Pattinson, Dirk
4
2006
Global caching for coalgebraic description logics. Zbl 1291.03017
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
3
2010
A computational model for multi-variable differential calculus. Zbl 1119.03062
Edalat, A.; Lieutier, A.; Pattinson, D.
3
2005
Coalgebraic predicate logic. Zbl 1433.03163
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
3
2012
Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic. Zbl 1303.03052
Lellmann, Björn; Pattinson, Dirk
3
2013
On the fusion of coalgebraic logics. Zbl 1343.03049
Dahlqvist, Fredrik; Pattinson, Dirk
3
2011
A van Benthem/Rosen theorem for coalgebraic predicate logic. Zbl 1388.03069
Schröder, Lutz; Pattinson, Dirk; Litak, Tadeusz
3
2017
The logic of exact covers: completeness and uniform interpolation. Zbl 1433.03058
Pattinson, Dirk
3
2013
Admissibility of cut in coalgebraic logics. Zbl 1279.03087
Pattinson, Dirk; Schröder, Lutz
3
2008
A domain theoretic account of Picard’s theorem. Zbl 1098.65078
Edalat, A.; Pattinson, D.
2
2004
Some Sahlqvist completeness results for coalgebraic logics. Zbl 1260.03039
Dahlqvist, Fredrik; Pattinson, Dirk
2
2013
A domain-theoretic account of Picard’s theorem. Zbl 1112.65065
Edalat, Abbas; Pattinson, Dirk
2
2007
Denotational semantics of hybrid automata. Zbl 1168.68417
Edalat, Abbas; Pattinson, Dirk
2
2006
Named models in coalgebraic hybrid logic. Zbl 1230.68191
Schröder, Lutz; Pattinson, Dirk
2
2010
On modal logics of linear inequalities. Zbl 1254.03036
Kupke, Clemens; Pattinson, Dirk
2
2010
Domain theoretic solutions of initial value problems for unbounded vector fields. Zbl 1273.65097
Edalat, Abbas; Pattinson, Dirk
2
2006
Model theory and proof theory of coalgebraic predicate logic. Zbl 1459.03104
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
2
2018
Optimal tableau algorithms for coalgebraic logics. Zbl 1284.03207
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk
2
2010
Coalgebraic correspondence theory. Zbl 1284.03211
Schröder, Lutz; Pattinson, Dirk
2
2010
Reasoning with global assumptions in arithmetic modal logics. Zbl 1436.03136
Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
2
2015
Continuous functions on final coalgebras. Zbl 1337.68070
Ghani, Neil; Hancock, Peter; Pattinson, Dirk
2
2009
A van Benthem theorem for fuzzy modal logic. Zbl 1453.03024
Wild, Paul; Schröder, Lutz; Pattinson, Dirk; König, Barbara
2
2018
Modal logic for rewriting theories. Zbl 0965.03038
Pattinson, Dirk
1
2000
Comodels and effects in mathematical operational semantics. Zbl 1260.68250
Abou-Saleh, Faris; Pattinson, Dirk
1
2013
A computational model for multi-variable differential calculus. Zbl 1271.03061
Edalat, Abbas; Lieutier, André; Pattinson, Dirk
1
2013
EXPTIME tableaux for the coalgebraic \(\mu\)-calculus. Zbl 1237.03014
Cîrstea, Corina; Kupke, Clemens; Pattinson, Dirk
1
2011
Strong completeness of coalgebraic modal logics. Zbl 1236.03060
Schröder, Lutz; Pattinson, Dirk
1
2009
Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31–April 1, 2012. Revised selected papers. Zbl 1246.68051
Pattinson, Dirk (ed.); Schröder, Lutz (ed.)
1
2012
Denotational semantics of hybrid automata. Zbl 1123.68056
Edalat, Abbas; Pattinson, Dirk
1
2007
Making components move: a separation of concerns approach. Zbl 1254.68124
Pattinson, Dirk; Wirsing, Martin
1
2003
Simplified coalgebraic trace equivalence. Zbl 1453.68112
Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
1
2015
Translating logics for coalgebras. Zbl 1278.03095
Pattinson, Dirk
1
2003
A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten
1
2020
A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten
1
2020
Model theory and proof theory of coalgebraic predicate logic. Zbl 1459.03104
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
2
2018
A van Benthem theorem for fuzzy modal logic. Zbl 1453.03024
Wild, Paul; Schröder, Lutz; Pattinson, Dirk; König, Barbara
2
2018
A van Benthem/Rosen theorem for coalgebraic predicate logic. Zbl 1388.03069
Schröder, Lutz; Pattinson, Dirk; Litak, Tadeusz
3
2017
A new foundation for finitary corecursion. The locally finite fixpoint and its properties. Zbl 06591816
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten
4
2016
Generic trace semantics and graded monads. Zbl 1366.68211
Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
6
2015
Reasoning with global assumptions in arithmetic modal logics. Zbl 1436.03136
Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
2
2015
Simplified coalgebraic trace equivalence. Zbl 1453.68112
Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
1
2015
Coalgebraic weak bisimulation from recursive equations over monads. Zbl 1409.68188
Goncharov, Sergey; Pattinson, Dirk
5
2014
Correspondence between modal Hilbert axioms and sequent rules with an application to S5. Zbl 1401.03044
Lellmann, Björn; Pattinson, Dirk
6
2013
Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic. Zbl 1303.03052
Lellmann, Björn; Pattinson, Dirk
3
2013
The logic of exact covers: completeness and uniform interpolation. Zbl 1433.03058
Pattinson, Dirk
3
2013
Some Sahlqvist completeness results for coalgebraic logics. Zbl 1260.03039
Dahlqvist, Fredrik; Pattinson, Dirk
2
2013
Comodels and effects in mathematical operational semantics. Zbl 1260.68250
Abou-Saleh, Faris; Pattinson, Dirk
1
2013
A computational model for multi-variable differential calculus. Zbl 1271.03061
Edalat, Abbas; Lieutier, André; Pattinson, Dirk
1
2013
Sequent systems for Lewis’ conditional logics. Zbl 1361.68238
Lellmann, Björn; Pattinson, Dirk
4
2012
Coalgebraic predicate logic. Zbl 1433.03163
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
3
2012
Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31–April 1, 2012. Revised selected papers. Zbl 1246.68051
Pattinson, Dirk; Schröder, Lutz
1
2012
Coalgebraic semantics of modal logics: an overview. Zbl 1360.03068
Kupke, Clemens; Pattinson, Dirk
8
2011
Generic modal cut elimination applied to conditional logics. Zbl 1232.03049
Pattinson, Dirk; Schröder, Lutz
5
2011
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Zbl 1260.03061
Schröder, Lutz; Pattinson, Dirk
5
2011
Cut elimination for shallow modal logics. Zbl 1244.68069
Lellmann, Björn; Pattinson, Dirk
4
2011
On the fusion of coalgebraic logics. Zbl 1343.03049
Dahlqvist, Fredrik; Pattinson, Dirk
3
2011
EXPTIME tableaux for the coalgebraic \(\mu\)-calculus. Zbl 1237.03014
Cîrstea, Corina; Kupke, Clemens; Pattinson, Dirk
1
2011
Optimal tableaux for conditional logics with cautious monotonicity. Zbl 1211.68413
Schröder, Lutz; Pattinson, Dirk; Hausmann, Daniel
6
2010
Rank-1 modal logics are coalgebraic. Zbl 1266.03032
Schröder, Lutz; Pattinson, Dirk
6
2010
Cut elimination in coalgebraic logics. Zbl 1255.03052
Pattinson, Dirk; Schröder, Lutz
5
2010
Global caching for coalgebraic description logics. Zbl 1291.03017
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
3
2010
Named models in coalgebraic hybrid logic. Zbl 1230.68191
Schröder, Lutz; Pattinson, Dirk
2
2010
On modal logics of linear inequalities. Zbl 1254.03036
Kupke, Clemens; Pattinson, Dirk
2
2010
Optimal tableau algorithms for coalgebraic logics. Zbl 1284.03207
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk
2
2010
Coalgebraic correspondence theory. Zbl 1284.03211
Schröder, Lutz; Pattinson, Dirk
2
2010
PSPACE bounds for rank-1 modal logics. Zbl 1351.03015
Schröder, Lutz; Pattinson, Dirk
11
2009
EXPTIME tableaux for the coalgebraic \(\mu \)-calculus. Zbl 1257.03045
Cîrstea, Corina; Kupke, Clemens; Pattinson, Dirk
9
2009
Representations of stream processors using nested fixed points. Zbl 1189.68031
Hancock, Peter G.; Ghani, Neil; Pattinson, Dirk
8
2009
Coalgebraic hybrid logic. Zbl 1234.03020
Myers, Rob; Pattinson, Dirk; Schröder, Lutz
7
2009
Generic modal cut elimination applied to conditional logics. Zbl 1260.03104
Pattinson, Dirk; Schröder, Lutz
4
2009
Continuous functions on final coalgebras. Zbl 1337.68070
Ghani, Neil; Hancock, Peter; Pattinson, Dirk
2
2009
Strong completeness of coalgebraic modal logics. Zbl 1236.03060
Schröder, Lutz; Pattinson, Dirk
1
2009
Beyond rank 1: Algebraic semantics and finite models for coalgebraic logics. Zbl 1139.03012
Pattinson, Dirk; Schröder, Lutz
6
2008
Admissibility of cut in coalgebraic logics. Zbl 1279.03087
Pattinson, Dirk; Schröder, Lutz
3
2008
Modular construction of complete coalgebraic logics. Zbl 1126.03020
Cîrstea, Corina; Pattinson, Dirk
11
2007
Modular algorithms for heterogeneous modal logics. Zbl 1126.03028
Schröder, Lutz; Pattinson, Dirk
6
2007
Rank-1 modal logics are coalgebraic. Zbl 1186.03049
Schröder, Lutz; Pattinson, Dirk
4
2007
A domain-theoretic account of Picard’s theorem. Zbl 1112.65065
Edalat, Abbas; Pattinson, Dirk
2
2007
Denotational semantics of hybrid automata. Zbl 1123.68056
Edalat, Abbas; Pattinson, Dirk
1
2007
Continuous functions on final coalgebras. Zbl 1276.68110
Ghani, Neil; Hancock, Peter; Pattinson, Dirk
4
2006
Denotational semantics of hybrid automata. Zbl 1168.68417
Edalat, Abbas; Pattinson, Dirk
2
2006
Domain theoretic solutions of initial value problems for unbounded vector fields. Zbl 1273.65097
Edalat, Abbas; Pattinson, Dirk
2
2006
Coalgebraic modal logic of finite rank. Zbl 1135.18300
Kurz, Alexander; Pattinson, Dirk
9
2005
Ultrafilter extensions for coalgebras. Zbl 1151.03357
Kupke, C.; Kurz, A.; Pattinson, D.
5
2005
A computational model for multi-variable differential calculus. Zbl 1119.03062
Edalat, A.; Lieutier, A.; Pattinson, D.
3
2005
Expressive logics for coalgebras via terminal sequence induction. Zbl 1088.03031
Pattinson, Dirk
21
2004
Algebraic semantics for coalgebraic logics. Zbl 1271.03031
Kupke, Clemens; Kurz, Alexander; Pattinson, Dirk
16
2004
Modular construction of modal logics. Zbl 1099.03018
Cîrstea, Corina; Pattinson, Dirk
10
2004
A domain theoretic account of Picard’s theorem. Zbl 1098.65078
Edalat, A.; Pattinson, D.
2
2004
Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Zbl 1052.03009
Pattinson, Dirk
32
2003
Making components move: a separation of concerns approach. Zbl 1254.68124
Pattinson, Dirk; Wirsing, Martin
1
2003
Translating logics for coalgebras. Zbl 1278.03095
Pattinson, Dirk
1
2003
Semantical principles in the modal logic of coalgebras. Zbl 0976.68109
Pattinson, Dirk
16
2001
Expressivity results in the modal logic of coalgebras. Zbl 0979.03508
Pattinson, Dirk
5
2001
Modal logic for rewriting theories. Zbl 0965.03038
Pattinson, Dirk
1
2000
all top 5

Cited by 198 Authors

20 Pattinson, Dirk
14 Schröder, Lutz
10 Kurz, Alexander
8 Cîrstea, Corina
8 Venema, Yde
7 Milius, Stefan
6 Kupke, Clemens
5 Ciabattoni, Agata
5 Doberkat, Ernst-Erich
5 Klin, Bartek
5 Lellmann, Björn
4 Hansen, Helle Hvid
4 Hasuo, Ichiro
4 Leal, Raul Andres
4 Olivetti, Nicola
4 Wißmann, Thorsten
3 Berger, Ulrich
3 Bezhanishvili, Nick
3 Bílková, Marta
3 Brengos, Tomasz
3 Edalat, Abbas
3 Enqvist, Sebastian
3 Mossakowski, Till
3 Palmigiano, Alessandra
3 Petrisan, Daniela Luan
3 Pozzato, Gian Luca
3 Ramanayake, Revantha
3 Rot, Jurriaan
3 Schubert, Christoph
2 Areces, Carlos
2 Bonchi, Filippo
2 Capretta, Venanzio
2 Cho, Kenta
2 Dahlqvist, Fredrik
2 Dorsch, Ulrich
2 Goré, Rajeev Prabhakar
2 Gumm, Heinz-Peter
2 Hausmann, Daniel
2 Jacobs, Bart
2 Kataoka, Toshiki
2 Katsumata, Shin-ya
2 Kuznets, Roman
2 Marti, Johannes
2 Mašulović, Dragan
2 Myers, Robert S. R.
2 Peressotti, Marco
2 Pym, David J.
2 Rothe, Jan
2 Schwencke, Daniel
2 Seifan, Fatemeh
2 Silva, Alexandra
2 van Ditmarsch, Hans Pieter
2 Velebil, Jiří
1 Abbasi, Mohsin Manshad
1 Abel, Andreas M.
1 Abramsky, Samson
1 Adámek, Jiří
1 Alenda, Régis
1 Ames, Aaron D.
1 Bakhtiari, Zeinab
1 Bárcenas, Everardo
1 Bartha, Ferenc Ágoston
1 Bednarczyk, Bartosz
1 Bel’tyukov, Anatoliĭ Petrovich
1 Belzner, Lenz
1 Benevides, Mario R. F.
1 Benítez-Guerrero, Edgard
1 Benzmüller, Christoph Ewald
1 Bonsangue, Marcello Maria
1 Busch, Marianne
1 Calin, Georgel
1 Cardelli, Luca
1 Carreiro, Facundo
1 Chang, Liang
1 Chen, Liang-Ting
1 Conradie, Willem J.
1 Czajka, Łukasz
1 de Silva, Nadish
1 Diaconescu, Denisa
1 Docherty, Simon
1 Dostál, Matěj
1 Duracz, Adam
1 Duracz, Jan
1 Fan, Jie
1 Fang, Liangda
1 Fasching, Anton
1 Fauser, Bertfried
1 Fervari, Raul
1 Figueira, Santiago
1 Fontaine, Gaëlle
1 Freschi, Elisa
1 Fujii, Soichiro
1 Gabbay, Dov M.
1 Gaboardi, Marco
1 Gehrke, Mai
1 Genco, Francesco A.
1 Genovese, Valerio
1 Ghani, Neil
1 Ghilardi, Silvio
1 Gibbons, Jeremy
...and 98 more Authors

Citations by Year