Finite information logic
type: Item
instance of: scholarly article
title: Finite information logic
zbMATH Open document ID: 1067.03039
author: Rohit Parikh
author: Jouko Väänänen
published in: Annals of Pure and Applied Logic
publication date: 2005-06-01T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 2173067
zbMATH Keywords: Independence friendly logic
zbMATH Keywords: Partial information logic
zbMATH Keywords: Games for first-order logic
MaRDI profile type: Publication
full work available at URL: j.apal.2004.06.013
OpenAlex ID: W2070162939
cites work: An application of games to the completeness problem for formalized theories
cites work: Q3230355
cites work: Q4732440
cites work: Compositional semantics for a language of imperfect information
cites work: Q4362727
cites work: Social software
DOI: 10.1016/J.APAL.2004.06.013
description: scientific article; zbMATH DE number 2173067