Logic Journal of IGPL

Articles

S Celani and R Jansana

Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
Logic Jnl IGPL 1999 7: 683-715; doi:10.1093/jigpal/7.6.683 [Abstract] [PDF] [Request Permissions]  

P Dellunde

Equality-free logic: the method of diagrams and preservation theorems
Logic Jnl IGPL 1999 7: 717-732; doi:10.1093/jigpal/7.6.717 [Abstract] [PDF] [Request Permissions]  

C Fiorentini and P Miglioli, Dec

A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
Logic Jnl IGPL 1999 7: 733-753; doi:10.1093/jigpal/7.6.733 [Abstract] [PDF] [Request Permissions]  

M Marx, S Mikulàs, and S Schlobach

Tableau calculus for local cubic modal logic and its implementation
Logic Jnl IGPL 1999 7: 755-778; doi:10.1093/jigpal/7.6.755 [Abstract] [PDF] [Request Permissions]  

C Morgan and AK McIver

An expectation-transformer model for probabilistic temporal logic
Logic Jnl IGPL 1999 7: 779-804; doi:10.1093/jigpal/7.6.779 [Abstract] [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.