Publications

Export 291 results:

Submitted

Ranzi, F., Strahm, T.: A flexible type system for the small Veblen ordinal. (Submitted).

Jäger, G., Steila, S.: About some fixed point axioms and related principles in Kripke-Platek environments. (Submitted).

Jäger, G., Rosebrock, T., Sato, K.: Truncation and Semi-Decidability Notions in Applicative Theories. (Submitted).

In Press

Oliva, P., Steila, S.: A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem. Journal of Symbolic Logic. (In Press).

Marti, M., Metcalfe, G.: Expressivity in Chain-Based Modal Logics. Archive for Mathematical Logic. (In Press).

Audrito, G., Steila, S.: Generic Large Cardinals and Systems of Filters. Journal of Symbolic Logic. (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).

Jäger, G.: The Operational Penumbra: Some Ontological Aspects. In: Jäger, G. and Sieg, W. Feferman on Foundations. Springer (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).

Strahm, T.: Unfolding schematic systems. In: Jäger, G. and Sieg, W. Feferman on Foundations - Logic, Mathematics, Philosophy. Springer (In Press).

2017

Savić, N., Doder, D., Ognjanović, Z.: A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. In: Antonucci, A., Cholvy, L., and Papini, O. Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. pp. 491–500. Springer International Publishing, Cham (2017).

Marti, M.: Contributions to Intuitionistic Epistemic Logic. (2017).

Savić, N., Doder, D., Ognjanović, Z.: Logics with lower and upper probability operators. International Journal of Approximate Reasoning. 88, 148 - 168 (2017).

Berardi, S., Steila, S.: Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic. Journal of Symbolic Logic. 82, 737-753 (2017).

Bucheli, S., Ghari, M., Studer, T.: Temporal Justification Logic. In: Ghosh, S. and Ramanujam, R. Proceedings of the Ninth Workshop on Methods for Modalities, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017. pp. 59-74. Open Publishing Association (2017).

Frittaion, E., Steila, S., Yokoyama, K.: The Strength of the SCT Criterion. In: Gopal, T.V., Jäger, G., and Steila, S. Theory and Applications of Models of Computation - 14th Annual Conference, {TAMC} 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. pp. 260–273 (2017).

Gopal, T.V., Jäger, G., Steila, S.: Theory and Applications of Models of Computation TAMC 2017. Springer International Publishing, Cham (2017).

2016

Jäger, G., Marti, M.: A canonical model construction for intuitionistic distributed knowledge. In: Beklemishev, L., Demri, S., and Máté, A. Advances in Modal Logic 2016. College Publications (2016).

Kahle, R., Strahm, T., Studer, T.: Advances in Proof Theory. Birkhäuser (2016).

Probst, D., Schuster, P.: Concepts of Proof in Mathematics, Philosophy, and Computer Science. Walter De Gruyter Incorporated (2016).

Kokkinis, I., Studer, T.: Cyclic Proofs for Linear Temporal Logic. In: Probst, D. and Schuster, P. Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).

Jäger, G., Marti, M.: Intuitionistic common knowledge or belief. Journal of Applied Logic. 18, (2016).

Marti, M., Studer, T.: Intuitionistic modal logic made explicit. IfCoLog Journal of Logics and their Applications. 3, 877-901 (2016).

Kashev, A.: Justification with Nominals. (2016).

Pages