OASIS - Samson Abramsky

The Oxford Advanced Seminar on Informatic Structures

$\*$ Introduction to OASIS

$\*$ Michaelmas 2004

$\*$ Hilary 2005

$\*$ Trinity 2005

$\*$ Michaelmas 2005

$\*$ Hilary 2006

$\*$ Mathieu Marion

$\*$ Samson Abramsky

$\*$ Stephen Clark

$\*$ Jens Eisert

$\*$ Stefan Milius

$\*$ Emmanuel Haven

$\*$ Pasquale Malacaria

$\*$ Trinity 2006

$\*$ Michaelmas 2006

$\*$ Hilary 2007

$\*$ Trinity 2007

$\*$ Michaelmas 2007

$\*$ Hilary 2008

$\*$ Trinity 2008

Samson Abramsky

OUCL [web page]. Samson Abramsky FRS is OUCL's Christopher Strachey Professor of Computing and is the Head of the Theory and Automated Verification Group.

TITLE: Socially Responsive, Environmentally Friendly Logic

ABSTRACT: We consider the following questions: What kind of logic has a natural semantics in multi-player (rather than 2-player) games? How can we express branching quantifiers, and other partial-information constructs, with a properly compositional syntax and semantics? We develop a logic in answer to these questions, with a formal semantics based on multiple concurrent strategies, formalized as closure operators on Kahn-Plotkin concrete domains. Partial information constraints are represented as co-closure operators. We address the syntactic issues by treating syntactic constituents, including quantifiers, as arrows in a category, with arities and co-arities. This enables a fully compositional account of a wide range of features in a multi-agent, concurrent setting, including IF-style quantifiers.

oucl

seminars-mt04

	Introduction to OASIS
Courses \| Research \| People \| About us \| News
Site last produced on Tue Jun 3 10:12:28 BST 2008 . Page generated by AWF. Copyright (C) 2004 OUCL.