Roman Kuznets
Projektass.(FWF) / MPhil PhD
About
Distributed systems, epistemic logic, proof theory
Role
-
PostDoc Researcher
Embedded Computing Systems, E191-02
Courses
Projects
-
Reasoning about Knowledge in Byzantine Distributed Systems
2020 – 2025 / Austrian Science Fund (FWF)
Publications: 135862 / 138795 / 139841 / 153197 / 153663 / 153250 / 154041 / 191139 / 190040 / 191632 / 190029 / 189852 / 190629 / 191144 / 191422 / 193444 / 192652 / 192758 / 192762 / 192722 / 193899 / 193320 / 193705 / 193728 / 58204 / 58247 / 58669 / 58670 / 135853 / 81441 / 87072 / 87263 -
Nested Sequents for Interpolation and Realization
2015 – 2017 / FWF
Publication: 135853 -
Nonclassical Proofs: Theory, Applications and Tools
2011 – 2019 / Austrian Science Fund (FWF)
Publications
2024
-
What Proof Theory Can Do for You
/
Kuznets, R. (2024, January 17). What Proof Theory Can Do for You [Presentation]. Seminar on Applied Mathematical Logic 2024, Prague, Czechia.
Project: ByzDEL (2020–2025)
2023
-
Simplicial approaches to crashing agents
/
Kuznets, R. (2023). Simplicial approaches to crashing agents. In Workshop on Proof Theory, Modal Logic and Reflection Principles, Wormshop 2023, Bern, Booklet of abstracts. Wormshop 2023: Workshop on Proof Theory, Modal Logic and Reflection Principles, Bern, Switzerland. https://doi.org/10.34726/5476
Download: PDF (91.8 KB)
Project: ByzDEL (2020–2025) -
A decision procedure for IS4
/
Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). A decision procedure for IS4. In Workshop on Proof Theory, Modal Logic and Reflection Principles, Wormshop 2023, Bern, Booklet of abstracts. Wormshop 2023: Workshop on Proof Theory, Modal Logic and Reflection Principles, Bern, Switzerland. https://doi.org/10.34726/5415
Download: PDF (47.1 KB)
Project: ByzDEL (2020–2025) -
Impure simplicial complexes: complete axiomatization
/
Randrianomentsoa, R. F., van Ditmarsch, H., & Kuznets, R. (2023). Impure simplicial complexes: complete axiomatization. Logical Methods in Computer Science, 19(4), Article 3. https://doi.org/10.46298/lmcs-19(4:3)2023
Download: publisher pdf (525 KB)
Project: ByzDEL (2020–2025) -
Simplicial Introduction
/
van Ditmarsch, H., Kuznets, R., & Randrianomentsoa, R. F. (2023, October 6). Simplicial Introduction [Presentation]. Prague CELIA Workshop 2023, Prague, Czechia.
Project: ByzDEL (2020–2025) -
On Two- and Three-valued Semantics for Impure Simplicial Complexes
/
van Ditmarsch, H., Kuznets, R., & Randrianomentsoa, R. (2023). On Two- and Three-valued Semantics for Impure Simplicial Complexes. In A. Achilleos & D. Della Monica (Eds.), Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (pp. 50–66). Open Publishing Association. https://doi.org/10.4204/EPTCS.390.4
Download: publisher pdf (222 KB)
Project: ByzDEL (2020–2025) -
Intuitionistic S4 and its decidability
/
Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023, September 27). Intuitionistic S4 and its decidability [Conference Presentation]. Mosaic Workshop 2023, Wien, Austria. http://hdl.handle.net/20.500.12708/192652
Project: ByzDEL (2020–2025) -
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
/
van der Giessen, I., Jalali, R., & Kuznets, R. (2023). Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. In D. R. S. Ramanayake & J. Urban (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings (pp. 263–282). Springer. https://doi.org/10.1007/978-3-031-43513-3_15
Download: publisher pdf (468 KB)
Project: ByzDEL (2020–2025) -
Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof Theory
/
Kuznets, R. (2023). Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof Theory. In D. R. S. Ramanayake & J. Urban (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Springer. https://doi.org/10.34726/5327
Download: PDF (42.8 KB)
Project: ByzDEL (2020–2025) -
Logic of Communication Interpretation: How to Not Get Lost in Translation
/
Cignarale, G., Kuznets, R., Rincon Galeana, H., & Schmid, U. (2023). Logic of Communication Interpretation: How to Not Get Lost in Translation. In U. Sattler & M. Suda (Eds.), Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings (pp. 119–136). Springer. https://doi.org/10.1007/978-3-031-43369-6_7
Download: PDF (339 KB)
Project: ByzDEL (2020–2025) -
The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems
/
Cignarale, G., Schmid, U., Tahko, T., & Kuznets, R. (2023). The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. Minds and Machines, 33(2), 293–319. https://doi.org/10.1007/s11023-023-09631-3
Download: publisher pdf (1.12 MB)
Project: ByzDEL (2020–2025) -
Messages Agents Send; Agents Who Send Messages
/
Kuznets, R. (2023, February 24). Messages Agents Send; Agents Who Send Messages [Keynote Presentation]. DFG-GACR Research Project CELIA: First Project Meeting 2023, Bayreuth, Germany.
Project: ByzDEL (2020–2025) -
On Interpolation
/
Kuznets, R. (2023, January 28). On Interpolation [Conference Presentation]. Fitting at 80, New York, NY, United States of America (the).
Project: ByzDEL (2020–2025) -
Intuitionistic S4 is decidable
/
Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). Intuitionistic S4 is decidable. In 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). LICS 2023: Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, United States of America (the). IEEE. https://doi.org/10.34726/5295
Download: Accepted paper + Appendices (672 KB)
Project: ByzDEL (2020–2025) -
Decidability of intuitionistic S4
/
Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). Decidability of intuitionistic S4. In Logica 2023. Abstracts (pp. 32–33). https://doi.org/10.34726/5418
Download: PDF (617 KB)
Project: ByzDEL (2020–2025)
2022
-
Nested Sequents, Kripke Models, and Uniform Interpolation
/
van der Giessen, I., Jalali, R., & Kuznets, R. (2022, November 1). Nested Sequents, Kripke Models, and Uniform Interpolation [Conference Presentation]. Proof-theoretic and algebraic aspects of (intuitionistic) modal logics, Utrecht, Netherlands (the).
Project: ByzDEL (2020–2025) -
Framing faultiness Kripke style
/
van Ditmarsch, H., Fruzsa, K., & Kuznets, R. (2022, September 6). Framing faultiness Kripke style [Conference Presentation]. MOSAIC: Modalities in Substructural Logics: Theory, Methods and Applications, Kick Off Conference, Capaccio Paestum, Italy.
Download: PDF (309 KB)
Project: ByzDEL (2020–2025) -
A new hope
/
van Ditmarsch, H., Fruzsa, K., & Kuznets, R. (2022). A new hope. In D. Fernández-Duque, A. PALMIGIANO, & S. Pinchinat (Eds.), Advances in Modal Logic, Volume 14 (pp. 349–369). College Publications. https://doi.org/10.34726/2821
Download: publisher pdf (869 KB)
Project: ByzDEL (2020–2025)
2021
-
Knowledge-based analysis of the Firing Rebels problem
/
Fruzsa, K., Kuznets, R., & Schmid, U. (2021, November 2). Knowledge-based analysis of the Firing Rebels problem [Presentation]. Research Seminar Informatica 2021, Heerlen, Netherlands (the).
Project: ByzDEL (2020–2025) -
Justification logic for constructive modal logic
/
Kuznets, R., Marin, S., & Straßburger, L. (2021). Justification logic for constructive modal logic. Journal of Applied Logics, 8(8), 2313–2332. https://doi.org/10.34726/2943
Download: publisher pdf (506 KB)
Projects: ByzDEL (2020–2025) / LOGFRADIG (2013–2017) / NestSIRea (2015–2017) / ZK 35-G (2019–2024) -
Uniform Interpolation via Nested Sequents
/
van der Giessen, I., Jalali, R., & Kuznets, R. (2021). Uniform Interpolation via Nested Sequents. In Logic, Language, Information, and Computation (pp. 337–354). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-88853-4_21
Project: ByzDEL (2020–2025) -
Fire!
/
Fruzsa, K., Kuznets, R., & Schmid, U. (2021). Fire! In Electronic Proceedings in Theoretical Computer Science (pp. 139–153). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/eptcs.335.13
Project: ByzDEL (2020–2025) -
Intuiting Duals of Proofs
/
Kuznets, R., Marin, S., & Strassburger, L. (2021). Intuiting Duals of Proofs. Milano Logic Group Logic Lunch Seminar Series, online, Italy, Italy. http://hdl.handle.net/20.500.12708/87263
Project: ByzDEL (2020–2025) -
Interpolation for intermediate logics via injective nested sequents
/
Kuznets, R., & Lellmann, B. (2021). Interpolation for intermediate logics via injective nested sequents. Journal of Logic and Computation, 31(3), 797–831. https://doi.org/10.1093/logcom/exab015
Project: ByzDEL (2020–2025) - Uniform interpolation via nested sequents and hypersequents / van der Giessen, I., Jalali, R., & Kuznets, R. (2021). Uniform interpolation via nested sequents and hypersequents (2105.10930). http://hdl.handle.net/20.500.12708/40454
2020
-
Interpolation for Intermediate Logics via Injective Nested Sequents
/
Kuznets, R., & Lellmann, B. (2020). Interpolation for Intermediate Logics via Injective Nested Sequents. Online Partout Seminar, online, France, France. http://hdl.handle.net/20.500.12708/87072
Project: ByzDEL (2020–2025) -
The Persistence of False Memory: Brain in a Vat despite Perfect Clocks
/
Schlögl, T., Schmid, U., & Kuznets, R. (2020). The Persistence of False Memory: Brain in a Vat despite Perfect Clocks. In Lecture Notes in Computer Science. PRIMA 2020, Japan, Non-EU. Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-030-69322-0
Project: ByzDEL (2020–2025)
2019
- Through an Inference Rule, Darkly / Kuznets, R. (2019). Through an Inference Rule, Darkly. In S. Centrone, S. Negri, D. Sarikaya, & P. Schuster (Eds.), Mathesis Universalis, Computability and Proof (pp. 131–158). Springer International Publishing. https://doi.org/10.1007/978-3-030-20447-1_10
- Maehara-style Modal Nested Calculi / Kuznets, R., & Straßburger, L. (2019). Maehara-style Modal Nested Calculi. Archive for Mathematical Logic, 58(3–4), 359–385. https://doi.org/10.1007/s00153-018-0636-1
- Translating Quantitative Semantic Bounds into Nested Sequents / Kuznets, R., & Lellmann, B. (2019). Translating Quantitative Semantic Bounds into Nested Sequents. Fifth TICAMORE MEETING, Wien, Austria. http://hdl.handle.net/20.500.12708/86976
- Time and Retrocausality in Distributed Systems / Kuznets, R. (2019). Time and Retrocausality in Distributed Systems. Goedel’s Legacy, Wien, Austria. http://hdl.handle.net/20.500.12708/86975
- Byzantine Causal Cone / Kuznets, R., Prosperi, L., Schmid, U., & Fruzsa, K. (2019). Byzantine Causal Cone. Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Wien, Austria. http://hdl.handle.net/20.500.12708/86905
- Causality in the Age of Fake News / Kuznets, R. (2019). Causality in the Age of Fake News. Seminar “Logic and Theoretical Computer Science”, University of Bern (2019), Bern, Non-EU. http://hdl.handle.net/20.500.12708/86904
- Extrapolating Interpolation / Kuznets, R. (2019). Extrapolating Interpolation. Proof Theory in Logic workshop, Utrecht, EU. http://hdl.handle.net/20.500.12708/86880
- Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems / Kuznets, R., Prosperi, L., Schmid, U., & Fruzsa, K. (2019). Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. In L. Moss (Ed.), Electronic Proceedings in Theoretical Computer Science (pp. 293–312). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/eptcs.297.19
- Epistemic Reasoning with Byzantine-Faulty Agents / Kuznets, R., Prosperi, L., Schmid, U., & Fruzsa, K. (2019). Epistemic Reasoning with Byzantine-Faulty Agents. In A. Herzig & A. Popescu (Eds.), Frontiers of Combining Systems (pp. 259–276). Springer. https://doi.org/10.1007/978-3-030-29007-8_15
- Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone / Prosperi, L., Kuznets, R., Schmid, U., Fruzsa, K., & Gréaux, L. (2019). Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone (TUW-260549). http://hdl.handle.net/20.500.12708/39204
- Logics of Proofs and Justifications / Kuznets, R., & Studer, T. (2019). Logics of Proofs and Justifications. College Publications. http://hdl.handle.net/20.500.12708/24606
2018
- Multicomponent Proof-theoretic Method for Proving Interpolation Property / Kuznets, R. (2018). Multicomponent Proof-theoretic Method for Proving Interpolation Property. Annals of Pure and Applied Logic, 169(12), 1369–1418. https://doi.org/10.1016/j.apal.2018.08.007
- Interpolation using sequents and their generalisations / Kuznets, R. (2018). Interpolation using sequents and their generalisations. PhDs in Logic X, Prague, EU. http://hdl.handle.net/20.500.12708/86799
- Nesting multi-conclusions: the Maehara conundrum / Kuznets, R. (2018). Nesting multi-conclusions: the Maehara conundrum. FISP Workshop (3rd FISP Meeting), Vienna, Austria. http://hdl.handle.net/20.500.12708/86798
- What do Byzantine agents know? / Gréaux, L., Kuznets, R., Prosperi, L., & Schmid, U. (2018). What do Byzantine agents know? First joint workshop by the Mathematics and the Philosophy Research Institutes of UNAM, Mexiko-Stadt, Mexiko, Non-EU. http://hdl.handle.net/20.500.12708/86037
- Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents / Kuznets, R., & Lellmann, B. (2018). Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. In G. Bezhanishvili, G. D´Agostino, G. Metcalfe, & T. Studer (Eds.), Advances in Modal Logic, Volume 12 (pp. 473–492). College Publications. http://hdl.handle.net/20.500.12708/57374
2017
- Justification logic for constructive modal logic / Kuznets, R., Marin, S., & Straßburger, L. (2017). Justification logic for constructive modal logic (No. 01614707). http://hdl.handle.net/20.500.12708/39304
- Herbrand's Phenomena in Justification Logic / Kuznets, R. (2017). Herbrand’s Phenomena in Justification Logic. Collegium Logicum 2017, Proof Theory: Herbrand’s Theorem Revisited, Wien, Austria. http://hdl.handle.net/20.500.12708/86566
- The Byzantine Mind / Kuznets, R. (2017). The Byzantine Mind. Seminar Logic and Theoretical Computer Science, University of Bern (2017), Bern, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/86565
- Through an Inference Rule, Darkly / Kuznets, R. (2017). Through an Inference Rule, Darkly. Humboldt Kolleg “Proof Theory as Mathesis Universalis,” Menaggio, Italien, EU. http://hdl.handle.net/20.500.12708/86512
- Efficient Proof Systems for Modal Logics / Kuznets, R., & Strassburger, L. (2017). Efficient Proof Systems for Modal Logics. 29th European Summer School in Logic, Language, and Information (ESSLLI 2017), Toulouse, Frankreich, EU. http://hdl.handle.net/20.500.12708/86479
- Modal Calculi from Semantics: a Case Study / Kuznets, R. (2017). Modal Calculi from Semantics: a Case Study. Workshop Translating and Discovering Calculi for Modal and Related Logics 2017, Wien, Austria. http://hdl.handle.net/20.500.12708/86100
- Maehara-style Modal Nested Calculi / Kuznets, R., & Straßburger, L. (2017). Maehara-style Modal Nested Calculi (RR-9123). http://hdl.handle.net/20.500.12708/39305
2016
- Craig Interpolation via Hypersequents / Kuznets, R. (2016). Craig Interpolation via Hypersequents. In D. Probst & P. Schuster (Eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 193–214). Walter de Gruyter GmbH. https://doi.org/10.1515/9781501502620-012
- Weak Arithmetical Interpretations for the Logic of Proofs / Kuznets, R., & Studer, T. (2016). Weak Arithmetical Interpretations for the Logic of Proofs. Logic Journal of the IGPL, 24(3), 424–440. https://doi.org/10.1093/jigpal/jzw002
- Grafting Hypersequents onto Nested Sequents / Kuznets, R., & Lellmann, B. (2016). Grafting Hypersequents onto Nested Sequents. Logic Journal of the IGPL, 24(3), 375–423. https://doi.org/10.1093/jigpal/jzw005
- Interpolation Method for Multicomponent Sequent Calculi / Kuznets, R. (2016). Interpolation Method for Multicomponent Sequent Calculi. In S. Artemov & A. Nerode (Eds.), Logical Foundations of Computer Science. International Symposium, LFCS 2016 (pp. 202–218). LNCS/Springer. https://doi.org/10.1007/978-3-319-27683-0_15
- How I stopped worrying about formulas and learned to interpolate / Kuznets, R. (2016). How I stopped worrying about formulas and learned to interpolate. Logic and Theory Group, Institute of Computer Science, University of Bern, Bern, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/86511
- Interpolation beyond sequent calculi: modal, intuitionistic, and intermediate logics / Kuznets, R. (2016). Interpolation beyond sequent calculi: modal, intuitionistic, and intermediate logics. FISP: The Fine Structure of Formal Proof Systems and their Computational Interpretations at the University of Innsbruck, Innsbruck, Austria. http://hdl.handle.net/20.500.12708/86412
- Craig and Lyndon Interpolation Via Labelled Sequent Calculi / Kuznets, R. (2016). Craig and Lyndon Interpolation Via Labelled Sequent Calculi. Modalities, Conditionals, and Values, Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright at the University of Helsinki, Helsinki, Finnland, EU. http://hdl.handle.net/20.500.12708/86348
- Syntactic Interpolation: Limits and Challenges / Kuznets, R. (2016). Syntactic Interpolation: Limits and Challenges. Workshop “Proof Theory and Modal Logic,” Turin, Italien, EU. http://hdl.handle.net/20.500.12708/86347
- Syntax Meets Semantcs to Prove Interpolation / Kuznets, R. (2016). Syntax Meets Semantcs to Prove Interpolation. Syntax Meets Semantics 2016, Barcelona, EU. http://hdl.handle.net/20.500.12708/86316
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi / Kuznets, R. (2016). Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. In L. Michael & A. C. Kakas (Eds.), Logics in Artificial Intelligence (pp. 320–335). Springer LNCS. https://doi.org/10.1007/978-3-319-48758-8_21
2015
- Realization Theorems for Justification Logics: Full Modularity / Borg, A., & Kuznets, R. (2015). Realization Theorems for Justification Logics: Full Modularity. In H. De Nivelle (Ed.), Lecture Notes in Computer Science (pp. 221–236). Springer LNCS. https://doi.org/10.1007/978-3-319-24312-2_16
- Modal Interpolation via Nested Sequents / Fitting, M., & Kuznets, R. (2015). Modal Interpolation via Nested Sequents. Annals of Pure and Applied Logic, 166(3), 274–305. https://doi.org/10.1016/j.apal.2014.11.002
- Interpolation Method for Multicomponent Sequent Calculi / Kuznets, R. (2015). Interpolation Method for Multicomponent Sequent Calculi. Seminar “Logic and Theoretical Computer Science”, Universität Bern, Bern, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/86346
- Proof-theoretic Approach to Craig Interpolation / Kuznets, R. (2015). Proof-theoretic Approach to Craig Interpolation. Special Session on Proof Theory at the Logic Colloquium 2015, Helsinki, Finnland, EU. http://hdl.handle.net/20.500.12708/86146
- Justification Logic / Kuznets, R. (2015). Justification Logic. Eleventh International Tbilisi Summer School in Logic and Language, Tiflis, Georgien, Non-EU. http://hdl.handle.net/20.500.12708/86101
- Grafted Hypersequents / Kuznets, R. (2015). Grafted Hypersequents. Graduate Seminar Logic and Information (Münchenwiler Meeting) of Universities of Bern, Neuchâtel, and Fribourg within the framework of the Swiss Joint Master of Science in Computer Science program, Münchenwiler, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/86099
- Grafting Hypersequents onto Nested Sequents / Kuznets, R., & Lellmann, B. (2015). Grafting Hypersequents onto Nested Sequents (1502.00814). http://hdl.handle.net/20.500.12708/38665
2014
- Realizing public announcements by justifications / Bucheli, S., Kuznets, R., & Studer, T. (2014). Realizing public announcements by justifications. Journal of Computer and System Sciences, 80(6), 1046–1066. https://doi.org/10.1016/j.jcss.2014.04.001
- Logical omniscience as infeasibility / Artemov, S., & Kuznets, R. (2014). Logical omniscience as infeasibility. Annals of Pure and Applied Logic, 165(1), 6–25. https://doi.org/10.1016/j.apal.2013.07.003
- "Weak Arithmetical Interpretations for the Logic of Proofs / Kuznets, R., & Studer, T. (2014). "Weak Arithmetical Interpretations for the Logic of Proofs. ISRALOG´14: Israeli Workshop on Non-Classical Logics and Their Applications, Haifa, Israel, Non-EU. http://hdl.handle.net/20.500.12708/85880
- Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property / Fitting, M., & Kuznets, R. (2014). Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property. VSL - Nonclassical Proofs Workshop, Wien, Austria. http://hdl.handle.net/20.500.12708/85878
- Separating Truth and Proof in the Logic of Proofs / Kuznets, R. (2014). Separating Truth and Proof in the Logic of Proofs. VSL-GetFun Workshop, Wien, Austria. http://hdl.handle.net/20.500.12708/85879
Supervisions
-
An Extension framework for epistemic reasoning in Byzantine distributed systems
/
Schlögl, T. (2020). An Extension framework for epistemic reasoning in Byzantine distributed systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.69444
Download: PDF (1.5 MB) -
Realizing negative introspection into justification logic : proof-theoretic approach
/
Borg, A. (2015). Realizing negative introspection into justification logic : proof-theoretic approach [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.29804
Download: PDF (564 KB)