Daniel Rogozin

Daniel Rogozin

University College London - London / United Kingdom
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5615174
person_outline Daniel Rogozin's MOST POPULAR ARTICLES
1-) Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensionsD RogozinJournal of Logic and Computation 31 (1), 347-374, 2021102021
2-) LURK: Lambda, the ultimate recursive knowledge (experience report)N Amin, J Burnham, F Garillot, R Gennaro, C Künzang, D Rogozin, ...Proceedings of the ACM on Programming Languages 7 (ICFP), 259-274, 2023
3-) Modal Type Theory Based on the Intuitionistic Modal Logic IEL―D RogozinLogical Foundations of Computer Science: International Symposium, LFCS 2020 …, 20193*2019
4-) On decidable extensions of Propositional Dynamic Logic with ConverseD Rogozin, I ShapirovskyarXiv preprint arXiv:2303.09948, 202312023
5-) Reducts of relation algebras: The aspects of axiomatisability and finite representabilityD RogozinLogical Foundations of Computer Science: International Symposium, LFCS 2022 …, 20221*2022