Volume 92; Issue 1

Main
Studia Logica
Volume 92; Issue 1

Studia Logica

Volume 92; Issue 1

1

Multi-Modal CTL: Completeness, Complexity, and an Application

Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge

Journal:

Year:

2009

Language:

english

File:

PDF, 331 KB

english, 2009

2

Giles’s Game and the Proof Theory of Łukasiewicz Logic

Christian G. Fermüller, George Metcalfe

Journal:

Year:

2009

Language:

english

File:

PDF, 453 KB

english, 2009

3

Commuting Conversions vs. the Standard Conversions of the “Good” Connectives

Fernando Ferreira, Gilda Ferreira

Journal:

Year:

2009

Language:

english

File:

PDF, 267 KB

english, 2009

4

The Tense Logic for Master Argument in Prior’s Reconstruction

Tomasz Jarmużek, Andrzej Pietruszczak

Journal:

Year:

2009

File:

PDF, 519 KB

2009

5

Quasivarieties with Definable Relative Principal Subcongruences

A. M. Nurakunov, M. M. Stronkowski

Journal:

Year:

2009

Language:

english

File:

PDF, 222 KB

english, 2009

6

On Conservative Extensions in Logics with Infinitary Predicates

Miklós Ferenczi

Journal:

Year:

2009

Language:

english

File:

PDF, 227 KB

english, 2009

7

Book Reviews

Journal:

Year:

2009

File:

PDF, 154 KB

2009

8

Commuting Conversions vs. The Standard Conversions of the "Good" Connectives

Fernando Ferreira and Gilda Ferreira

Journal:

Year:

2009

Language:

english

File:

PDF, 1.29 MB

english, 2009

9

Multi-Modal CTL: Completeness, Complexity, and an Application

Thomas Ågotnes, Wiebe Van Der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra and Michael Wooldridge

Journal:

Year:

2009

Language:

english

File:

PDF, 2.44 MB

english, 2009

10

Giles's Game and the Proof Theory of Łukasiewicz Logic

Christian G. Fermüller and George Metcalfe

Journal:

Year:

2009

Language:

english

File:

PDF, 3.32 MB

english, 2009

11

Quasivarieties with Definable Relative Principal Subcongruences

A. M. Nurakunov and M. M. Stronkowski

Journal:

Year:

2009

Language:

english

File:

PDF, 1.16 MB

english, 2009

12

The Tense Logic for Master Argument in Prior's Reconstruction

Tomasz Jarmużek and Andrzej Pietruszczak

Journal:

Year:

2009

Language:

english

File:

PDF, 1.85 MB

english, 2009

13

The Philosophy of Mathematical Practiceby Paolo Mancosu

Review by: Jessica Carter

Journal:

Year:

2009

Language:

english

File:

PDF, 818 KB

english, 2009

14

On Conservative Extensions in Logics with Infinitary Predicates

Miklós Ferenczi

Journal:

Year:

2009

Language:

english

File:

PDF, 1.35 MB

english, 2009

15

Front Matter

Journal:

Year:

2009

Language:

english

File:

PDF, 384 KB

english, 2009

16

Back Matter

Journal:

Year:

2009

Language:

english

File:

PDF, 1.50 MB

english, 2009