Katalin Bimbó

403 total citations
32 papers, 177 citations indexed

About

Katalin Bimbó is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Katalin Bimbó has authored 32 papers receiving a total of 177 indexed citations (citations by other indexed papers that have themselves been cited), including 30 papers in Artificial Intelligence, 21 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. Recurrent topics in Katalin Bimbó's work include Logic, Reasoning, and Knowledge (26 papers), Logic, programming, and type systems (22 papers) and Advanced Algebra and Logic (18 papers). Katalin Bimbó is often cited by papers focused on Logic, Reasoning, and Knowledge (26 papers), Logic, programming, and type systems (22 papers) and Advanced Algebra and Logic (18 papers). Katalin Bimbó collaborates with scholars based in Canada, United States and Australia. Katalin Bimbó's co-authors include J. Michael Dunn, Michael Dunn, Roger D. Maddux and R. Meyer and has published in prestigious journals such as Theoretical Computer Science, Journal of Symbolic Logic and Journal of Philosophical Logic.

In The Last Decade

Katalin Bimbó

30 papers receiving 163 citations

Peers

Katalin Bimbó

CTM

ECP

CNC

PHILO

Rosalie Iemhoff Netherlands

Jean-Baptiste Joinet France

Kai Brünnler Switzerland

Roman Kuznets Switzerland

Chad E. Brown Germany

Gemma Robles Spain

Alessio Guglielmi United Kingdom

Tinko Tinchev Bulgaria

Giorgi Japaridze United States

Rosalie Iemhoff Netherlands

Katalin Bimbó

326 ×1.9

297 ×2.0

CTM

5 ×0.5

ECP

8 ×1.1

CNC

7 ×1.8

PHILO

Citations per year, relative to Katalin Bimbó Katalin Bimbó (= 1×) peers Rosalie Iemhoff

Countries citing papers authored by Katalin Bimbó

Since Specialization

Citations

This map shows the geographic impact of Katalin Bimbó's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Katalin Bimbó with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Katalin Bimbó more than expected).

Fields of papers citing papers by Katalin Bimbó

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Katalin Bimbó. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Katalin Bimbó. The network helps show where Katalin Bimbó may publish in the future.

Co-authorship network of co-authors of Katalin Bimbó

This figure shows the co-authorship network connecting the top 25 collaborators of Katalin Bimbó. A scholar is included among the top collaborators of Katalin Bimbó based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Katalin Bimbó. Katalin Bimbó is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Bimbó, Katalin, et al.. (2018). Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics. 15(2). 171–209. 1 indexed citations

Bimbó, Katalin & J. Michael Dunn. (2017). The Emergence of Set-theoretical Semantics for Relevance Logics around 1970.. 4. 4 indexed citations

Bimbó, Katalin. (2017). Max Cresswell, Edwin Mares, and Adriane Rini, eds. , Logical Modalities from Aristotle to Carnap: The Story of Necessity . Reviewed by. 37(3). 100–102.

Bimbó, Katalin. (2016). J. Michael Dunn on Information Based Logics. 6 indexed citations

Bimbó, Katalin. (2015). The decidability of the intensional fragment of classical linear logic. Theoretical Computer Science. 597. 1–17. 6 indexed citations

Bimbó, Katalin. (2015). Current Trends in Substructural Logics. Journal of Philosophical Logic. 44(6). 609–624. 2 indexed citations

Bimbó, Katalin. (2014). Proof Theory. 7 indexed citations

Bimbó, Katalin & J. Michael Dunn. (2013). On the decidability of implicational ticket entailment. Journal of Symbolic Logic. 78(1). 214–236. 8 indexed citations

Bimbó, Katalin & J. Michael Dunn. (2012). New Consecution Calculi for R→t. Notre Dame Journal of Formal Logic. 53(4). 7 indexed citations

10.

Bimbó, Katalin. (2011). Combinatory Logic. 11 indexed citations

11.

Bimbó, Katalin & Michael Dunn. (2010). Calculi for symmetric generalized galois logics. 36(1). 307–343. 1 indexed citations

12.

Bimbó, Katalin & J. Michael Dunn. (2010). Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188. 3 indexed citations

13.

Bimbó, Katalin & J. Michael Dunn. (2009). Symmetric Generalized Galois Logics. Logica Universalis. 3(1). 125–152. 4 indexed citations

14.

Bimbó, Katalin, J. Michael Dunn, & Roger D. Maddux. (2009). RELEVANCE LOGICS AND RELATION ALGEBRAS. The Review of Symbolic Logic. 2(1). 102–131. 4 indexed citations

15.

Bimbó, Katalin. (2007). % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaaeaart1ev0aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbbjxAHX % garmWu51MyVXgatuuDJXwAK1uy0HwmaeHbfv3ySLgzG0uy0Hgip5wz % aebbnrfifHhDYfgasaacH8qrps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq % Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq % Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeWaeaaakeaaca % WGmbGaamyramaaDaaaleaacqGHsgIRaeaacaWG0baaaaaa!3C3E! $$ LE^{t}_{ \to } $$ , % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaaeaart1ev0aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbbjxAHX % garmWu51MyVXgatuuDJXwAK1uy0HwmaeHbfv3ySLgzG0uy0Hgip5wz % aebbnrfifHhDYfgasaacH8qrps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq % Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq % Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeWaeaaakeaaie % GacaWFmbGaa8NuamaaDaaaleaadaqiaaqaaiablYJi6aGaayPadaaa % baGaeSigI8gaaaaa!3C8D! $$LR^{ \circ }_{{\widehat{ \sim }}}$$ , LK and Cutfree Proofs. Journal of Philosophical Logic. 36(5). 557–570. 7 indexed citations

16.

Bimbó, Katalin & J. Michael Dunn. (2005). Relational Semantics for Kleene Logic and Action Logic. Notre Dame Journal of Formal Logic. 46(4). 4 indexed citations

17.

Bimbó, Katalin. (2004). Semantics for Dual and Symmetric Combinatory Calculi. Journal of Philosophical Logic. 33(2). 125–153. 2 indexed citations

18.

Bimbó, Katalin & J. Michael Dunn. (2001). Four-valued Logic. Notre Dame Journal of Formal Logic. 42(3). 11 indexed citations

19.

Bimbó, Katalin. (2001). Semantics for structurally free logics LC+. Logic Journal of IGPL. 9(4). 525–539. 5 indexed citations

20.

Bimbó, Katalin. (2000). Investigation into Combinatory Systems with Dual Combinators. Studia Logica. 66(2). 285–296. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact