Hybrid Logic's Home Page

Thursday

14.00 - 14.40 Hs.	Bill Wadge. A Hybrid Predicate Calculus
	We present in this talk a hybrid logical system which incorporates a fairly conventional first-order predicate calculus, but which also include elements of modal logic and relational algebra. A special effort has been made to produce a (syntactically and semantically) well integrated whole, rather than just a disjoint union. The calculus, from a formal point of view, is equivalent (in terms of expressiveness) to conventional first-order systems. It exhibits, however, some promising pragmatic advantages. In particular, many statements of so-called ``everyday'' language can be formulated more directly and concisely, often without resort to any bound variables. Relevant Material: 1. B. Wadge (2000). A Hybrid Predicate Calculus.
14.50 - 15.30 Hs.	[CANCELED] Mike Reape. Hybrid Logics: The Linguistic Connection
	The mechanisms underlying PATR-II and other unification-based approaches to grammar are based on the use of attribute value matrices (AVMs) with ``tags'' to indicate re-entrancy of feature structures. Hybrid logics built over the tight connection existing between AVMs and deterministic multi-modal logics, providing an easy way to account for re-entrancy: in the setting of hybrid logics ``tags'' are simply nominals. In this talk we will investigate the connections between hybrid logics and another powerful grammar language: Head-Driven Phrase Structure Grammar (HPSG). Relevant Material: 1. M. Reape (2000). A hybrid logic with deterministic relations and a satisfiability algorithm for it. 2. P. Blackburn, (1993). Modal logic and attribute value structures. In M. de Rijke (Ed.), Diamonds and Defaults, Synthese Language Library, pp. 19-65. Dordrecht, Kluwer Academic Publishers.
14.50 - 15.30 Hs.	Geert-Jan Kruijff. Hybrid Logics: The next obvious step in modeling interpretation of natural language
	The talk will focus on the application of hylos in linguistics - how they provide the kind of ontological detail called for in lexical semantics, how they are familiar in formal semantics (e.g. for the analysis of tense in natural language), and how they provide a brilliant way of tying the former two together into a formal account of grammar (namely, categorial type logics).