• Publications
  • Influence
Formal methods in the study of language
  • 696
  • 15
Foundations and applications of Montague grammar
  • 134
  • 13
Equivalence and quantifier rules for logic with imperfect information
TLDR
In this paper, we present a prenex form theorem for a version of Independence Friendly logic, a logic with imperfect information. Expand
  • 40
  • 6
  • PDF
Independent Choices and the Interpretation of IF Logic
  • T. Janssen
  • Computer Science, Mathematics
  • J. Log. Lang. Inf.
  • 1 June 2002
TLDR
In this paper it is argued that Hintikka's game theoreticalsemantics for Independence Friendly logic does not formalize theintuitions about independent choices; it rather is aformalization of imperfect information. Expand
  • 31
  • 4
  • PDF
Frege, Contextuality and Compositionality
  • T. Janssen
  • Mathematics, Computer Science
  • J. Log. Lang. Inf.
  • 30 January 2001
There are two principles which bear the name “Frege'sprinciple:” the principle of compositionality, and the contextprinciple. The aim of this contribution is to investigate whether thisis justified:Expand
  • 69
  • 3
  • PDF
The Visual grammar of Information Graphics
  • 16
  • 2
Signalling in IF games: a tricky business
The paper studies the phenomenon of signalling in logics for imperfect information, such as Hintikka’s IF logic. It is shown that signalling is a phenomenon that at the one hand is essential for theExpand
  • 16
  • 2
  • PDF
...
1
2
3
4
5
...