About
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.
Find Dmitrii Rozplokhas elsewhere
Related Searches
You Might Also Like
- AAgata CiabattoniVienna University of Technology · Professor
- XXavier ParentVienna University of Technology · Researcher
Agata CiabattoniRuhr University Bochum · Professor- CChristian FermüllerVienna University of Technology · Associate Professor
- AAida PliuškevičienėVilnius University · Associate Professor
- SStella Lara MahlerVienna University of Technology · Researcher