Volgen
Thomas Studer
Thomas Studer
Geverifieerd e-mailadres voor iam.unibe.ch - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Justifications, Ontology, and Conservativity.
R Kuznets, T Studer
Advances in modal logic, 437-458, 2012
612012
Justifications for common knowledge
S Bucheli, R Kuznets, T Studer
Journal of Applied Non-Classical Logics 21 (1), 35-60, 2011
602011
First Steps towards Probabilistic Justification Logic
I Kokkinis, P Maksimovic, Z Ognjanovic, T Studer
Journal of IGPL, 2015
492015
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
462008
Syntactic cut-elimination for common knowledge
K Brünnler, T Studer
Annals of Pure and Applied Logic 160 (1), 82-95, 2009
422009
Probabilistic ABox Reasoning: Preliminary Results.
M Dürig, T Studer
Description Logics, 104-111, 2005
412005
Probabilistic justification logic
I Kokkinis, Z Ognjanović, T Studer
Logical Foundations of Computer Science: International Symposium, LFCS 2016 …, 2015
402015
Cut-free common knowledge
G Jäger, M Kretz, T Studer
Journal of Applied Logic 5 (4), 681-689, 2007
402007
Data Privacy for Knowledge Bases
P Stouppa, T Studer
Logical Foundations of Computer Science: International Symposium, LFCS 2009 …, 2009
392009
A formal model of data privacy
P Stouppa, T Studer
Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007
362007
Provable data privacy
K Stoffel, T Studer
Database and Expert Systems Applications: 16th International Conference …, 2005
332005
Update as evidence: Belief expansion
R Kuznets, T Studer
Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013
322013
Canonical completeness of infinitary μ
G Jäger, M Kretz, T Studer
The Journal of Logic and Algebraic Programming 76 (2), 270-292, 2008
312008
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
312002
Universes in explicit mathematics
G Jäger, R Kahle, T Studer
Annals of Pure and Applied Logic 109 (3), 141-162, 2001
312001
Realizing public announcements by justifications
S Bucheli, R Kuznets, T Studer
Journal of Computer and System Sciences 80 (6), 1046-1066, 2014
302014
Partial realization in dynamic justification logic
S Bucheli, R Kuznets, T Studer
Logic, Language, Information and Computation: 18th International Workshop …, 2011
302011
Decidability for some justification logics with negative introspection
T Studer
The Journal of Symbolic Logic 78 (2), 388-402, 2013
272013
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
272010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20