معرفی
Dmitrii Rozplokhas is a Researcher at the Department of Theory and Logic, Faculty of Informatics, Vienna University of Technology (TU Wien). His work focuses on modal and deontic logic, proof theory, and formal systems. He contributes to projects like LoDEx (2024–2026) and TAIGER (2023–2027), aiming to advance input/output logics and analytic proof methods.
Research Interests:
- Modal Logic and its applications
- Constructive proof methods
- Formal verification in deontic systems
- Sequent calculi for non-classical logics
His recent articles explore small model constructions for Åqvist’s logics and streamlining input/output logics via sequent calculi, bridging theoretical foundations with computational applications. Projects include integrating formal methods into knowledge representation systems.
No scientific awards listed. Advising and grants: Active in research projects but no explicit student advisement or grant details provided. Affiliated with the Department’s logic research groups.
Dmitrii Rozplokhas در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- AAgata CiabattoniVienna University of Technology · استاد
- XXavier ParentVienna University of Technology · پژوهشگر
Agata CiabattoniRuhr University Bochum · استاد- CChristian FermüllerVienna University of Technology · دانشیار
- AAida PliuškevičienėVilnius University · دانشیار
- SStella Lara MahlerVienna University of Technology · پژوهشگر