×
Compute Distance To:
Author ID: venema.yde Recent zbMATH articles by "Venema, Yde"
Published as: Venema, Yde; Venema, Y.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

83 Publications have been cited 1,300 times in 1,002 Documents Cited by Year
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
651
2001
A modal logic for chopping intervals. Zbl 0744.03022
Venema, Yde
49
1991
Multi-dimensional modal logic. Zbl 0942.03029
Marx, Maarten; Venema, Yde
45
1997
Expressiveness and completeness of an interval tense logic. Zbl 0725.03006
Venema, Yde
40
1990
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
40
2005
Stone coalgebras. Zbl 1075.68053
Kupke, Clemens; Kurz, Alexander; Venema, Yde
34
2004
Finite model theory and its applications. Zbl 1133.03001
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
27
2007
Automata and fixed point logic: a coalgebraic perspective. Zbl 1110.68066
Venema, Yde
23
2006
Derivation rules as anti-axioms in modal logic. Zbl 0793.03017
Venema, Yde
22
1993
MacNeille completions and canonical extensions. Zbl 1083.06009
Gehrke, Mai; Harding, John; Venema, Yde
21
2006
Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Zbl 0823.03037
de Rijke, Maarten; Venema, Yde
17
1995
Cylindric modal logic. Zbl 0830.03008
Venema, Yde
15
1995
Canonical varieties with no canonical axiomatisation. Zbl 1081.03062
Hodkinson, Ian; Venema, Yde
14
2005
MacNeille completions of lattice expansions. Zbl 1133.06005
Theunissen, Mark; Venema, Yde
14
2007
Completeness for the coalgebraic cover modality. Zbl 1261.18006
Kupke, Clemens; Kurz, Alexander; Venema, Yde
11
2012
Coalgebraic automata theory: basic results. Zbl 1161.18001
Kupke, Clemens; Venema, Yde
11
2008
The preservation of Sahlqvist equations in completions of Boolean algebras with operators. Zbl 0964.03033
Givant, S.; Venema, Y.
11
1999
Completeness for flat modal fixpoint logics. Zbl 1225.03020
Santocanale, Luigi; Venema, Yde
11
2010
Proof systems for the coalgebraic cover modality. Zbl 1244.03063
Bílková, Marta; Palmigiano, Alessandra; Venema, Yde
10
2008
Atom structures and Sahlqvist equations. Zbl 0913.06010
Venema, Y.
10
1997
Temporal logic. Zbl 0997.03019
Venema, Yde
10
2001
A crash course in arrow logic. Zbl 0878.03012
Venema, Yde
10
1996
Points, lines and diamonds: A two-sorted modal logic for projective planes. Zbl 0941.03020
Venema, Yde
9
1999
Uniform interpolation for monotone modal logic. Zbl 1254.03039
Santocanale, Luigi; Venema, Yde
8
2010
A note on the tense logic of dominoes. Zbl 0785.03007
Venema, Yde
8
1992
Automata for coalgebras: an approach using predicate liftings. Zbl 1288.68175
Fontaine, Gaëlle; Leal, Raul; Venema, Yde
8
2010
Lax extensions of coalgebra functors and their logic. Zbl 1328.03061
Marti, Johannes; Venema, Yde
8
2015
Complementation of coalgebra automata. Zbl 1239.68048
Kissig, Christian; Venema, Yde
7
2009
Erdős graphs resolve Fine’s canonicity problem. Zbl 1060.03038
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
7
2004
Irreducible equivalence relations, Gleason spaces, and de Vries duality. Zbl 1425.54006
Bezhanishvili, Guram; Bezhanishvili, Nick; Sourabh, Sumit; Venema, Yde
7
2017
Completeness of the finitary Moss logic. Zbl 1233.03029
Kupke, Clemens; Kurz, Alexander; Venema, Yde
6
2008
Vietoris bisimulations. Zbl 1266.03029
Bezhanishvili, N.; Fontaine, G.; Venema, Y.
6
2010
A dual characterization of subdirectly irreducible BAOs. Zbl 1050.03045
Venema, Yde
6
2004
Coalgebraic Lindström theorems. Zbl 1254.03121
Kurz, Alexander; Venema, Yde
5
2010
Simulating polyadic modal logics by monadic ones. Zbl 1059.03008
Goguadze, George; Piazza, Carla; Venema, Yde
5
2003
Two-dimensional modal logics of relational algebras and temporal logic of intervals. Zbl 0685.03014
Venema, Yde
5
1989
Canonical pseudo-correspondence. Zbl 0993.03022
Venema, Yde
5
2001
Nabla algebras and Chu spaces. Zbl 1214.03057
Palmigiano, Alessandra; Venema, Yde
5
2007
Weak MSO: automata and expressiveness modulo bisimilarity. Zbl 1401.03065
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
4
2014
Monadic second-order logic and bisimulation invariance for coalgebras. Zbl 1394.03083
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
4
2015
Lax extensions of coalgebra functors. Zbl 1328.03060
Marti, Johannes; Venema, Yde
4
2012
Proof systems for Moss’ coalgebraic logic. Zbl 1323.03087
Bílková, Marta; Palmigiano, Alessandra; Venema, Yde
4
2014
Representation of game algebras. Zbl 1038.03060
Venema, Yde
4
2003
Rectangular games. Zbl 0926.03080
Venema, Yde
4
1998
Flat coalgebraic fixed point logics. Zbl 1287.03076
Schröder, Lutz; Venema, Yde
4
2010
Automata and fixed point logics for coalgebras. Zbl 1271.68155
Venema, Yde
4
2004
Completeness for coalgebraic fixpoint logic. Zbl 1370.03085
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
4
2016
A strict implication calculus for compact Hausdorff spaces. Zbl 1446.03041
Bezhanishvili, G.; Bezhanishvili, N.; Santoli, T.; Venema, Y.
3
2019
Completeness via completeness: Since and until. Zbl 0821.03011
Venema, Yde
3
1993
Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties. Zbl 1459.03022
Fontaine, Gaëlle; Venema, Yde
3
2018
Completeness through flatness in two-dimensional temporal logic. Zbl 0949.03510
Venema, Y.
3
1994
Stream automata are coalgebras. Zbl 1327.68151
Ciancia, Vincenzo; Venema, Yde
3
2012
A modal logic for quantification and substitution. Zbl 0810.03012
Venema, Yde
3
1994
Atom structures. Zbl 0905.06010
Venema, Yde
3
1998
A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus. Zbl 1366.03186
Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
3
2013
Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics. Zbl 1391.68077
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
2
2018
PDL inside the \(\mu\)-calculus: a syntactic and an automata-theoretic characterization. Zbl 1385.03035
Carreiro, Facundo; Venema, Yde
2
2014
Tree models and (labeled) categorial grammar. Zbl 0855.03017
Venema, Yde
2
1996
The power of the weak. Zbl 1446.68089
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
2
2020
Atomless varieties. Zbl 1059.03078
Venema, Yde
2
2003
On canonical modal logics that are not elementarily determined. Zbl 1060.03037
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2
2003
Meeting strength in substructural logics. Zbl 0813.03036
Venema, Yde
2
1995
Logics and algebras for multiple players. Zbl 1208.03057
Loohuis, Loes Olde; Venema, Yde
2
2010
Cylindric modal logic. Zbl 1284.03153
Venema, Yde
2
2012
Modal logic and the Vietoris functor. Zbl 1350.03021
Venema, Yde; Vosmaer, Jacob
2
2014
Completeness for flat modal fixpoint logics. (Extended abstract). Zbl 1137.03317
Santocanale, Luigi; Venema, Yde
2
2007
Closure ordinals of the two-way modal \(\mu\)-calculus. Zbl 07176944
Milanese, Gian Carlo; Venema, Yde
1
2019
Dynamic squares. Zbl 0842.03016
Blackburn, Patrick; Venema, Yde
1
1995
Meeting a modality? Restricted permutation for the Lambek calculus. Zbl 0845.03001
Venema, Yde
1
1995
A modal logic of quantification and substitution. Zbl 0843.03009
Venema, Yde
1
1995
Completeness of flat coalgebraic fixpoint logics. Zbl 1407.03049
Schröder, Lutz; Venema, Yde
1
2018
Parity games and automata for game logic. Zbl 06858842
Hansen, Helle Hvid; Kupke, Clemens; Marti, Johannes; Venema, Yde
1
2018
Axiomatizing complex algebras by games. Zbl 1063.08011
Hodkinson, Ian; Mikulás, Szabolcs; Venema, Yde
1
2001
Editorial. Coalgebra and logic: a brief overview. Zbl 1211.03102
Kurz, Alexander; Palmigiano, Alessandra; Venema, Yde
1
2010
Undecidable theories of Lyndon algebras. Zbl 0980.03065
Stebletsova, Vera; Venema, Yde
1
2001
A modal logic of relations. (With appendix: “Mosaics and step-by-step”, by Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolcs Mikulás and Mark Reynolds). Zbl 0924.03030
Venema, Yde; Marx, Maarten
1
1999
Disjunctive bases: normal forms for modal logics. Zbl 1433.68427
Enqvist, Sebastian; Venema, Yde
1
2017
Completeness for \(\mu\)-calculi: a coalgebraic approach. Zbl 1443.03012
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
1
2019
Uniform interpolation for coalgebraic fixpoint logic. Zbl 1366.03245
Marti, Johannes; Seifan, Fatemeh; Venema, Yde
1
2015
Stone coalgebras. Zbl 1270.03142
Kupke, Clemens; Kurz, Alexander; Venema, Yde
1
2003
Expressiveness modulo bisimilarity: a coalgebraic perspective. Zbl 1354.03023
Venema, Yde
1
2014
Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. Zbl 1135.03001
1
2006
An expressive completeness theorem for coalgebraic modal \(\mu\)-calculi. Zbl 1448.03013
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
1
2017
The power of the weak. Zbl 1446.68089
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
2
2020
A strict implication calculus for compact Hausdorff spaces. Zbl 1446.03041
Bezhanishvili, G.; Bezhanishvili, N.; Santoli, T.; Venema, Y.
3
2019
Closure ordinals of the two-way modal \(\mu\)-calculus. Zbl 07176944
Milanese, Gian Carlo; Venema, Yde
1
2019
Completeness for \(\mu\)-calculi: a coalgebraic approach. Zbl 1443.03012
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
1
2019
Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties. Zbl 1459.03022
Fontaine, Gaëlle; Venema, Yde
3
2018
Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics. Zbl 1391.68077
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
2
2018
Completeness of flat coalgebraic fixpoint logics. Zbl 1407.03049
Schröder, Lutz; Venema, Yde
1
2018
Parity games and automata for game logic. Zbl 06858842
Hansen, Helle Hvid; Kupke, Clemens; Marti, Johannes; Venema, Yde
1
2018
Irreducible equivalence relations, Gleason spaces, and de Vries duality. Zbl 1425.54006
Bezhanishvili, Guram; Bezhanishvili, Nick; Sourabh, Sumit; Venema, Yde
7
2017
Disjunctive bases: normal forms for modal logics. Zbl 1433.68427
Enqvist, Sebastian; Venema, Yde
1
2017
An expressive completeness theorem for coalgebraic modal \(\mu\)-calculi. Zbl 1448.03013
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
1
2017
Completeness for coalgebraic fixpoint logic. Zbl 1370.03085
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
4
2016
Lax extensions of coalgebra functors and their logic. Zbl 1328.03061
Marti, Johannes; Venema, Yde
8
2015
Monadic second-order logic and bisimulation invariance for coalgebras. Zbl 1394.03083
Enqvist, Sebastian; Seifan, Fatemeh; Venema, Yde
4
2015
Uniform interpolation for coalgebraic fixpoint logic. Zbl 1366.03245
Marti, Johannes; Seifan, Fatemeh; Venema, Yde
1
2015
Weak MSO: automata and expressiveness modulo bisimilarity. Zbl 1401.03065
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
4
2014
Proof systems for Moss’ coalgebraic logic. Zbl 1323.03087
Bílková, Marta; Palmigiano, Alessandra; Venema, Yde
4
2014
PDL inside the \(\mu\)-calculus: a syntactic and an automata-theoretic characterization. Zbl 1385.03035
Carreiro, Facundo; Venema, Yde
2
2014
Modal logic and the Vietoris functor. Zbl 1350.03021
Venema, Yde; Vosmaer, Jacob
2
2014
Expressiveness modulo bisimilarity: a coalgebraic perspective. Zbl 1354.03023
Venema, Yde
1
2014
A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus. Zbl 1366.03186
Facchini, Alessandro; Venema, Yde; Zanasi, Fabio
3
2013
Completeness for the coalgebraic cover modality. Zbl 1261.18006
Kupke, Clemens; Kurz, Alexander; Venema, Yde
11
2012
Lax extensions of coalgebra functors. Zbl 1328.03060
Marti, Johannes; Venema, Yde
4
2012
Stream automata are coalgebras. Zbl 1327.68151
Ciancia, Vincenzo; Venema, Yde
3
2012
Cylindric modal logic. Zbl 1284.03153
Venema, Yde
2
2012
Completeness for flat modal fixpoint logics. Zbl 1225.03020
Santocanale, Luigi; Venema, Yde
11
2010
Uniform interpolation for monotone modal logic. Zbl 1254.03039
Santocanale, Luigi; Venema, Yde
8
2010
Automata for coalgebras: an approach using predicate liftings. Zbl 1288.68175
Fontaine, Gaëlle; Leal, Raul; Venema, Yde
8
2010
Vietoris bisimulations. Zbl 1266.03029
Bezhanishvili, N.; Fontaine, G.; Venema, Y.
6
2010
Coalgebraic Lindström theorems. Zbl 1254.03121
Kurz, Alexander; Venema, Yde
5
2010
Flat coalgebraic fixed point logics. Zbl 1287.03076
Schröder, Lutz; Venema, Yde
4
2010
Logics and algebras for multiple players. Zbl 1208.03057
Loohuis, Loes Olde; Venema, Yde
2
2010
Editorial. Coalgebra and logic: a brief overview. Zbl 1211.03102
Kurz, Alexander; Palmigiano, Alessandra; Venema, Yde
1
2010
Complementation of coalgebra automata. Zbl 1239.68048
Kissig, Christian; Venema, Yde
7
2009
Coalgebraic automata theory: basic results. Zbl 1161.18001
Kupke, Clemens; Venema, Yde
11
2008
Proof systems for the coalgebraic cover modality. Zbl 1244.03063
Bílková, Marta; Palmigiano, Alessandra; Venema, Yde
10
2008
Completeness of the finitary Moss logic. Zbl 1233.03029
Kupke, Clemens; Kurz, Alexander; Venema, Yde
6
2008
Finite model theory and its applications. Zbl 1133.03001
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
27
2007
MacNeille completions of lattice expansions. Zbl 1133.06005
Theunissen, Mark; Venema, Yde
14
2007
Nabla algebras and Chu spaces. Zbl 1214.03057
Palmigiano, Alessandra; Venema, Yde
5
2007
Completeness for flat modal fixpoint logics. (Extended abstract). Zbl 1137.03317
Santocanale, Luigi; Venema, Yde
2
2007
Automata and fixed point logic: a coalgebraic perspective. Zbl 1110.68066
Venema, Yde
23
2006
MacNeille completions and canonical extensions. Zbl 1083.06009
Gehrke, Mai; Harding, John; Venema, Yde
21
2006
Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. Zbl 1135.03001
1
2006
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
40
2005
Canonical varieties with no canonical axiomatisation. Zbl 1081.03062
Hodkinson, Ian; Venema, Yde
14
2005
Stone coalgebras. Zbl 1075.68053
Kupke, Clemens; Kurz, Alexander; Venema, Yde
34
2004
Erdős graphs resolve Fine’s canonicity problem. Zbl 1060.03038
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
7
2004
A dual characterization of subdirectly irreducible BAOs. Zbl 1050.03045
Venema, Yde
6
2004
Automata and fixed point logics for coalgebras. Zbl 1271.68155
Venema, Yde
4
2004
Simulating polyadic modal logics by monadic ones. Zbl 1059.03008
Goguadze, George; Piazza, Carla; Venema, Yde
5
2003
Representation of game algebras. Zbl 1038.03060
Venema, Yde
4
2003
Atomless varieties. Zbl 1059.03078
Venema, Yde
2
2003
On canonical modal logics that are not elementarily determined. Zbl 1060.03037
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2
2003
Stone coalgebras. Zbl 1270.03142
Kupke, Clemens; Kurz, Alexander; Venema, Yde
1
2003
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
651
2001
Temporal logic. Zbl 0997.03019
Venema, Yde
10
2001
Canonical pseudo-correspondence. Zbl 0993.03022
Venema, Yde
5
2001
Axiomatizing complex algebras by games. Zbl 1063.08011
Hodkinson, Ian; Mikulás, Szabolcs; Venema, Yde
1
2001
Undecidable theories of Lyndon algebras. Zbl 0980.03065
Stebletsova, Vera; Venema, Yde
1
2001
The preservation of Sahlqvist equations in completions of Boolean algebras with operators. Zbl 0964.03033
Givant, S.; Venema, Y.
11
1999
Points, lines and diamonds: A two-sorted modal logic for projective planes. Zbl 0941.03020
Venema, Yde
9
1999
A modal logic of relations. (With appendix: “Mosaics and step-by-step”, by Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolcs Mikulás and Mark Reynolds). Zbl 0924.03030
Venema, Yde; Marx, Maarten
1
1999
Rectangular games. Zbl 0926.03080
Venema, Yde
4
1998
Atom structures. Zbl 0905.06010
Venema, Yde
3
1998
Multi-dimensional modal logic. Zbl 0942.03029
Marx, Maarten; Venema, Yde
45
1997
Atom structures and Sahlqvist equations. Zbl 0913.06010
Venema, Y.
10
1997
A crash course in arrow logic. Zbl 0878.03012
Venema, Yde
10
1996
Tree models and (labeled) categorial grammar. Zbl 0855.03017
Venema, Yde
2
1996
Sahlqvist’s theorem for Boolean algebras with operators with an application to cylindric algebras. Zbl 0823.03037
de Rijke, Maarten; Venema, Yde
17
1995
Cylindric modal logic. Zbl 0830.03008
Venema, Yde
15
1995
Meeting strength in substructural logics. Zbl 0813.03036
Venema, Yde
2
1995
Dynamic squares. Zbl 0842.03016
Blackburn, Patrick; Venema, Yde
1
1995
Meeting a modality? Restricted permutation for the Lambek calculus. Zbl 0845.03001
Venema, Yde
1
1995
A modal logic of quantification and substitution. Zbl 0843.03009
Venema, Yde
1
1995
Completeness through flatness in two-dimensional temporal logic. Zbl 0949.03510
Venema, Y.
3
1994
A modal logic for quantification and substitution. Zbl 0810.03012
Venema, Yde
3
1994
Derivation rules as anti-axioms in modal logic. Zbl 0793.03017
Venema, Yde
22
1993
Completeness via completeness: Since and until. Zbl 0821.03011
Venema, Yde
3
1993
A note on the tense logic of dominoes. Zbl 0785.03007
Venema, Yde
8
1992
A modal logic for chopping intervals. Zbl 0744.03022
Venema, Yde
49
1991
Expressiveness and completeness of an interval tense logic. Zbl 0725.03006
Venema, Yde
40
1990
Two-dimensional modal logics of relational algebras and temporal logic of intervals. Zbl 0685.03014
Venema, Yde
5
1989
all top 5

