Publications

Export 15 results:

Filters: First Letter Of Title is M [Clear All Filters]

2010

G. Jäger, “Modal Fixed Point Logics”, in Logics and {L}anguages for {R}eliability and {S}ecurity, 2010, vol. 25.

2009

L. Alberucci and A. Facchini, “On modal $μ$-calculus and Gödel-Löb logic”, Studia Logica, vol. 91, pp. 145-169, 2009.

L. Alberucci and A. Facchini, “The modal $μ$-calculus hierarchy over restricted classes of transition systems”, Journal of Symbolic Logic, vol. 74, pp. 1367–1400, 2009.

K. Brünnler and L. Straßburger, “Modular Sequent Systems for Modal Logic”, in Tableaux 2009, 2009, vol. 5607.

2007

R. Wehbe, “Merging rule-based belief databases”, in Proceedings of Artificial Intelligence and Applications, 2007, p. 585{–}589.

2005

M. Dürig, “$\mathcal{PALC}$: Extending $\mathcal{ALC}$ ABoxes with Probabilities”. Universität Bern, 2005.

D. Sonderegger, “$\mathsf{PLTL}$ – Vollständigkeit und Modell-Konstruktion”. Universität Bern, 2005.

G. Jäger, “Metapredicative and explicit Mahlo: a proof-theoretic perspective”, in Proceedings of Logic Colloquium '00, 2005, vol. 19, p. 272{–}293.

2004

L. Alberucci and V. Salipante, “On modal $μ$-calculus and non-well-founded set theory”, Journal of Philosophical Logic, vol. 33, p. 343{–}360, 2004.

2002

L. Alberucci, “The Modal $μ$-Calculus and the Logic of Common Knowledge”. Universität Bern, 2002.

2001

P. Balsiger, “The MacLWB and the Logic of Likelihood”. Universität Bern, 2001.

2000

C. Rüede, “Metapredicative Subsystems of Analysis”. Universität Bern, 2000.

1997

W. Heinle and H. Schlingloff, “Modal rule correspondences”. Universität Bern, 1997.

E. E. Clarke, W. Heinle, and H. Schlingloff, “Model checking”, in Handbook of Automated Reasoning, 1997, p. 1635{–}1790.

1996

A. Heuerding and S. Schwendimann, “On the modal logic K plus theories”, in Proceedings of Computer Science Logic '95, 1996, vol. 1092, p. 308{–}319.