| Publication | Date of Publication | Type |
|---|
Fire!
| 2024-11-24 | Paper |
Minimizing agents' state corruption resulting from leak-free epistemic communication modeling
| 2024-10-30 | Paper |
Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
| 2024-05-17 | Paper |
Logic of Communication Interpretation: How to Not Get Lost in Translation
| 2024-05-03 | Paper |
Impure Simplicial Complexes: Complete Axiomatization
Logical Methods in Computer Science | 2023-10-23 | Paper |
A new hope
| 2023-03-24 | Paper |
Justification logic for constructive modal logic
| 2022-10-12 | Paper |
Uniform interpolation via nested sequents
| 2022-06-24 | Paper |
scientific article; zbMATH DE number 7450035 (Why is no real title available?)
| 2021-12-20 | Paper |
Interpolation for intermediate logics via injective nested sequents
Journal Of Logic And Computation | 2021-09-22 | Paper |
Through an inference rule, darkly
Mathesis Universalis, Computability and Proof | 2020-08-10 | Paper |
Epistemic reasoning with Byzantine-faulty agents
| 2020-05-13 | Paper |
Craig interpolation via hypersequents
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Logics of proofs and justifications
| 2019-09-04 | Paper |
Interpolation for intermediate logics via hyper- and linear nested sequents
| 2019-07-24 | Paper |
Maehara-style modal nested calculi
Archive for Mathematical Logic | 2019-03-27 | Paper |
Weak arithmetical interpretations for the logic of proofs
Logic Journal of the IGPL | 2019-01-08 | Paper |
Grafting hypersequents onto nested sequents
Logic Journal of the IGPL | 2019-01-08 | Paper |
Multicomponent proof-theoretic method for proving interpolation properties
Annals of Pure and Applied Logic | 2018-10-18 | Paper |
Interpolation method for multicomponent sequent calculi
Logical Foundations of Computer Science | 2017-07-21 | Paper |
Proving Craig and Lyndon interpolation using labelled sequent calculi
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Two ways to common knowledge
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
Realization theorems for justification logics: full modularity
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Update as evidence: belief expansion
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Modal interpolation via nested sequents
Annals of Pure and Applied Logic | 2015-01-23 | Paper |
scientific article; zbMATH DE number 6302917 (Why is no real title available?)
| 2014-06-11 | Paper |
Realizing public announcements by justifications
Journal of Computer and System Sciences | 2014-06-10 | Paper |
Logical omniscience as infeasibility
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
Decidability for justification logics revisited
Logic, Language, and Computation | 2013-04-12 | Paper |
A syntactic realization theorem for justification logics
| 2012-08-05 | Paper |
Justifications for common knowledge
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Realization for justification logics via nested sequents: modularity through embedding
Annals of Pure and Applied Logic | 2012-07-11 | Paper |
Lower complexity bounds in justification logic
Annals of Pure and Applied Logic | 2012-04-10 | Paper |
Partial realization in dynamic justification logic
Logic, Language, Information and Computation | 2011-05-27 | Paper |
Self-referential justifications in epistemic logic
Theory of Computing Systems | 2010-08-13 | Paper |
Logical Omniscience Via Proof Complexity
Computer Science Logic | 2009-03-12 | Paper |
The NP-Completeness of Reflected Fragments of Justification Logics
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Self-referentiality of Justified Knowledge
Computer Science – Theory and Applications | 2008-06-05 | Paper |
Proof Identity for Classical Logic: Generalizing to Normality
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Making knowledge explicit: how hard it is
Theoretical Computer Science | 2006-08-16 | Paper |
scientific article; zbMATH DE number 1670490 (Why is no real title available?)
| 2001-12-03 | Paper |
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
| N/A | Paper |
