scientific article; zbMATH DE number 1361517
From MaRDI portal
Publication:4699335
zbMath0935.03048MaRDI QIDQ4699335
Michał Krynicki, Xavier Caicedo
Publication date: 10 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
expressive powerprenex normal form theoremimperfect information logicimperfect information gamesfirst-order logic with Hintikka-Sandu quantifiersgame equivalenceimperfect information connectivessecond-order existential logic
2-person games (91A05) Applications of game theory (91A80) Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75)
Related Items (8)
Truth and definite truth ⋮ Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies ⋮ Henkin quantifiers and the definability of truth ⋮ Complexity of syntactical tree fragments of independence-friendly logic ⋮ A remark on Henkin sentences and their contraries ⋮ On the formal semantics of IF-like logics ⋮ Thompson transformations for IF-logic ⋮ Independence-friendly logic without Henkin quantification
This page was built for publication:
