The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic

Bartek Klin. The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. In José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten, editors, Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Volume 3629 of Lecture Notes in Computer Science, pages 247-262, Springer, 2005. [doi]

@inproceedings{Klin05,
  title = {The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic},
  author = {Bartek Klin},
  year = {2005},
  doi = {10.1007/11548133_16},
  url = {http://dx.doi.org/10.1007/11548133_16},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/Klin05},
  cites = {0},
  citedby = {0},
  pages = {247-262},
  booktitle = {Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings},
  editor = {José Luiz Fiadeiro and Neil Harman and Markus Roggenbach and Jan J. M. M. Rutten},
  volume = {3629},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28620-9},
}