Justifications, Ontology, and Conservativity. R Kuznets, T Studer
Advances in modal logic, 437-458, 2012
61 2012 Justifications for common knowledge S Bucheli, R Kuznets, T Studer
Journal of Applied Non-Classical Logics 21 (1), 35-60, 2011
60 2011 First Steps towards Probabilistic Justification Logic I Kokkinis, P Maksimovic, Z Ognjanovic, T Studer
Journal of IGPL, 2015
49 2015 Logics of Proofs and Justifications R Kuznets, T Studer
College Publications, 2019
47 * 2019 On the proof theory of the modal mu-calculus T Studer
Studia Logica 89, 343-363, 2008
46 2008 Syntactic cut-elimination for common knowledge K Brünnler, T Studer
Annals of Pure and Applied Logic 160 (1), 82-95, 2009
42 2009 Probabilistic ABox Reasoning: Preliminary Results. M Dürig, T Studer
Description Logics, 104-111, 2005
41 2005 Probabilistic justification logic I Kokkinis, Z Ognjanović, T Studer
Logical Foundations of Computer Science: International Symposium, LFCS 2016 …, 2015
40 2015 Cut-free common knowledge G Jäger, M Kretz, T Studer
Journal of Applied Logic 5 (4), 681-689, 2007
40 2007 Data Privacy for P Stouppa, T Studer
Logical Foundations of Computer Science: International Symposium, LFCS 2009 …, 2009
39 2009 A formal model of data privacy P Stouppa, T Studer
Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007
36 2007 Provable data privacy K Stoffel, T Studer
Database and Expert Systems Applications: 16th International Conference …, 2005
33 2005 Update as evidence: Belief expansion R Kuznets, T Studer
Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013
32 2013 Canonical completeness of infinitary μ G Jäger, M Kretz, T Studer
The Journal of Logic and Algebraic Programming 76 (2), 270-292, 2008
31 2008 Extending the system T0 of explicit mathematics: the limit and Mahlo axioms G Jäger, T Studer
Annals of Pure and Applied Logic 114 (1-3), 79-101, 2002
31 2002 Universes in explicit mathematics G Jäger, R Kahle, T Studer
Annals of Pure and Applied Logic 109 (3), 141-162, 2001
31 2001 Realizing public announcements by justifications S Bucheli, R Kuznets, T Studer
Journal of Computer and System Sciences 80 (6), 1046-1066, 2014
30 2014 Partial realization in dynamic justification logic S Bucheli, R Kuznets, T Studer
Logic, Language, Information and Computation: 18th International Workshop …, 2011
30 2011 Decidability for some justification logics with negative introspection T Studer
The Journal of Symbolic Logic 78 (2), 388-402, 2013
27 2013 Justified belief change S Bucheli, R Kuznets, B Renne, J Sack, T Studer
LogKCA-10, Proceedings of the Second ILCLI International Workshop on Logic …, 2010
27 2010 