For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

University of Liverpool

Return to search Previous output Next output
Output 0 of 0 in the submission
Article title

On the succinctness of some modal logics

Type
D - Journal article
Title of journal
Artificial Intelligence
Article number
-
Volume number
197
Issue number
-
First page of article
56
ISSN of journal
00043702
Year of publication
2013
URL
-
Number of additional authors
3
Additional information

<11>One main result in this paper solves an open problem in Dynamic Epistemic Logic, formulated first by Lutz (AAMAS 2006). Our paper extends "Succinctness of epistemic languages" (IJCAI 2011) by the same authors. The journal version presents results for several modal logics, hence the change in title from "epistemic" to "modal".

Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-