Shopping cart
Journal of Logic and Computation
ISSN 0955-792X, Online ISSN: 1465-363X
Visit publication homepage
The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, cincurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.
Publisher: Oxford University Press
- Volume 22
- Number 1, 6 February 2012
- Volume 21
- Number 6, 19 December 2011
- Number 5, 17 October 2011
- Number 4, 17 August 2011
- Number 3, 26 June 2011
- Number 2, 24 April 2011
- Number 1, 21 February 2011
- Volume 20
- Number 6, 11 December 2010
- Number 5, 22 October 2010
- Number 4, 22 August 2010
- Number 3, 27 June 2010
- Number 2, 6 April 2010
- Number 1, 13 February 2010
- Volume 19
- Number 6, 20 December 2009
- Number 5, 6 October 2009
- Number 4, 6 August 2009
- Number 3, 27 June 2009
- Number 2, 21 April 2009
- Number 1, 20 February 2009
- Volume 18
- Number 6, 27 December 2008
- Number 5, 15 October 2008
- Number 4, 21 August 2008
- Number 3, 13 June 2008
- Number 2, 16 April 2008
- Number 1, 4 February 2008
- Volume 17
- Number 6, December 2007
- Number 5, 21 October 2007
- Number 4, 27 August 2007
- Volume 16
- Number 5, October 2006
- Number 4, August 2006
- Number 3, June 2006
- Number 2, April 2006
- Number 1, February 2006
- Volume 15
- Number 6, December 2005
- Number 5, October 2005
- Number 4, August 2005
- Number 3, June 2005
- Number 2, April 2005
- Number 1, February 2005
- Volume 14
- Number 6, December 2004
- Number 5, October 2004
- Number 4, August 2004
- Number 3, June 2004
- Number 2, April 2004
- Number 1, February 2004
- Volume 13
- Number 6, December 2003
- Number 5, October 2003
- Number 4, August 2003
- Number 3, June 2003
- Number 2, April 2003
- Number 1, February 2003
- Volume 12
- Number 6, December 2002
- Number 5, October 2002
- Number 4, August 2002
- Number 3, June 2002
- Number 2, April 2002
- Number 1, February 2002
- Volume 11
- Number 6, 1 December 2001
- Number 5, 1 October 2001
- Number 4, 1 August 2001
- Number 3, 1 June 2001
- Number 2, 1 April 2001
- Number 1, 1 February 2001
- Volume 10
- Number 6, December 2000
- Number 5, October 2000
- Number 4, August 2000
- Number 3, June 2000
- Number 2, April 2000
- Number 1, February 2000
- Volume 9
- Number 6, 1 December 1999
- Number 5, October 1999
- Number 4, August 1999
- Number 3, 1 June 1999
- Number 2, April 1999
- Number 1, February 1999
Tools
Receive new issue alert
RSS for latest issueKey
Print this page