1 Search Results for "Bradfield, Julian"

Document

DOI: 10.4230/LIPIcs.CSL.2013.116

Team building in dependence

Authors: Julian Bradfield

Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)

Abstract

Hintikka and Sandu's Independence-Friendly Logic was introduced as a logic for partially ordered quantification, in which the independence of (existential) quantifiers from previous (universal) quantifiers is written by explicit syntax. It was originally given a semantics by games of imperfect information; Hodges then gave a (necessarily) second-order Tarskian semantics. More recently, Väänänen (2007) has proposed that the many curious features of IF logic can be better understood in his Dependence Logic, in which the (in)dependence of variables is stated in atomic formula, rather than by changing the definition of quantifier; he gives semantics in Tarskian form, via imperfect information games, and via a routine second-order perfect information game. He then defines Team Logic, where classical negation is added to the mix, resulting in a full second-order expressive logic. He remarks that no game semantics appears possible (other than by playing at second order). In this article, we explore an alternative approach to game semantics for DL, where we avoid imperfect information, yet stay locally apparently first-order, by sweeping the second-order information into longer games (infinite games in the case of countable models). Extending the game to Team Logic is not possible in standard games, but we conjecture a move to transfinite games may achieve a 'natural' game for Team Logic.

Cite as

Julian Bradfield. Team building in dependence. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 116-128, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{bradfield:LIPIcs.CSL.2013.116,
  author =	{Bradfield, Julian},
  title =	{{Team building in dependence}},
  booktitle =	{Computer Science Logic 2013 (CSL 2013)},
  pages =	{116--128},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-60-6},
  ISSN =	{1868-8969},
  year =	{2013},
  volume =	{23},
  editor =	{Ronchi Della Rocca, Simona},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.116},
  URN =		{urn:nbn:de:0030-drops-41935},
  doi =		{10.4230/LIPIcs.CSL.2013.116},
  annote =	{Keywords: partially ordered quantification, independence-friendly logic, game semantics}
}

Refine by Author
1 Bradfield, Julian

Refine by Classification

Refine by Keyword
1 game semantics
1 independence-friendly logic
1 partially ordered quantification

Refine by Type
1 document

Refine by Publication Year
1 2013

1 Search Results for "Bradfield, Julian"

Team building in dependence

Abstract

Cite as

Thanks for your feedback!

Could not send message