Publication | Closed Access
On axiomatizations of public announcement logic
90
Citations
22
References
2013
Year
EngineeringDynamic Epistemic LogicAutomated ReasoningFormal MethodsFirst-order LogicPublic Announcement LogicCommunicationSemanticsArtsHigher-order LogicJournalism
| Year | Citations | |
|---|---|---|
Page 1
Page 1