Publications

Export 280 results:
2010
Brünnler, K., Goetschi, R., Kuznets, R.: A Syntactic Realization Theorem for Justification Logics. In: Beklemishev, L., Goranko, V., and Shehtman, V. Advances in Modal Logic, Volume 8. pp. 39-58. College Publications (2010).
Wehbe, R.: Annotated Systems for Common Knowledge. (2010).
McKinley, R.: Expansion nets: Proof nets for for propositional classical logic. In: Fermüller, C. and Voronkov, A. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 17). pp. 535-549. Springer Berlin / Heidelberg (2010).
Bucheli, S., Kuznets, R., Studer, T.: Explicit Evidence Systems with Common Knowledge. (2010).
Bucheli, S., Kuznets, R., Renne, B., Sack, J., Studer, T.: Justified Belief Change. In: Arrazola, X. and Ponte, M.\'ıa Proceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10). pp. 135-155. University of the Basque Country Press (2010).
Jäger, G.: Modal Fixed Point Logics. In: Esparza, J., Spanfelner, B., and Grumberg, O. Logics and Languages for Reliability and Security. IOS Press (2010).
Brünnler, K.: Nested Sequents. (2010).
Studer, T.: Privacy Preserving Modules for Ontologies. In: Pnueli, A., Virbitskaite, I., and Voronkov, A. Proceedings of Perspectives of System Informatics PSI'09. pp. 380-387 (2010).
Brugger, J.: Proof-theoretic aspects of weak König's Lemma. (2010).
Studer, T.: Proof-Theoretic Contributions to Modal Fixed Point Logics. (2010).
Kuznets, R.: Self-Referential Justifications in Epistemic Logic. Theory of Computing Systems. 46, 636-661 (2010).
Pulver, C.: Self-Referentiality in Contraction-free Fragments of Modal Logic S4. (2010).
Bucheli, S., Kuznets, R., Studer, T.: Two Ways to Common Knowledge. In: Bolander, T. and Braüner, T. Proceedings of the 6th Workshop on Methods for Modalities (M4M–6 2009), Copenhagen, Denmark, 12–14 November 2009. pp. 83-98. Elsevier (2010).
Feferman, S., Strahm, T.: Unfolding finitist arithmetic. Review of Symbolic Logic. 3, 665-689 (2010).
Stolz, M.C.: Verification of Workflow Control-Flow Patterns with the SPIN Model Checker. (2010).
Strahm, T.: Weak theories of operations and types. In: Schindler, R. Ways of Proof Theory. pp. 441-468. Ontos Verlag (2010).
Jäger, G., Krähenbühl, J.: $Σ^1_1$ choice in a theory of sets and classes. In: Schindler, R. Ways of Proof Theory. pp. 283-314. Ontos Verlag (2010).
2009
Kuznets, R.: A Note on the Use of Sum in the Logic of Proofs. In: Drossos, C., Peppas, P., and Tsinakis, C. Proceedings of the 7th Panhellenic Logic Symposium. pp. 99-103. Patras University Press, Patras University, Greece (2009).
Eberhard, S.: Aspekte beweisbar totaler Funktionen in applikativen Theorien. (2009).

Pages