Output details
11 - Computer Science and Informatics
University of Strathclyde
Article title
Neighbourhood structures : bisimilarity and basic model theory
Type
D - Journal article
Title of journal
Logical Methods in Computer Science
Article number
2
Volume number
5
Issue number
2
First page of article
-
ISSN of journal
1860-5974
Year of publication
2009
URL
-
Number of additional authors
2
Additional information
<22>The significance of this paper is that its main result - viewing a coalgebraic modal logic as bisimulation-invariant fragment of a first-order logic - initiated a new line of research into coalgebraic analogues of the van Benthem theorem (cf. Pattinson, Schroeder) and the development of coalgebraic predicate logic (CPL), a first-order logic formalism that can be used to reason about coalgebras (cf. Litak, Schroeder and Pattinson). CPL is crucial for building bridges from coalgebra to areas where first-order logic is dominant, eg database theory. The paper was invited to a special journal edition of CALCO, further evidencing its quality.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
