Highly Downloaded Articles - FREE online
Teaching and Learning Logic in a Virtual Learning Environment
Antonia Huertas
Practical reasoning for very expressive description logics
Horrocks, U Sattler, and S Tobies
A Formal Logic for Abductive Reasoning
Joke Meheus, Diderik Batens
Cut-Based Abduction
Marcello D'Agostino, Marcelo Finger, Dov Gabbay
A Sound and Complete Deductive System for CTL* Verification
Dov M. Gabbay and Amir Pnueli
Equivalence and quantifier rules for logic with imperfect information
Xavier Caicedo, Francien Dechesne, Theo M.V. Janssen
Naming and Diagonalization, from Cantor to Gödel to Kleene
Haim Gaifman
An Indian logic-based argument representation formalism for knowledge-sharing
G.S. Mahalakshmi, T.V. Geetha
Abduction with Dialogical and Trialogical Means
Sami Paavola, Kai Hakkarainen, Matti Sintonen
The Journal
- About this journal
- Rights & Permissions
- Dispatch date of the next issue
- We are mobile – find out more
Impact factor: 0.913
5-Yr impact factor: 0.482
Editor-in-Chief
Dov Gabbay, UK
- View full editorial board
For Authors
- Self-archiving policy
- Instructions to Authors
Alerting Services
- Email table of contents
- Email Advance Access
- CiteTrack
- XML RSS feed
- PDA Access
Corporate Services
- Advertising sales
- Reprints
- Supplements