Logic Journal of the IGPL logo Oxford University Press logo

Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.

Publisher: Oxford University Press

Volume 14, Number 1, 15 January 2006
Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content

< previous issue | next issue > | all issues

On some questions of L. Åqvist
pp. 1-13(13)
Authors: Ardeshir, Mohammad; Nabavi, Fateme

Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
pp. 15-34(20)
Author: Calardo, Erica

A Minimal Hybrid Logic for Intervals
pp. 35-62(28)
Author: Hussain, Altaf

S4 is Topologically Complete for (0,1): a Short Proof
pp. 63-71(9)
Author: Mints, Grigori

Partially-Elementary Extension Kripke Models: A Characterization and Applications
pp. 73-86(14)
Authors: Połacik, Tomasz

Independence Results in Algebraic Logic
pp. 87-96(10)
Author: Sayed-Ahmed, Tarek

Acknowledgements
pp. 97-97(1)

< previous issue | next issue > | all issues

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages.
Page Help Click here for Page Help
Shopping cart
Tools
Sign in






Need to register?
Sign up here
Text size: A | A | A | A