Wansing, Heinrich Strong cut-elimination for constant domain first-order S5. (English) Zbl 0835.03022 J. IGPL 3, No. 5, 797-810 (1995). Reviewer: B.Boričić (Heraklion) MSC: 03F05 03B45 × Cite Format Result Cite Review PDF
Gyuris, Viktor A short proof of representability of fork algebras. (English) Zbl 0838.03047 J. IGPL 3, No. 5, 791-796 (1995). MSC: 03G15 68Q60 × Cite Format Result Cite Review PDF
Li, Renwei; Carmo, José On completeness of a positional interval logic with equality, overlap and subinterval relations. (English) Zbl 0838.03015 J. IGPL 3, No. 5, 765-799 (1995). MSC: 03B45 68P15 68T27 × Cite Format Result Cite Review PDF
Pérez de Guzmán, Immaculada; Rossi, Carlos LNint: A temporal logic that combines points and intervals and the absolute and relative approaches. (English) Zbl 0838.03013 J. IGPL 3, No. 5, 745-764 (1995). Reviewer: D.Gruska (Bratislava) MSC: 03B45 × Cite Format Result Cite Review PDF
Francez, Nissim Contrastive logic. (English) Zbl 0838.03024 J. IGPL 3, No. 5, 725-744 (1995). MSC: 03B60 03B65 × Cite Format Result Cite Review PDF
Boričić, Branislav A note on probabilistic validity measure in propositional calculi. (English) Zbl 0841.03021 J. IGPL 3, No. 5, 721-724 (1995). Reviewer: R.Wallace Garden (Thames) MSC: 03C80 03B48 03B55 03B20 × Cite Format Result Cite Review PDF
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan Back and forth between modal logic and classical logic. (English) Zbl 0840.03010 J. IGPL 3, No. 5, 685-720 (1995). Reviewer: S.Miura (Okazaki/Aichi) MSC: 03B45 × Cite Format Result Cite Review PDF