On the semantics of informational independence

DOI10.1093/JIGPAL/10.3.339zbMath1005.03033OpenAlexW2070509093MaRDI QIDQ3147434

Jouko Väänänen

Publication date: 18 September 2002

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/379d9ecd922851ef0ac325eb3d8d90f9e9a42d1a

zbMATH Keywords

independence friendly logicEhrenfeucht-Fraïssé gamegame of perfect information

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (6)

Dependence of variables construed as an atomic formula ⋮ Semantic games with chance moves revisited: from IF logic to partial logic ⋮ Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies ⋮ On the formal semantics of IF-like logics ⋮ Thompson transformations for IF-logic ⋮ An Ehrenfeucht-Fraïssé game for Lω1ω

This page was built for publication: On the semantics of informational independence