Grigori Mint︠s︡

710 total citations
30 papers, 283 citations indexed

About

Grigori Mint︠s︡ is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Theoretical Computer Science. According to data from OpenAlex, Grigori Mint︠s︡ has authored 30 papers receiving a total of 283 indexed citations (citations by other indexed papers that have themselves been cited), including 22 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 3 papers in Theoretical Computer Science. Recurrent topics in Grigori Mint︠s︡'s work include Logic, Reasoning, and Knowledge (18 papers), Logic, programming, and type systems (15 papers) and Computability, Logic, AI Algorithms (7 papers). Grigori Mint︠s︡ is often cited by papers focused on Logic, Reasoning, and Knowledge (18 papers), Logic, programming, and type systems (15 papers) and Computability, Logic, AI Algorithms (7 papers). Grigori Mint︠s︡ collaborates with scholars based in United States, Estonia and Germany. Grigori Mint︠s︡'s co-authors include Philip Kremer, Helmut Schwichtenberg, Sam Buss, Wilfried Buchholz, Ting Zhang, Tanel Tammet, Reinhard Muskens, Makoto Tatsuta, Ting Zhang and Carl Pollard and has published in prestigious journals such as Theoretical Computer Science, Synthese and Journal of Symbolic Logic.

In The Last Decade

Grigori Mint︠s︡

27 papers receiving 250 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Grigori Mint︠s︡ United States	9	250	194	29	10	9	30	283
Wolfgang Rautenberg Germany	9	326 1.3×	324 1.7×	15 0.5×	5 0.5×	5 0.6×	33	411
Thomas Studer Switzerland	11	247 1.0×	138 0.7×	16 0.6×	13 1.3×	2 0.2×	52	269
Helmut Schwichtenberg Germany	13	446 1.8×	373 1.9×	58 2.0×	5 0.5×	6 0.7×	41	497
David Fernández–Duque Spain	8	168 0.7×	104 0.5×	15 0.5×	5 0.5×	1 0.1×	43	187
Ruy J. G. B. de Queiroz Brazil	7	120 0.5×	78 0.4×	10 0.3×	3 0.3×	3 0.3×	51	162
Lorenz Demey Belgium	9	163 0.7×	152 0.8×	20 0.7×	5 0.5×	5 0.6×	47	250
Fairouz Kamareddine United Kingdom	10	246 1.0×	167 0.9×	28 1.0×	2 0.2×	4 0.4×	48	260
Temur Kutsia Austria	7	175 0.7×	105 0.5×	47 1.6×	5 0.5×	5 0.6×	53	205
H E Rose South Africa	6	120 0.5×	168 0.9×	8 0.3×	7 0.7×	5 0.6×	22	232
Daniele Varacca France	8	149 0.6×	145 0.7×	45 1.6×	9 0.9×		17	197

Countries citing papers authored by Grigori Mint︠s︡

Since Specialization

Citations

This map shows the geographic impact of Grigori Mint︠s︡'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 Grigori Mint︠s︡ with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Grigori Mint︠s︡ more than expected).

Fields of papers citing papers by Grigori Mint︠s︡

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Grigori Mint︠s︡. 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 Grigori Mint︠s︡. The network helps show where Grigori Mint︠s︡ may publish in the future.

Co-authorship network of co-authors of Grigori Mint︠s︡

This figure shows the co-authorship network connecting the top 25 collaborators of Grigori Mint︠s︡. A scholar is included among the top collaborators of Grigori Mint︠s︡ 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 Grigori Mint︠s︡. Grigori Mint︠s︡ 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

Mint︠s︡, Grigori. (2012). Epsilon substitution for first- and second-order predicate logic. Annals of Pure and Applied Logic. 164(6). 733–739. 1 indexed citations

Mint︠s︡, Grigori. (2011). Epsilon Substitution for Predicate Logic. Electronic Proceedings in Theoretical Computer Science. 47. 3–5. 1 indexed citations

Mint︠s︡, Grigori. (2010). Cut-free formulations for a quantified logic of here and there. Annals of Pure and Applied Logic. 162(3). 237–242. 5 indexed citations

Mint︠s︡, Grigori. (2006). Notes on Constructive Negation. Synthese. 148(3). 701–717. 3 indexed citations

Tatsuta, Makoto & Grigori Mint︠s︡. (2005). A simple proof of second-order strong normalization with permutative conversions. Annals of Pure and Applied Logic. 136(1-2). 134–155. 6 indexed citations

Kremer, Philip & Grigori Mint︠s︡. (2004). Dynamic topological logic. Annals of Pure and Applied Logic. 131(1-3). 133–158. 39 indexed citations

Mint︠s︡, Grigori & Ting Zhang. (2004). A proof of topological completeness for S4 in (0, 1). Annals of Pure and Applied Logic. 133(1-3). 231–245. 10 indexed citations

Mint︠s︡, Grigori & Reinhard Muskens. (2003). Games, logic, and constructive sets. Data Archiving and Networked Services (DANS). 5 indexed citations

Mint︠s︡, Grigori. (2002). A Short Introduction to Intuitionistic Logic. Kluwer Academic Publishers eBooks. 43 indexed citations

10.

Schwichtenberg, Helmut & Grigori Mint︠s︡. (2002). A Short Introduction to Intuitionistic Logic. Bulletin of Symbolic Logic. 8(4). 520–520. 19 indexed citations

11.

Arai, Toshiyasu & Grigori Mint︠s︡. (2000). Extended normal form theorems for logical proofs from axioms. Theoretical Computer Science. 232(1-2). 121–132.

12.

Buss, Sam & Grigori Mint︠s︡. (1999). The complexity of the disjunction and existential properties in intuitionistic logic. Annals of Pure and Applied Logic. 99(1-3). 93–104. 17 indexed citations

13.

Kremer, Philip, et al.. (1997). Axiomatizing the next-interior fragment of dynamic topological logic. 7 indexed citations

14.

Mint︠s︡, Grigori, et al.. (1996). Problems of Reducing the Exhaustive Search. 4 indexed citations

15.

Mint︠s︡, Grigori, et al.. (1996). Epsilon substitution method for elementary analysis. Archive for Mathematical Logic. 35(2). 103–130. 1 indexed citations

16.

Mint︠s︡, Grigori & Carl Pollard. (1994). Cut-elimination and normal forms of sequent derivations. 1 indexed citations

17.

Mint︠s︡, Grigori. (1993). Resolution calculus for the first order linear logic. Journal of Logic Language and Information. 2(1). 59–83. 12 indexed citations

18.

Mint︠s︡, Grigori. (1991). Proof theory in the USSR 1925–1969. Journal of Symbolic Logic. 56(2). 385–424. 8 indexed citations

19.

Mint︠s︡, Grigori & Tanel Tammet. (1991). Condensed detachment is complete for relevance logic: A computer-aided proof. Journal of Automated Reasoning. 7(4). 587–596. 8 indexed citations

20.

Martin-Löf, Per & Grigori Mint︠s︡. (1990). COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings. Medical Entomology and Zoology.

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