# Publications

Export 13 results:
Filters: First Letter Of Title is D  [Clear All Filters]
In Press
, Decidability for Justification Logics Revisited, in Selected papers of Ninth International Tbilisi Symposium on Language, Logic and Computation, In Press.
2013
, Decidability for Justification Logics Revisited, in Logic, Language, and Computation, 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers, vol. 7758, Springer, 2013, pp. 166–181.
2009
, Data Privacy for ALC Knowledge Bases, in Proceedings of {L}ogical {F}oundations of {C}omputer {S}cience {LFCS}'09, 2009, vol. 5407, pp. 409–421.
P. Stouppa, Deciding Data Privacy for ALC Knowledge Bases. Universität Bern, 2009.
K. Brünnler, Deep Sequent Systems for Modal Logic, Archive for Mathematical Logic, vol. 48, pp. 551–577, 2009.
2007
P. Stouppa, A deep inference system for the modal logic $\mathsf S5$, Studia Logica, vol. 85, p. 199{–}214, 2007.
2006
, Deduction chains for common knowledge, Journal of Applied Logic, vol. 4, p. 331{–}357, 2006.
K. Brünnler, Deep inference and its normal form of derivations, in Proceedings of Computability in Europe, 2006, vol. 3988, p. 65{–}74.
K. Brünnler, Deep sequent systems for modal logic, in Proceedings of Advances in Modal Logic, 2006, vol. 6, p. 107{–}119.
N. Kottmann, Description Logic Query Answering with Relational Databases. Universität Bern, 2006.
1995
G. Jäger, A deductive approach to logic programming, in Proof and Computation, 1995, vol. 139, p. 231{–}270.
1993
, The defining power of stratified and hierarchical logic programs, Journal of Logic Programming, vol. 15, p. 55{–}77, 1993.