Cited by 969 Authors

27 Montanari, Angelo
26 Venema, Yde
22 Bezhanishvili, Nick
21 van Benthem, Johan F. A. K.
20 Bezhanishvili, Guram
17 Balbiani, Philippe
17 Hodkinson, Ian Martin
17 Sala, Pietro
17 van Ditmarsch, Hans Pieter
15 Sciavicco, Guido
14 Areces, Carlos
14 Goranko, Valentin F.
13 van der Hoek, Wiebe
12 Benevides, Mario R. F.
12 Gehrke, Mai
12 Marx, Maarten
11 Bozzelli, Laura
11 Goldblatt, Robert Ian
11 Pattinson, Dirk
11 Peron, Adriano
10 Ågotnes, Thomas
10 Herzig, Andreas
10 Lorini, Emiliano
10 Palmigiano, Alessandra
10 Smets, Sonja J. L.
9 Baltag, Alexandru
9 Bresolin, Davide
9 Conradie, Willem
9 Kupke, Clemens
9 Ma, Minghui
9 Molinari, Alberto
9 Schröder, Lutz
9 Wang, Yanjing
8 Demri, Stéphane P.
8 Kurz, Alexander
8 Németi, István
8 Sano, Katsuhiko
8 Sayed Ahmed, Tarek
7 Celani, Sergio Arturo
7 Enqvist, Sebastian
7 Girard, Patrick R.
7 Grossi, Davide
7 Hirsch, Robin
7 Khan, Md. Aquil
6 Andréka, Hajnal
6 Blackburn, Patrick
6 de Rijke, Maarten
6 Fervari, Raul
6 Holliday, Wesley H.
6 Koutras, Costas D.
6 Kuusisto, Antti
6 Liau, Churn-Jung
6 Lucero-Bryan, Joel Gregory
6 Schechter, Luis Menasché
6 ten Cate, Balder David
6 Vakarelov, Dimiter
6 Velázquez-Quesada, Fernando Raymundo
6 Veloso, Paulo Augusto S.
6 Veloso, Sheila R. M.
6 Wooldridge, Michael J.
5 Aucher, Guillaume
5 Banerjee, Mohua
5 Belardinelli, Francesco
5 Bonanno, Giacomo
5 Ciabattoni, Agata
5 De Groot, Jim
5 Fritz, Peter
5 Gabbay, Dov M.
5 Ghilardi, Silvio
5 Harding, John
5 Heinemann, Bernhard
5 Hofmann, Dirk
5 Kikot, Stanislav
5 Kurucz, Agi
5 Litak, Tadeusz
5 Liu, Fenrong
5 Özgün, Aybüke
5 Pacuit, Eric
5 Priestley, Hilary A.
5 Rendsvig, Rasmus Kræmmer
5 Renne, Bryan
5 Sadrzadeh, Mehrnoosh
5 Schmidt, Renate A.
5 Smolka, Gert
4 Abramsky, Samson
4 Alechina, Natasha
4 Badia, Guillermo
4 Başkent, Can
4 Bílková, Marta
4 Bolander, Thomas
4 Braüner, Torben
4 Bredikhin, Dmitriĭ Aleksandrovich
4 de Freitas, Renata P.
4 Della Monica, Dario
4 Esteva, Francesc
4 Fan, Tuan-Fang
4 Fernández Duque, David
4 Figueira, Santiago
4 French, Tim
4 Gabelaia, David
...and 869 more Authors
all top 5

