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 | 61 | 2011 |

Logics of Proofs and Justifications R Kuznets, T Studer College Publications, 2019 | 47* | 2019 |

First Steps towards Probabilistic Justification Logic I Kokkinis, P Maksimovic, Z Ognjanovic, T Studer Journal of IGPL, 2015 | 47 | 2015 |

On the proof theory of the modal mu-calculus T Studer Studia Logica 89 (3), 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 | 44 | 2009 |

Cut-free common knowledge G Jäger, M Kretz, T Studer Journal of Applied Logic 5 (4), 681-689, 2007 | 41 | 2007 |

Probabilistic ABox Reasoning: Preliminary Results. M Dürig, T Studer Description Logics, 104-111, 2005 | 40 | 2005 |

Probabilistic justification logic I Kokkinis, Z Ognjanović, T Studer International Symposium on Logical Foundations of Computer Science, 174-186, 2016 | 38 | 2016 |

Data Privacy for Knowledge Bases P Stouppa, T Studer International Symposium on Logical Foundations of Computer Science, 409-421, 2009 | 38 | 2009 |

A formal model of data privacy P Stouppa, T Studer International Andrei Ershov Memorial Conference on Perspectives of System …, 2006 | 35 | 2006 |

Provable data privacy K Stoffel, T Studer International Conference on Database and Expert Systems Applications, 324-332, 2005 | 33 | 2005 |

Update as evidence: Belief expansion R Kuznets, T Studer International Symposium on Logical Foundations of Computer Science, 266-279, 2013 | 32 | 2013 |

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 | 32 | 2002 |

Universes in explicit mathematics G Jäger, R Kahle, T Studer Annals of Pure and Applied Logic 109 (3), 141-162, 2001 | 32 | 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 International Workshop on Logic, Language, Information, and Computation, 35-51, 2011 | 30 | 2011 |

Canonical completeness of infinitary μ G Jäger, M Kretz, T Studer The Journal of Logic and Algebraic Programming 76 (2), 270-292, 2008 | 30 | 2008 |

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 | 28 | 2010 |

Decidability for some justification logics with negative introspection T Studer The Journal of Symbolic Logic 78 (2), 388-402, 2013 | 27 | 2013 |