BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/9889/1-May-2018-ILLC-Seminar-Bahareh-Afshari
DTSTAMP:20190307T164611
SUMMARY:ILLC Seminar, Bahareh Afshari
ATTENDEE;ROLE=Speaker:Bahareh Afshari
DTSTART:20180501T110000
DTEND:20180501T115000
LOCATION:ILLC Seminar Room F1.15, Science Park 107
, Amsterdam
DESCRIPTION:Modal logic provides an effective lang
uage for expressing properties of state-based sys
tems. When equipped with operators that can test
for infinite behaviour like looping and reachabil
ity, the logic becomes a powerful tool for specify
ing correctness of nonterminating, reactive proce
sses such as communication protocols and control
systems. An elegant example of such a logic is th
e modal mu-calculus which extends basic modal log
ic by two quantifiers for defining inductive and
co-inductive operators. As well as being highly ex
pressive, this logic enjoys good computational pr
operties (decidability, finite model property, …)
that distinguish it as a central logic in comput
er science. In this talk I will introduce the moda
l mu-calculus, present some key properties and di
scuss recent results regarding its proof theory.
X-ALT-DESC;FMTTYPE=text/html:\n Modal logic pr
ovides an effective language for expressing

\n
properties of state-based systems. When equipped
with operators

\n that can test for infinite b
ehaviour like looping and

\n reachability, the
logic becomes a powerful tool for specifying

\
n correctness of nonterminating, reactive process
es such as

\n communication protocols and cont
rol systems. An elegant example

\n of such a l
ogic is the modal mu-calculus which extends basic<
br>\n modal logic by two quantifiers for defining
inductive and

\n co-inductive operators. As w
ell as being highly expressive, this

\n logic
enjoys good computational properties (decidability
, finite

\n model property, …) that distinguis
h it as a central logic in

\n computer science
. In this talk I will introduce the modal

\n m
u-calculus, present some key properties and discus
s recent

\n results regarding its proof theory
.

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/9889/1-May-2018-ILLC-Seminar-Bahareh-Afshari
CONTACT:Yde Venema at Y.Venema at uva.nl
END:VEVENT
END:VCALENDAR