International audienceWe 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
International audienceWe present a multi-agent logic of belief and announcements wherein the sending...
2007 Annual Conference of the Australasian Association for Logic, sponsored by the Association for S...
International audienceIn this paper we introduce Second-order Propositional Announcement Logic (SOPA...
International audienceWe define a Public Announcement Separation Logic (PASL) that allows us to cons...
International audienceWe define an Epistemic Separation Logic, called ESL, that allows us to conside...
International audienceIn this paper we present an extension of (bunched) separation logic, Boolean B...
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4548)Interna...
International audiencePublic announcement logic (PAL) is a logic for reasoning about the dynamic of ...
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the in...
International audiencePublic announcement logic extends multi-agent epistemic logic with dynamic ope...
International audienceArbitrary public announcement logic (APAL) is a logic of change of knowledge w...
International audienceWe study the extension of public announcement logic PAL by public assignments,...
In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. ...
International audienceArbitrary public announcement logic (APAL) reasons about how the knowledge of ...
In his seminal work [Pla89], Plaza proposed the public announcement logic (PAL), which is considered...
International audienceWe present a multi-agent logic of belief and announcements wherein the sending...
2007 Annual Conference of the Australasian Association for Logic, sponsored by the Association for S...
International audienceIn this paper we introduce Second-order Propositional Announcement Logic (SOPA...
International audienceWe define a Public Announcement Separation Logic (PASL) that allows us to cons...
International audienceWe define an Epistemic Separation Logic, called ESL, that allows us to conside...
International audienceIn this paper we present an extension of (bunched) separation logic, Boolean B...
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4548)Interna...
International audiencePublic announcement logic (PAL) is a logic for reasoning about the dynamic of ...
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the in...
International audiencePublic announcement logic extends multi-agent epistemic logic with dynamic ope...
International audienceArbitrary public announcement logic (APAL) is a logic of change of knowledge w...
International audienceWe study the extension of public announcement logic PAL by public assignments,...
In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. ...
International audienceArbitrary public announcement logic (APAL) reasons about how the knowledge of ...
In his seminal work [Pla89], Plaza proposed the public announcement logic (PAL), which is considered...
International audienceWe present a multi-agent logic of belief and announcements wherein the sending...
2007 Annual Conference of the Australasian Association for Logic, sponsored by the Association for S...
International audienceIn this paper we introduce Second-order Propositional Announcement Logic (SOPA...
DOI
Add to ORKG