Output details
11 - Computer Science and Informatics
University of Liverpool
Article title
Local properties in modal logic
Type
D - Journal article
Title of journal
Artificial Intelligence
Article number
-
Volume number
187-188
Issue number
-
First page of article
133
ISSN of journal
00043702
Year of publication
2012
URL
-
Number of additional authors
2
Additional information
<11>This paper extends both "Knowing More - From Global to Local Correspondence" (IJCAI 2009) and "Reasoning about Local Properties in Modal Logic" (AAMAS 2011), by the same authors. It is more general than the IJCAI paper (which focussed on one example in epistemic logic) and extends the AAMAS paper with a non-standard completeness proof.
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
-
