|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Correction to: A Modal View on Resource-Bounded Propositional Logics |
Pardo, Pere |
|
110 | 6 |
p. 1537-1538 |
artikel |
|
| 2 | Logics of Order and Related Notions |
Czelakowski, Janusz |
|
110 | 6 |
p. 1417-1464 |
artikel |
|
| 3 | Loop-Check Specification for a Sequent Calculus of Temporal Logic |
Alonderis, Romas |
|
110 | 6 |
p. 1507-1536 |
artikel |
|
| 4 | Natural Deduction Systems for Intuitionistic Logic with Identity |
Chlebowski, Szymon |
|
110 | 6 |
p. 1381-1415 |
artikel |
|
| 5 | On Relative Principal Congruences in Term Quasivarieties |
San Martín, Hernán Javier |
|
110 | 6 |
p. 1465-1491 |
artikel |
|
| 6 | On the Proof Theory of Infinitary Modal Logic |
Tesi, Matteo |
|
110 | 6 |
p. 1349-1380 |
artikel |
|
| 7 | The G4i Analogue of a G3i Sequent Calculus |
Iemhoff, Rosalie |
|
110 | 6 |
p. 1493-1506 |
artikel |
7 gevonden resultaten