| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Acknowledgements
|
|
|
1995
|
3 |
5 |
p. 813-813
|
article
|
| 2 |
A Note on Probabilistic Validity Measure in Propositional Calculi
|
BORIČIĆ, BRANISLAV
|
|
1995
|
3 |
5 |
p. 721-724
|
article
|
| 3 |
A Short Proof of Representability of Fork Algebras
|
GYURIS, VIKTOR
|
|
1995
|
3 |
5 |
p. 791-796
|
article
|
| 4 |
Back and Forth Between Modal Logic and Classical Logic
|
ANDRÉKA, HAJNAL
|
|
1995
|
3 |
5 |
p. 685-720
|
article
|
| 5 |
Books Received
|
|
|
1995
|
3 |
5 |
p. 814-814
|
article
|
| 6 |
Contrastive Logic
|
FRANCEZ, NISSIM
|
|
1995
|
3 |
5 |
p. 725-744
|
article
|
| 7 |
Forthcoming Papers
|
|
|
1995
|
3 |
5 |
p. 815-816
|
article
|
| 8 |
IGPL/FoLLI Prize
|
PENTUS, MATI
|
|
1995
|
3 |
5 |
p. 682-683
|
article
|
| 9 |
Interest Group in Pure and Applied Logics (IGPL)
|
|
|
1995
|
3 |
5 |
p. 817-818
|
article
|
| 10 |
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches
|
DE GUZMÁN, INMACULADA PÉREZ
|
|
1995
|
3 |
5 |
p. 745-764
|
article
|
| 11 |
Nonstandard Queries and Nonstandard Answers
|
Demolombe, R.
|
|
1995
|
3 |
5 |
p. 821-822
|
article
|
| 12 |
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations
|
LI, RENWEI
|
|
1995
|
3 |
5 |
p. 765-790
|
article
|
| 13 |
3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96) and Brazilian Conference on Mathematical Logic (EBL'96)
|
|
|
1995
|
3 |
5 |
p. 819-820
|
article
|
| 14 |
Reviews
|
SERRA-SÊCA-NETO, ADOLFO GUSTAVO
|
|
1995
|
3 |
5 |
p. 811-812
|
article
|
| 15 |
Strong Cut-Elimination for Constant Domain First-Order S5
|
WANSING, HEINRICH
|
|
1995
|
3 |
5 |
p. 797-810
|
article
|
| 16 |
The Bulletin turned into a Journal
|
GABBAY, DOV
|
|
1995
|
3 |
5 |
p. 682-682
|
article
|
Journal description