Publications

Export 280 results:
2007
Stouppa, P.: A deep inference system for the modal logic $\mathsf S5$. Studia Logica. 85, 199-214 (2007).
Stouppa, P., Studer, T.: A formal model of data privacy. In: Virbitskaite, I. and Voronkov, A. Proceedings of Perspectives of System Informatics. pp. 401-411. Springer (2007).
Alberucci, L.: A syntactical treatment of simultaneous fixpoints in the modal $μ$-calculus. (2007).
Wehbe, R.: Computing with common knowledge. In: del Pobil, A.P. Proceedings of Artificial Intelligence and Soft Computing. pp. 45-50. ACTA Press (2007).
Jäger, G., Kretz, M., Studer, T.: Cut-free common knowledge. Journal of Applied Logic. 5, 681-689 (2007).
Kottmann, N., Studer, T.: Improving semantic query answering. In: Wagner, R., Revell, N., and Pernul, G. Proceedings of Database and Expert Systems Applications. pp. 671-679. Springer (2007).
Wehbe, R.: Merging rule-based belief databases. In: Devedżić, V. Proceedings of Artificial Intelligence and Applications. pp. 585-589. ACTA Press (2007).
Jäger, G.: On Feferman's operational set theory $\mathsf{OST}$. Annals of Pure and Applied Logic. 150, 19-39 (2007).
Steiner, D., Studer, T.: Total public announcements. In: Artemov, S. and Nerode, A. Proceedings of Logical Foundations of Computer Science. pp. 498-511. Springer (2007).

Pages