Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

34

ATAL
2007
Springer

favoriteEmaildiscussreport

130views Intelligent Agents» more ATAL 2007»

A temporal epistemic logic with a reset operation

14 years 4 months ago

A temporal epistemic logic with a reset operation

Download www.doc.ic.ac.uk

We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator deﬁned on the intersection between epistemic and temporal relations. Additionally we show the logic has the ﬁnite model property, hence it is decidable. Categories and Subject Descriptors F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic General Terms Theory Keywords Epistemic logic, axiomatisation, decidability

Alessio Lomuscio, Bozena Wozna

Real-time Traffic

ATAL 2007 | Epistemic Logic | Keywords Epistemic Logic | Temporal Epistemic Logic |

claim paper

Related Content

» Operational and Epistemic Approaches to Protocol Analysis Bridging the Gap

» Model Checking Games for a Fair BranchingTime Temporal Epistemic Logic

» Temporal Languages for Epistemic Programs

» Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time

» Some Spatial and SpatioTemporal Operators Derived from the Topological View of Knowledge

» Complete Axiomatizations for Reasoning About Knowledge and Time

» Reasoning About Web Services in a Temporal Action Logic

» A Dynamic Logic of Agency I STIT Capabilities and Powers

» Completeness Results for Memory Logics

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	ATAL
Authors	Alessio Lomuscio, Bozena Wozna

Comments (0)