Abstract
The Coalgebraic Logic seminar took place between the 6th and 9th of December 2009 at the Leibniz Forschungszentrum Schloss Dagstuhl. The event was very well received, with more than 35 scientists from Europe, the United States, Canada and China attending, and with more than thirty presentations during the three days. Given the unforeseen enthusiasm of the meeting's reception, we thought that it would be a good idea for us to put together a special journal issue dedicated to this topic. We were also encouraged by the positive response we received from Guiseppe Longo, who indicated his interest in a special issue for Mathematical Structures in Computer Science, and here we are.
Highlights
The Coalgebraic Logic seminar took place between the 6th and 9th of December 2009 at the Leibniz Forschungszentrum Schloss Dagstuhl
We were encouraged by the positive response we received from Guiseppe Longo, who indicated his interest in a special issue for Mathematical Structures in Computer Science, and here we are
Modal logic is a field with roots in philosophical logic and mathematics
Summary
The Coalgebraic Logic seminar took place between the 6th and 9th of December 2009 at the Leibniz Forschungszentrum Schloss Dagstuhl. The basic idea is that coalgebras are given with respect to a parameter F, which is a functor on a category C. Different choices of F yield, for example, the Kripke frames and models of modal logic, the labelled transition systems of process algebra, the deterministic automata of formal
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
