Dmitrii Rozplokhas
Univ.Ass. Mag.
Role
-
PreDoc Researcher
Theory and Logic, E192-05
Publications
-
LEGO-like Small Model Constructions for Åqvist's Logics
/
Rozplokhas, D. (2024). LEGO-like Small Model Constructions for Åqvist’s Logics. In A. Ciabattoni, D. Gabelaia, & I. Sedlár (Eds.), Advances in Modal Logic (pp. 631–651). College Publications. http://hdl.handle.net/20.500.12708/202365
Project: LoDEx (2024–2026) -
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)
/
Ciabattoni, A., & Rozplokhas, D. (2024). Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). In K. Larson (Ed.), Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence (pp. 8389–8393). https://doi.org/10.24963/ijcai.2024/928
Project: TAIGER (2023–2027) -
Streamlining Input/Output Logics with Sequent Calculi
/
Ciabattoni, A., & Rozplokhas, D. (2023). Streamlining Input/Output Logics with Sequent Calculi. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (pp. 146–155). IJCAI Organization. https://doi.org/10.24963/kr.2023/15
Project: TAIGER (2023–2027) -
Analytic Proof Theory for Aqvist's System F
/
Ciabattoni, A., Olivetti, N., Parent, X., Ramanayake, D. R. S., & Rozplokhas, D. (2023). Analytic Proof Theory for Aqvist’s System F. In J. Maranhão, C. Peterson, C. Straßer, & L. van der Torre (Eds.), Deontic Logic and Normative Systems - 16th International Conference, DEON 2023 (pp. 79–98). College Publications. http://hdl.handle.net/20.500.12708/190605
Projects: Lisa Meitner grant (2021–2024) / Mosaic (2021–2025)