Logics for Epistemic Actions: Completeness, Decidability, Expressivity

Description

Toolbox-ID

jz000116-0008

Identifier(s)

https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10458

Publisher

MDPI AG

License

https://creativecommons.org/licenses/by/4.0/

Subject(s)

DDC(s)

Distribution(s)

No Thumbnail Available
Distribution
Logics for Epistemic Actions: Completeness, Decidability, Expressivity
Alexandru Baltag; Lawrence S. Moss; Sławomir Solecki
No Thumbnail Available
Distribution
Logics for Epistemic Actions: Completeness, Decidability, Expressivity
Alexandru Baltag; Lawrence S. Moss; Sławomir Solecki