Logic Journal of IGPL

Articles

DOV GABBAY, HANS JÜRGEN OHLBACH, and RUY de QUEIROZ

The Bulletin turned into a Journal
Logic Jnl IGPL 1995 3: 682; doi:10.1093/jigpal/3.5.682 [PDF] [Request Permissions]  

MATI PENTUS

IGPL/FoLLI Prize
Logic Jnl IGPL 1995 3: 682-683; doi:10.1093/jigpal/3.5.682-a [PDF] [Request Permissions]  

HAJNAL ANDRÉKA, JOHAN van BENTHEM, and ISTVAN NÉMETI

Back and Forth Between Modal Logic and Classical Logic
Logic Jnl IGPL 1995 3: 685-720; doi:10.1093/jigpal/3.5.685 [PDF] [Request Permissions]  

BRANISLAV BORICIC

A Note on Probabilistic Validity Measure in Propositional Calculi
Logic Jnl IGPL 1995 3: 721-724; doi:10.1093/jigpal/3.5.721 [Abstract] [PDF] [Request Permissions]  

NISSIM FRANCEZ

Contrastive Logic
Logic Jnl IGPL 1995 3: 725-744; doi:10.1093/jigpal/3.5.725 [Abstract] [PDF] [Request Permissions]  

INMACULADA PÉREZ DE GUZMÁN and CARLOS ROSSI

LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches
Logic Jnl IGPL 1995 3: 745-764; doi:10.1093/jigpal/3.5.745 [Abstract] [PDF] [Request Permissions]  

RENWEI LI and JOSÉ CARMO

On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations
Logic Jnl IGPL 1995 3: 765-790; doi:10.1093/jigpal/3.5.765 [Abstract] [PDF] [Request Permissions]  

VIKTOR GYURIS

A Short Proof of Representability of Fork Algebras
Logic Jnl IGPL 1995 3: 791-796; doi:10.1093/jigpal/3.5.791 [Abstract] [PDF] [Request Permissions]  

HEINRICH WANSING

Strong Cut-Elimination for Constant Domain First-Order S5
Logic Jnl IGPL 1995 3: 797-810; doi:10.1093/jigpal/3.5.797 [Abstract] [PDF] [Request Permissions]  

ADOLFO GUSTAVO SERRA-SÊCA-NETO

Reviews
Logic Jnl IGPL 1995 3: 811; doi:10.1093/jigpal/3.5.811 [PDF] [Request Permissions]  

Acknowledgements
Logic Jnl IGPL 1995 3: 813; doi:10.1093/jigpal/3.5.813 [PDF] [Request Permissions]  

Books Received
Logic Jnl IGPL 1995 3: 814; doi:10.1093/jigpal/3.5.814 [PDF] [Request Permissions]  

Forthcoming Papers
Logic Jnl IGPL 1995 3: 815-816; doi:10.1093/jigpal/3.5.815 [PDF] [Request Permissions]  

Interest Group in Pure and Applied Logics (IGPL)
Logic Jnl IGPL 1995 3: 817-818; doi:10.1093/jigpal/3.5.817 [PDF] [Request Permissions]  

3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96) and Brazilian Conference on Mathematical Logic (EBL'96)
Logic Jnl IGPL 1995 3: 819-820; doi:10.1093/jigpal/3.5.819 [PDF] [Request Permissions]  

R. Demolombe and T. Imielinski

Nonstandard Queries and Nonstandard Answers
Logic Jnl IGPL 1995 3: 821-822; doi:10.1093/jigpal/3.5.821 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.