학술논문
A tableau method for public announcement logics
Document Type
Conference Paper
Author
Source
In: Automated Reasoning with Analytic Tableaux and Related Methods - 16th International Conference, TABLEAUX 2007, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4548 LNAI:43-59)
Subject
Language
English
ISSN
16113349
03029743
03029743