Export 59 results:
Filters: Author is Thomas Studer  [Clear All Filters]
In Press
Ognjanović, Z., Savić, N., Studer, T.: Justification Logic with approximate conditional probabilities. 6th international conference on Logic, Rationality and Interaction, LORI VI. , Hokkaido University, Sapporo, Japan (In Press).
Savić, N., Studer, T.: Relevant Justifications. ISRALOG17, Research workshop of the Israel Science Foundation (In Press).
Marti, M., Studer, T.: The Proof Theory of Common Knowledge. In: van Ditmarsch, H. and Sandu, G. Jaakko Hintikka on knowledge and game theoretical semantics. Springer (In Press).
Studer, T.: A Universal Approach to Guarantee Data Privacy. Logica Universalis. 7, 195-209 (2013).
Bucheli, S., Kuznets, R., Studer, T.: Decidability for Justification Logics Revisited. In: Bezhanishvili, G., Löbner, S., Marra, V., and Richter, F. Logic, Language, and Computation, 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers. pp. 166-181. Springer (2013).
Studer, T.: Decidability for some justification logics with negative introspection. The Journal of Symbolic Logic. 78, 388-402 (2013).
Kuznets, R., Studer, T.: Update as Evidence: Belief Expansion. In: Artemov, S. and Nerode, A. Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013, Proceedings. pp. 266-279. Springer (2013).
Mints, G., Studer, T.: Cut-elimination for the mu-calculus with one variable. Fixed Points in Computer Science 2012. pp. 47-54. Open Publishing Association (2012).
Kuznets, R., Studer, T.: Justifications, Ontology, and Conservativity. In: Bolander, T., Braüner, T., Ghilardi, S., and Moss, L. Advances in Modal Logic, volume 9. pp. 437-458. College Publications (2012).
Studer, T.: Justified Terminological Reasoning. In: Clarke, E.E., Virbitskaite, I., and Voronkov, A. Proceedings of Perspectives of System Informatics PSI'11. pp. 349-361. Springer (2012).
Brünnler, K., Studer, T.: Syntactic cut-elimination for a fragment of the modal mu-calculus. Annals of Pure and Applied Logic. 163, 1838-1853 (2012).
Jäger, G., Studer, T.: A Buchholz rule for modal fixed point logics. Logica Universalis. 5, 1-19 (2011).
Studer, T.: An application of justification logic to protocol verification. Proceedings of Computational Intelligence and Security CIS 2011. pp. 779-783. IEEE (2011).
Studer, T.: Justification Logic, Inference Tracking, and Data Privacy. Logic and Logical Philosophy. 20, 297-306 (2011).
Bucheli, S., Kuznets, R., Studer, T.: Justifications for Common Knowledge. Journal of Applied Non-classical Logics. 21, 35-60 (2011).