Found 5 Documents (Results 1–5)
Public announcement logic with distributed knowledge: expressivity, completeness and complexity. (English) Zbl 1310.03030
MSC:
03B42
Information dynamics and uniform substitution. (English) Zbl 1310.03027
MSC:
03B42
Structures of oppositions in public announcement logic. (English) Zbl 1263.03010
Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 313-339 (2012).
Reviewer: Can Baskent (Paris)
MSC:
03B42
Schematic validity in dynamic epistemic logic: decidability. (English) Zbl 1298.03052
van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 87-96 (2011).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (2)
all
top 5
Author
- Holliday, Wesley H. (2)
- Hoshi, Tomohiro (2)
- Icard, Thomas F. III (2)
- Ågotnes, Thomas (1)
- Demey, Lorenz (1)
- Haney, Ryuichi Sebastian (1)
Serial
- Synthese (2)
- J. Logic Lang. Inf. (1)
Main Field
- 03-XX (5)