Relational methods in logic, language and information
This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in the area. After that we give examples of logics of transition 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.
|Mathematical Logic (acm F.4.1), General (acm I.2.0), Knowledge Representation Formalisms and Methods (acm I.2.4)|
|Combinatory logic and lambda-calculus (msc 03B40), Other nonclassical logic (msc 03B60), Logic of natural languages (msc 03B65), Other applications of logic (msc 03B80), Cylindric and polyadic algebras; relation algebras (msc 03G15), Other algebras related to logic (msc 03G25), Knowledge representation (msc 68T30)|
|Department of Computer Science [CS]|
Blackburn, P, de Rijke, M, & Venema, Y. (1995). Relational methods in logic, language and information. Department of Computer Science [CS]. CWI.