Publications

Export 120 results:
Filters: Type is Journal Article  [Clear All Filters]
2009
Studer, T.: Common knowledge does not have the Beth property. Information Processing Letters. 109, 611-614 (2009).
Brünnler, K.: Deep Sequent Systems for Modal Logic. Archive for Mathematical Logic. 48, 551-577 (2009).

Pages