Logic Journal of IGPL

Articles

Jim Cunningham

Editorial
Logic Jnl IGPL 1996 4: 353; doi:10.1093/jigpal/4.3.353 [PDF] [Request Permissions]  

SVEN-ERIK BORNSCHEUER and MICHAEL THIELSCHER

Representing Concurrent Actions and Solving Conflicts
Logic Jnl IGPL 1996 4: 355-368; doi:10.1093/jigpal/4.3.355 [Abstract] [PDF] [Request Permissions]  

ROBERT DEMOLOMBE and ANDREW J. I. JONES

Integrity Constraints Revisited
Logic Jnl IGPL 1996 4: 369-383; doi:10.1093/jigpal/4.3.369 [Abstract] [PDF] [Request Permissions]  

Dov M. Gabbay, Laura Giordano, Alberto Martelli, and Nicola Olivetti

A Language for Handling Hypothetical Updates and Inconsistency
Logic Jnl IGPL 1996 4: 385-416; doi:10.1093/jigpal/4.3.385 [Abstract] [PDF] [Request Permissions]  

OLIVIER GASQUET

Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics
Logic Jnl IGPL 1996 4: 417-426; doi:10.1093/jigpal/4.3.417 [Abstract] [PDF] [Request Permissions]  

ANDREW J. I. JONES and MAREK SERGOT

A Formal Characterisation of Institutionalised Power
Logic Jnl IGPL 1996 4: 427-443; doi:10.1093/jigpal/4.3.427 [Abstract] [PDF] [Request Permissions]  

JOCHEN PFALZGRAF, UTE CORNELIA SIGMUND, and KAREL STOKKERMANS

Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios
Logic Jnl IGPL 1996 4: 445-472; doi:10.1093/jigpal/4.3.445 [Abstract] [PDF] [Request Permissions]  

RUY J.G.B. de QUEIROZ

Conferences
Logic Jnl IGPL 1996 4: 473-527; doi:10.1093/jigpal/4.3.473 [PDF] [Request Permissions]  

Acknowledgements
Logic Jnl IGPL 1996 4: 528; doi:10.1093/jigpal/4.3.528 [PDF] [Request Permissions]  

Interest Group in Pure and Applied Logics (IGPL)
Logic Jnl IGPL 1996 4: 529-530; doi:10.1093/jigpal/4.3.529 [PDF] [Request Permissions]  

Subscription
Logic Jnl IGPL 1996 4: 531; doi:10.1093/jigpal/4.3.531 [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.