Publications

Epistemic Logics with Structured Knowledge

AuthID
P-00R-0XF

Author(s)

Madeira, A

Martins, MA

Benevides, MRF

Editor(s)

Beniamino Accattoli; Carlos Olarte

Document Type

Proceedings Paper

Year published

2019

Published

in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661

Volume: 344, Pages: 137-149 (13)

Conference

13Th Workshop on Logical and Semantic Frameworks with Applications (Lsfa), Date: SEP 26-28, 2018, Location: Fortaleza, BRAZIL, Sponsors: Univ Fed Ceara, Univ Fed Ceara, Postgraduate Program Comp Sci, Brazilian Log Soc, Div Log Methodol & Philosophy Sci & Technol

Indexing