Logic Journal of IGPL

Articles

A Montanari, A Policriti, and Y Venema

Editorial
Logic Jnl IGPL 1999 7: 5-6; doi:10.1093/jigpal/7.1.5 [PDF] [Request Permissions]  

J van Benthem

Temporal patterns and modal structure
Logic Jnl IGPL 1999 7: 7-26; doi:10.1093/jigpal/7.1.7 [Abstract] [PDF] [Request Permissions]  

P Blackburn and M Tzakova

Hybrid languages and temporal logic
Logic Jnl IGPL 1999 7: 27-54; doi:10.1093/jigpal/7.1.27 [Abstract] [PDF] [Request Permissions]  

DR Dams

Flat fragments of CTL and CTL: separating the expressive and distinguishing powers
Logic Jnl IGPL 1999 7: 55-78; doi:10.1093/jigpal/7.1.55 [Abstract] [PDF] [Request Permissions]  

A Montanari, A Peron, and A Policriti

Theories of -layered metric temporal structures: expressiveness and decidability
Logic Jnl IGPL 1999 7: 79-102; doi:10.1093/jigpal/7.1.79 [Abstract] [PDF] [Request Permissions]  

C Stirling

Bisimulation, modal logic and model checking games
Logic Jnl IGPL 1999 7: 103-124; doi:10.1093/jigpal/7.1.103 [Abstract] [PDF] [Request Permissions]  

A Zanardo, B Barcellan, and M Reynolds

Non-definability of the class of complete bundled trees
Logic Jnl IGPL 1999 7: 125-136; doi:10.1093/jigpal/7.1.125 [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.