Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

23 May 2012, A|C seminar, Kohei Kishida

Speaker: Kohei Kishida
Title: Topological- and Neighborhood-Sheaf Semantics for First-Order Modal Logic
Date: Wednesday 23 May 2012
Time: 11:00-13:00
Location: Room B0.201, Science park 904, Amsterdam

This talk extends Tarski's classical topological semantics for propositional modal logic to first-order modal logic, with respect to the following two aspects: (i) It takes a sheaf over a topological space, and shows that such structures (or the category of them) model first-order modal logic by equipping points of the space with domains of individuals. (ii) It is also shown how topological semantics extends to the more general case of neighborhood semantics, at the level of sheaf semantics. These extensions provide semantics for the simple unions of first-order logic with S4 modal logic and with more general modal logics. Corresponding to the point-set and algebraic formulations of Tarski's topological semantics, the semantics of this paper will be presented in both point-set and topos-theoretic formulations.

For more information, see http://algcoalg.wordpress.com/.

Please note that this newsitem has been archived, and may contain outdated information or links.