%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:30 +0100 GMT
%    
% Selection : Author: Ide_Vennema
%




@TechReport{Blackburn_et_al:1994,
      AUTHOR = {Blackburn, Patrick and de Rijke, Maarten and Vennema, Ide},
      TITLE = {The Algebra of Modal Logic},
      YEAR = {1994},
      MONTH = {November},
      NUMBER = {47},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/claus/claus47.dvi},
      ABSTRACT = {Our main aim is to review the frame semantics and axiomatics of modal logic from the perspective of the duality between (Kripke) frames and boolean algebras with operators as defined by Jónsson and Tarski. To this end, we introduce modal languages and their interpretation in models and frames in Part II. We define and discuss the notion of a modal formula characterizing a class of frames or models, and give the Sahlqvist algorithm which yields, given a suitable modal formula as input, the corresponding first-order condition on the class of frames characterized by the formula. We define the concept of a normal modal logic and explain the canonical frame method for proving completeness of a logic with respect to classes of frames. In Part III we develop the algebraic perspective on modal logic. We introduce boolean algebras with operators and show how they arise naturally in both the semantic and the axiomatic approach towards algebraizing modal logic. We discuss in detail how the category of boolean algebras with operators and homomorphisms links up with the category of frames with so-called bounded morphisms. Finally, we apply this duality to give easy proofs for some important and well-known results from modal logic.},
      ANNOTE = {COLIURL : Blackburn:1994:AML.ps Blackburn:1994:AML.dvi}
}

@TechReport{Blackburn_et_al:1995,
      AUTHOR = {Blackburn, Patrick and de Rijke, Maarten and Vennema, Ide},
      TITLE = {Relational Methods in Logic, Language and Information},
      YEAR = {1995},
      MONTH = {September},
      NUMBER = {65},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus65.ps},
      ABSTRACT = {This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead to the current focus on dynamics in the area. After that we give examples of logics of transitions that naturally arise in this setting, and we identify more general themes such as bisimulations, relativisations and dynamic modes of inference. We conclude with a discussion of newly emerging themes, and the limitations of the relational perspective.},
      ANNOTE = {COLIURL : Blackburn:1995:RML.pdf Blackburn:1995:RML.ps}
}

@InCollection{Blackburn_et_al:1997,
      AUTHOR = {Blackburn, Patrick and de Rijke, Maarten and Vennema, Ide},
      TITLE = {Relational Methods in Logic, Language and Information},
      YEAR = {1997},
      BOOKTITLE = {Relational Methods in Computer Science},
      PAGES = {211-225},
      EDITOR = {Brink, C. and Kahl, W. and Schmidt, G.},
      SERIES = {Advances in Computing Sciences},
      ADDRESS = {Berlin},
      PUBLISHER = {Springer}
}