Switch to: References

Add citations

You must login to add citations.
  1. Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.Jim de Groot - 2022 - Studia Logica 110 (3):717-743.
    We investigate bisimulations for instantial neighbourhood logic and an \-indexed collection of its fragments. For each of these logics we give a Hennessy-Milner theorem and a Van Benthem-style characterisation theorem.
    Direct download (3 more)  
    Export citation  
  • Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.
    This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area. Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations (...)
    No categories
    Direct download (2 more)  
    Export citation  
    Bookmark   1 citation