BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/4473/23-May-2012-A|C-seminar-Kohei-Kishida
DTSTAMP:20120510T000000
SUMMARY:A|C seminar, Kohei Kishida
ATTENDEE;ROLE=Speaker:Kohei Kishida
DTSTART:20120523T110000
DTEND:20120523T130000
LOCATION:Room B0.201, Science park 904, Amsterdam
DESCRIPTION:This talk extends Tarski's classical t
opological semantics for propositional modal logic
to first-order modal logic, with respect to the f
ollowing 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 domain
s of individuals. (ii) It is also shown how topolo
gical semantics extends to the more general case o
f neighborhood semantics, at the level of sheaf se
mantics. These extensions provide semantics for th
e simple unions of first-order logic with S4 modal
logic and with more general modal logics. Corresp
onding 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 inform
ation, see http://algcoalg.wordpress.com/.
X-ALT-DESC;FMTTYPE=text/html:\n This tal
k extends Tarski's classical topological semantics
\n for propositional modal logic to first-o
rder modal logic, with\n respect to the fol
lowing two aspects: (i) It takes a sheaf\n
over a topological space, and shows that such stru
ctures (or\n the category of them) model fi
rst-order modal logic by\n equipping points
of the space with domains of individuals.\n
(ii) It is also shown how topological semantics
extends to the\n more general case of neigh
borhood semantics, at the level of\n sheaf
semantics. These extensions provide semantics for
the\n simple unions of first-order logic w
ith S4 modal logic and\n with more general
modal logics. Corresponding to the\n point
-set and algebraic formulations of Tarski's topolo
gical\n semantics, the semantics of this pa
per will be presented in\n both point-set a
nd topos-theoretic formulations.

\n \n
For more information, see http://algco
alg.wordpress.com/.

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/4473/23-May-2012-A|C-seminar-Kohei-Kishida
END:VEVENT
END:VCALENDAR