#### Filter Results:

- Full text PDF available (10)

#### Publication Year

2002

2016

- This year (0)
- Last 5 years (5)
- Last 10 years (12)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

In this article two game-theoretically flavored approaches to logic are systematically compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz, and the game-theoretical semantics of Jaakko Hintikka. For classical Propositional logic and for classical First-order logic, an exact connection between ‘intuitionistic dialogues with hypotheses’ and… (More)

- Shahid Rahman, Tero Tulenheimo
- Games: Unifying Logic, Language, and Philosophy
- 2009

- Tero Tulenheimo, Merlijn Sevenster
- Advances in Modal Logic
- 2006

- Tero Tulenheimo
- Advances in Modal Logic
- 2002

- Merlijn Sevenster, Tero Tulenheimo
- CiE
- 2006

- S. Rahman, J. Symons, T. Tulenheimo, M. Gruber
- Logic, Epistemology, and the Unity of Science
- 2004

Logic, Epistemology, and the Unity of Science aims to reconsider the question of the unity of science in light of recent developments in logic. At present, no single logical, semantical or methodological framework dominates the philosophy of science. However, the editors of this series believe that formal techniques like, for example, independence friendly… (More)

- Tapani Hyttinen, Tero Tulenheimo
- Advances in Modal Logic
- 2004

The aim of the present paper is to discuss two different approaches for formulating independence friendly (IF) modal logic. In one of them, the language of basic modal logic is enriched with the slash notation familiar from IF first-order logics, and the resulting logic is interpreted in terms of games and uniform strategies. A different approach is… (More)

In the present article a study of the finite model theory of Henkin quantifiers with boolean variables [5], a.k.a. partially ordered connectives [28], is undertaken. The logic of first-order formulae prefixed by partially ordered connectives, denoted D, is considered on finite structures. D is characterized as a fragment of second-order existential logic… (More)

- Tero Tulenheimo
- Synthese
- 2016