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
, On modal $μ$-calculus and Gödel-Löb logic, Studia Logica, vol. 91, pp. 145-169, 2009.
, The modal $μ$-calculus hierarchy over restricted classes of transition systems, Journal of Symbolic Logic, vol. 74, pp. 1367–1400, 2009.
, 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.
2004
, On modal $μ$-calculus and non-well-founded set theory, Journal of Philosophical Logic, vol. 33, p. 343{–}360, 2004.
1997
, Modal rule correspondences. Universität Bern, 1997.
, Model checking, in Handbook of Automated Reasoning, 1997, p. 1635{–}1790.
1996
, On the modal logic K plus theories, in Proceedings of Computer Science Logic '95, 1996, vol. 1092, p. 308{–}319.