Logic Journal of IGPL

Articles

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

Editorial
Logic Jnl IGPL 1995 3: 4-6; doi:10.1093/jigpal/3.1.4 [PDF] [Request Permissions]  

JON BARWISE, DOV GABBAY, and CHRYSAFIS HARTONAS

On the Logic of Information Flow
Logic Jnl IGPL 1995 3: 7-50; doi:10.1093/jigpal/3.1.7 [Abstract] [PDF] [Request Permissions]  

MURAT ERSAN and VAROL AKMAN

Situated Modeling of Epistemic Puzzles
Logic Jnl IGPL 1995 3: 51-76; doi:10.1093/jigpal/3.1.51 [Abstract] [PDF] [Request Permissions]  

ROBIN HIRSCH

Completely Representable Relation Algebras
Logic Jnl IGPL 1995 3: 77-92; doi:10.1093/jigpal/3.1.77 [Abstract] [PDF] [Request Permissions]  

I. NÉMETI, I. SAIN, and A. SIMON

Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators
Logic Jnl IGPL 1995 3: 93-105; doi:10.1093/jigpal/3.1.93 [Abstract] [PDF] [Request Permissions]  

HOWARD C. WASSERMAN, KEITARO YUKAWA, and ZHIZHANG SHEN

The Essential Inadequacy of Deduction in Logic Programming
Logic Jnl IGPL 1995 3: 107-110; doi:10.1093/jigpal/3.1.107 [PDF] [Request Permissions]  

KARL SCHLECHTA

Some Completeness Results for Propositional Conditional Logics
Logic Jnl IGPL 1995 3: 111-115; doi:10.1093/jigpal/3.1.111 [Abstract] [PDF] [Request Permissions]  

ARNON AVRON

Reviews
Logic Jnl IGPL 1995 3: 117-123; doi:10.1093/jigpal/3.1.117 [PDF] [Request Permissions]  

Workshop on Logic, Language, Information and Computation (WoLLIC) '94
Logic Jnl IGPL 1995 3: 124-146; doi:10.1093/jigpal/3.1.124 [PDF] [Request Permissions]  

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

Book Received
Logic Jnl IGPL 1995 3: 148; doi:10.1093/jigpal/3.1.148 [PDF] [Request Permissions]  

Forthcoming Papers
Logic Jnl IGPL 1995 3: 149-150; doi:10.1093/jigpal/3.1.149 [PDF] [Request Permissions]  

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

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

International Conference on Formal and Applied Practical Reasoning (FAPR)
Logic Jnl IGPL 1995 3: 153-154; doi:10.1093/jigpal/3.1.153 [PDF] [Request Permissions]  

Third International Workshop on Deontic Logic in Computer Science (DEON '96)
Logic Jnl IGPL 1995 3: 155-157; doi:10.1093/jigpal/3.1.155 [PDF] [Request Permissions]  

Formal Grammar
Logic Jnl IGPL 1995 3: 158; doi:10.1093/jigpal/3.1.158 [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.