On the semantics of informational independence

13 years 4 months ago

Download www.math.helsinki.fi

The semantics of the independence friendly logic of Hintikka and Sandu is usually defined via a game of imperfect information. We give a definition in terms of a game of perfect information. We also give an Ehrenfeucht-Fra

Jouko A. Väänänen

Real-time Traffic

Distributive Normal Form | Game | IGPL 2002 | Independence Friendly Logic |

claim paper

» Interpretation of Nominal Compounds Combining DomainIndependent and DomainSpecific Informa...

» On Realizing Transformation Independence in Open Distributed Multimedia Information System...

» Independence and Functional Dependence Relations on Secrets

» Feature Extraction of Concepts by Independent Component Analysis

» Independent Choices and the Interpretation of IF Logic

» Automatic Construction of a Semantic DomainIndependent Knowledge Base

» Serviceoriented Semantic Collaboration in Distributed Information Systems

» Independence and Concurrent Separation Logic

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2002
Where	IGPL
Authors	Jouko A. Väänänen

Comments (0)

Sciweavers

On the semantics of informational independence

Distributive Normal Form | Game | IGPL 2002 | Independence Friendly Logic |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers