On the logic of informational independence and its applications (Q1208148)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 166040
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the logic of informational independence and its applications |
scientific article; zbMATH DE number 166040 |
Statements
On the logic of informational independence and its applications (English)
0 references
16 May 1993
0 references
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.
0 references
modal logic
0 references
extension of first-order logic
0 references
semantical games of imperfect information
0 references
philosophy
0 references
theoretical linguistics
0 references
0.8461816906929016
0 references
0.8245490193367004
0 references
