Campus Event Calendar
Event Entry
What and Who
A link between algebraic and Kripke-style semantics
Viorica Sofronie-Stokkermans
Max-Planck-Institut für Informatik, Saarbrücken, Germany
Talk
AG 2
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 8 December 97
15:00
60 Minutes
46
24
Saarbrücken
Abstract
I will present a link between algebraic semantics and Kripke-style
semantics for some classes of non-classical logics, and I will
illustrate the ideas by means of an example (SHn-logics).
Contact
Viorica Sofronie-Stokkermans
--email hidden
passcode not visible
logged in users only