A public announcement separation logic
2019 ◽
Vol 29
(06)
◽
pp. 828-871
◽
Keyword(s):
AbstractWe define a Public Announcement Separation Logic (PASL) that allows us to consider epistemic possible worlds as resources that can be shared or separated, in the spirit of separation logics. After studying its semantics and illustrating its interest for modelling systems, we provide a sound and complete tableau calculus that deals with resource, agent and announcement constraints and give also a countermodel extraction method.
1978 ◽
Vol 36
(2)
◽
pp. 190-191
Keyword(s):
2009 ◽
Vol 129
(5)
◽
pp. 985-992
◽
2020 ◽
Vol 140
(2)
◽
pp. 128-129
2015 ◽
Vol 04
(02)
◽
pp. 394-397
◽
2017 ◽
Vol E100.A
(11)
◽
pp. 2355-2357
2018 ◽
Vol 6
(9)
◽
pp. 137-141