On the logic of informational independence and its applications
type: Item
instance of: scholarly article
title: On the logic of informational independence and its applications
zbMATH Open document ID: 0764.03009
DOI: 10.1007/BF01049180
author: Gabriel Sandu
published in: Journal of Philosophical Logic
publication date: 1993-05-16T00:00:00Z
review text: I introduce a language which is an extension of an ordinary first-order language and is obtained in the following way: in addition to the usual first-order formulas, there will be formulas whose logical constants are not linearly ordered. This language will be interpreted via semantical games of imperfect information. Such games are defined in the same way as the games for ordinary first-order formulas, except that the players do not have complete information during the course of the game. Some simple properties of the arising logic will be given together with a set of applications in philosophy and theoretical linguistics.
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 166040
zbMATH Keywords: modal logic
zbMATH Keywords: extension of first-order logic
zbMATH Keywords: semantical games of imperfect information
zbMATH Keywords: philosophy
zbMATH Keywords: theoretical linguistics
MaRDI profile type: Publication
cites work: On branching quantifiers in English
cites work: Q3714043
cites work: Quantifiers vs. Quantification Theory
cites work: Q4192032
cites work: Q4732440
cites work: On the semantics of the Henkin quantifier
cites work: Q5844986
cites work: Finite partially-ordered quantification
full work available at URL: https://doi.org/10.1007/bf01049180
OpenAlex ID: W1977394840
description: scientific article; zbMATH DE number 166040