nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Acknowledgements
|
|
|
1995 |
3 |
5 |
p. 813-813 |
artikel |
2 |
A Note on Probabilistic Validity Measure in Propositional Calculi
|
BORIČIĆ, BRANISLAV |
|
1995 |
3 |
5 |
p. 721-724 |
artikel |
3 |
A Short Proof of Representability of Fork Algebras
|
GYURIS, VIKTOR |
|
1995 |
3 |
5 |
p. 791-796 |
artikel |
4 |
Back and Forth Between Modal Logic and Classical Logic
|
ANDRÉKA, HAJNAL |
|
1995 |
3 |
5 |
p. 685-720 |
artikel |
5 |
Books Received
|
|
|
1995 |
3 |
5 |
p. 814-814 |
artikel |
6 |
Contrastive Logic
|
FRANCEZ, NISSIM |
|
1995 |
3 |
5 |
p. 725-744 |
artikel |
7 |
Forthcoming Papers
|
|
|
1995 |
3 |
5 |
p. 815-816 |
artikel |
8 |
IGPL/FoLLI Prize
|
PENTUS, MATI |
|
1995 |
3 |
5 |
p. 682-683 |
artikel |
9 |
Interest Group in Pure and Applied Logics (IGPL)
|
|
|
1995 |
3 |
5 |
p. 817-818 |
artikel |
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 |
artikel |
11 |
Nonstandard Queries and Nonstandard Answers
|
Demolombe, R. |
|
1995 |
3 |
5 |
p. 821-822 |
artikel |
12 |
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations
|
LI, RENWEI |
|
1995 |
3 |
5 |
p. 765-790 |
artikel |
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 |
artikel |
14 |
Reviews
|
SERRA-SÊCA-NETO, ADOLFO GUSTAVO |
|
1995 |
3 |
5 |
p. 811-812 |
artikel |
15 |
Strong Cut-Elimination for Constant Domain First-Order S5
|
WANSING, HEINRICH |
|
1995 |
3 |
5 |
p. 797-810 |
artikel |
16 |
The Bulletin turned into a Journal
|
GABBAY, DOV |
|
1995 |
3 |
5 |
p. 682-682 |
artikel |