We stand with Ukraine  

Amirhossein Akbar Tabatabai

Affiliations:
  • University of Groningen, The Netherlands


According to our database1, Amirhossein Akbar Tabatabai authored at least 9 papers between 2017 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Universal Proof Theory: Constructive Rules and Feasible Admissibility.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Raheleh Jalali
CoRR, 2022

Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Rosalie Iemhoff
,
Raheleh Jalali
CoRR, 2022

Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
Proceedings of the Logic, Language, Information, and Computation, 2022

Provability Logics of Hierarchies.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

Uniform Lyndon interpolation for intuitionistic monotone modal logic.
[BibTeX]
[DOI]
Rosalie Iemhoff
,
Raheleh Jalali
,
Amirhossein Akbar Tabatabai
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Rosalie Iemhoff
,
Raheleh Jalali
Proceedings of the Logic, Language, Information, and Computation, 2021

2018
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Raheleh Jalali
CoRR, 2018

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Raheleh Jalali
CoRR, 2018

2017
Computational Flows in Arithmetic.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
CoRR, 2017


  Loading...