Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Lomuscio:2007:10.1145/1329125.1329302,
author = {Lomuscio, A and Wona, B},
doi = {10.1145/1329125.1329302},
pages = {574--581},
title = {A temporal epistemic logic with a reset operation},
url = {http://dx.doi.org/10.1145/1329125.1329302},
year = {2007}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic "reset" operator defined on the intersection between epistemic and temporal relations. Additionally we show the logic has the finite model property, hence it is decidable. © 2007 IFAAMAS.
AU - Lomuscio,A
AU - Wona,B
DO - 10.1145/1329125.1329302
EP - 581
PY - 2007///
SP - 574
TI - A temporal epistemic logic with a reset operation
UR - http://dx.doi.org/10.1145/1329125.1329302
ER -