Sciweavers

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

10

AUSAI
1997
Springer

favoriteEmaildiscussreport

86views Artificial Intelligence» more AUSAI 1997»

On the Relation between Interpreted Systems and Kripke Models

13 years 8 months ago

On the Relation between Interpreted Systems and Kripke Models

Download www.cs.bham.ac.uk

Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a map from the class of hypercube systems to the class of Kripke frames, another in the opposite direction, and study their properties and compositions. We show that it is possible to characterise semantically the frames that are images of the hypercube systems.

Alessio Lomuscio, Mark Ryan

Real-time Traffic

Artificial Intelligence | AUSAI 1997 | Hypercube Systems | Kripke Models | Simpli Ed Notion |

claim paper

Related Content

» Categorical and Kripke Semantics for Constructive S4 Modal Logic

» The marriage of bisimulations and Kripke logical relations

» Hyperfinite Approximations to Labeled Markov Transition Systems

» A Simple Class of KripkeStyle Models in Which Logic and Computation Have Equal Standing

» HalfOrder Modal Logic How to Prove RealTime Properties

» Vietoris Bisimulations

» Latticed Simulation Relations and Games

» Adding modal operators to the action language A

» A Categorical Approach to Simulations

Post Info
More Details (n/a)

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1997
Where	AUSAI
Authors	Alessio Lomuscio, Mark Ryan

Comments (0)