GABBAY AND OHLBACH

Logic
STRETCHING THE EXPRESSIVE POWER OF FIRST ORDER PREDICATE LOGIC

Workshop

DOV GABBAY and HANS-JUERGEN OHLBACH

Department of Computing, Imperial College

Second week
dg@doc.ic.ac.uk and ho1@doc.ic.ac.uk

Course description

There are various approaches for extending the expressive power of first-order predicate logic without going to higher-order logic. Examples are

types and sorts:
meta-predicates as used in Prolog:
self-fibering of predicate logic (formulae at term positions);
special built-in theories:
special quantifiers:
non-classical logics which are essentially fragments of predicate logic, but have some higher-order features (e.g. modal logic with McKinsey´s axiom);
non-standard semantics of predicate logic;
structuring the domain;
labelling the formulae.

Some systems do not really extend the expressive power, but they improve it by introducing convenient features into the logic.

We are inviting all members of the LLI community and other researchers interested in these topics to this workshop. The contributions should address theoretical and computational issues related to extending the expressive power of predicate logic, both genuine extensionsand "pseudo-extensions", such as sorted logic. Indirect extensions like decidable modal logics with some higher-order features are also of interest.

Prerequisites
None

Literature
No specific recommendation

HOME PROGRAMME CONTACT REGISTRATION

Logic	STRETCHING THE EXPRESSIVE POWER OF FIRST ORDER PREDICATE LOGIC
Workshop	DOV GABBAY and HANS-JUERGEN OHLBACH Department of Computing, Imperial College
Second week	dg@doc.ic.ac.uk and ho1@doc.ic.ac.uk
Course description	There are various approaches for extending the expressive power of first-order predicate logic without going to higher-order logic. Examples are types and sorts: meta-predicates as used in Prolog: self-fibering of predicate logic (formulae at term positions); special built-in theories: special quantifiers: non-classical logics which are essentially fragments of predicate logic, but have some higher-order features (e.g. modal logic with McKinsey´s axiom); non-standard semantics of predicate logic; structuring the domain; labelling the formulae. Some systems do not really extend the expressive power, but they improve it by introducing convenient features into the logic. We are inviting all members of the LLI community and other researchers interested in these topics to this workshop. The contributions should address theoretical and computational issues related to extending the expressive power of predicate logic, both genuine extensionsand "pseudo-extensions", such as sorted logic. Indirect extensions like decidable modal logics with some higher-order features are also of interest.
Prerequisites	None
Literature	No specific recommendation