Cited in 84 Serials

87 Studia Logica
52 Synthese
50 Journal of Philosophical Logic
46 Annals of Pure and Applied Logic
44 Theoretical Computer Science
41 Journal of Applied Non-Classical Logics
36 Journal of Logic, Language and Information
29 Journal of Applied Logic
28 Artificial Intelligence
26 The Review of Symbolic Logic
24 The Journal of Symbolic Logic
24 Information and Computation
24 Logical Methods in Computer Science
18 Notre Dame Journal of Formal Logic
18 Journal of Logical and Algebraic Methods in Programming
16 Algebra Universalis
16 International Journal of Approximate Reasoning
13 Logica Universalis
12 Annals of Mathematics and Artificial Intelligence
11 Archive for Mathematical Logic
11 ACM Transactions on Computational Logic
7 MSCS. Mathematical Structures in Computer Science
7 Applied Categorical Structures
6 Acta Informatica
6 Information Sciences
6 Erkenntnis
5 Fuzzy Sets and Systems
5 Journal of Computer and System Sciences
5 Formal Aspects of Computing
5 The Bulletin of Symbolic Logic
4 Journal of Pure and Applied Algebra
4 Transactions of the American Mathematical Society
4 Topology and its Applications
4 Order
4 Journal of Automated Reasoning
4 Mathematical Logic Quarterly (MLQ)
4 Theory of Computing Systems
4 The Journal of Logic and Algebraic Programming
3 Information Processing Letters
3 Advances in Mathematics
3 SIAM Journal on Computing
3 Soft Computing
3 Logic and Logical Philosophy
2 Israel Journal of Mathematics
2 Problems of Information Transmission
2 Journal of Algebra
2 International Journal of Foundations of Computer Science
2 Games and Economic Behavior
2 Indagationes Mathematicae. New Series
2 Russian Mathematics
2 Fundamenta Informaticae
2 Frontiers of Computer Science
1 Bulletin of the Australian Mathematical Society
1 International Journal of Theoretical Physics
1 Mathematical Biosciences
1 Mathematical Notes
1 Automatica
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Mathematical Economics
1 Mathematica Slovaca
1 Proceedings of the American Mathematical Society
1 Quaestiones Mathematicae
1 Semigroup Forum
1 Bulletin of the Section of Logic
1 Acta Mathematica Hungarica
1 Discrete & Computational Geometry
1 International Journal of Computer Mathematics
1 Distributed Computing
1 Journal of the Egyptian Mathematical Society
1 Computational & Mathematical Organization Theory
1 Higher-Order and Symbolic Computation
1 RAIRO. Theoretical Informatics and Applications
1 Central European Journal of Mathematics
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Science in China. Series F
1 Chebyshevskiĭ Sbornik
1 Proceedings of the Steklov Institute of Mathematics
1 The B. E. Journal of Theoretical Economics
1 Asian-European Journal of Mathematics
1 Science China. Information Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Games
1 Journal of Siberian Federal University. Mathematics & Physics
1 Bollettino dell’Unione Matematica Italiana

Citations by Year