Media type: Book Title: Modal logic Contributor: Blackburn, Patrick [Author]; Rijke, Maarten de [Author]; Venema, Yde [Author] imprint: Cambridge [u.a.]: Cambridge University Press, 2002 Published in: Cambridge tracts in theoretical computer science ; 53.2002 Issue: 1. paperback ed. Extent: XXII, 554 S; graph. Darst; 23cm Language: English ISBN: 0521527147; 0521802008 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 130 : Allgemeines Keywords: Modallogik Origination: Footnote: Literaturverz. S. 524 - 543