Publications
Export 296 results:
: :
Justifications, Ontology, and Conservativity. In: Advances in Modal Logic, volume 9. pp. 437-458. College Publications (2012).
: Justified Terminological Reasoning. In: Proceedings of Perspectives of System Informatics PSI'11. pp. 349-361. Springer (2012).
: Lower complexity bounds in justification logic. Annals of Pure and Applied Logic. 163, 888-905 (2012).
: : Product-free Lambek calculus is NP-complete. Annals of Pure and Applied Logic. 163, 775-788 (2012).
: Realization for Justification Logics via Nested Sequents: Modularity through Embedding. Annals of Pure and Applied Logic. 163, 1271-1298 (2012).
: Syntactic cut-elimination for a fragment of the modal mu-calculus. Annals of Pure and Applied Logic. 163, 1838-1853 (2012).
: Weak theories of truth and explicit mathematics. In: Logic, Construction, Computation. pp. 157-184. Ontos Verlag (2012).
: A Buchholz rule for modal fixed point logics. Logica Universalis. 5, 1-19 (2011).
: Admissible closures of polynomial time computable arithmetic. Archive for Mathematical Logic. 50, 643-660 (2011).
: An application of justification logic to protocol verification. Proceedings of Computational Intelligence and Security CIS 2011. pp. 779-783. IEEE (2011).
: : Justification Logic, Inference Tracking, and Data Privacy. Logic and Logical Philosophy. 20, 297-306 (2011).
: Justifications for Common Knowledge. Journal of Applied Non-classical Logics. 21, 35-60 (2011).
: : Partial Realization in Dynamic Justification Logic. In: Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings. pp. 35-51 (2011).
: Realizability in weak systems of explicit mathematics. Mathematical Logic Quarterly. 57, 551-565 (2011).
: Sequent Calculus for Justifications. (2011).
: The provably terminating operations of the subsystem PETJ of explicit mathematics. Annals of Pure and Applied Logic. 162, 934-947 (2011).
: The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories. Annals of Pure and Applied logic. 162, 647-660 (2011).
: A Syntactic Realization Theorem for Justification Logics. In: Advances in Modal Logic, Volume 8. pp. 39-58. College Publications (2010).
: : Expansion nets: Proof nets for for propositional classical logic. In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 17). pp. 535-549. Springer Berlin / Heidelberg (2010).
: