Skip Navigation

Journal of Logic and Computation Advance Access

Journal of Logic and Computation Advance Access articles are papers that have been copyedited and typeset but not yet paginated for inclusion in an issue of the journal. More information, including how to cite Advance Access papers, can be found on the Advance Access page.

Advance Access Articles By Category [View by date]

Go to section ORIGINAL PAPERSORIGINAL PAPERS
Go to section CALL FOR PAPERS: COALGEBRA & LOGICCALL FOR PAPERS: COALGEBRA & LOGIC

To see an article, click its [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.

ORIGINAL PAPERSGo to top of the page

Original Papers
Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido
Logical Weak Completions of Paraconsistent Logics
Journal of Logic and Computation Advance Access published on May 9, 2008.
doi:10.1093/logcom/exn015
[Abstract] [PDF] [References] [Request Permissions]  

Original Papers
Evgeny Yu. Sherkhonov
Modal Operators over Constructive Logic
Journal of Logic and Computation Advance Access published on May 5, 2008.
doi:10.1093/logcom/exn016
[Abstract] [PDF] [References] [Request Permissions]  

Original Papers
Jon Williamson
Aggregating Judgements by Merging Evidence
Journal of Logic and Computation Advance Access published on May 2, 2008.
doi:10.1093/logcom/exn011
[Abstract] [PDF] [References] [Request Permissions]  

Original Papers
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, and Toby Walsh
Aggregating Partially Ordered Preferences
Journal of Logic and Computation Advance Access published on April 30, 2008.
doi:10.1093/logcom/exn012
[Abstract] [PDF] [References] [Request Permissions]  

Original Papers
Konstantinos Georgatos
Geodesic Revision
Journal of Logic and Computation Advance Access published on April 27, 2008.
doi:10.1093/logcom/exn008
[Abstract] [PDF] [References] [Request Permissions]  

Original Papers
Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, and Cristina Sernadas
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Journal of Logic and Computation Advance Access published on April 23, 2008.
doi:10.1093/logcom/exn014
[Abstract] [PDF] [References] [Request Permissions]  

Original Papers
Ariel Arbiser
The Expansion Problem in Lambda Calculi with Explicit Substitution
Journal of Logic and Computation Advance Access published on April 23, 2008.
doi:10.1093/logcom/exn007
[Abstract] [PDF] [References] [Request Permissions]  

Original Papers
Loïc Colson and David Michel
Pedagogical Second-order Propositional Calculi
Journal of Logic and Computation Advance Access published on April 22, 2008.
doi:10.1093/logcom/exn001
[Abstract] [PDF] [References] [Request Permissions]  

Original Papers
Matthias Baaz and Norbert Preining
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type {omega}
Journal of Logic and Computation Advance Access published on April 14, 2008.
doi:10.1093/logcom/exn004
[Abstract] [PDF] [References] [Request Permissions]  

Original Papers
Yi Jin and Michael Thielscher
Reinforcement Belief Revision
Journal of Logic and Computation Advance Access published on April 10, 2008.
doi:10.1093/logcom/exm094
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Carlo Meghini and Nicolas Spyratos
Synthesizing Monadic Predicates
Journal of Logic and Computation Advance Access published on April 5, 2008.
doi:10.1093/logcom/exn006
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Francisco J. Valverde-Albacete
Extracting Frame-Semantics Knowledge using Lattice Theory
Journal of Logic and Computation Advance Access published on April 4, 2008.
doi:10.1093/logcom/exm069
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Torben Braüner
Adding Intensional Machinery to Hybrid Logic
Journal of Logic and Computation Advance Access published on March 13, 2008.
doi:10.1093/logcom/exn005
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Isaac Levi
Degrees of Belief
Journal of Logic and Computation Advance Access published on March 4, 2008.
doi:10.1093/logcom/exm096
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Richard Booth and Alexander Nittka
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
Journal of Logic and Computation Advance Access published on March 4, 2008.
doi:10.1093/logcom/exm091
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Eduardo FermÉ, MartÍn Krevneris, and MaurÍcio Reis
An Axiomatic Characterization of Ensconcement-Based Contraction
Journal of Logic and Computation Advance Access published on February 15, 2008.
doi:10.1093/logcom/exm093
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Morteza Moniri
On the Hierarchy of Intuitionistic Bounded Arithmetic
Journal of Logic and Computation Advance Access published on February 6, 2008.
doi:10.1093/logcom/exn003
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Dimitar P. Guelev
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
Journal of Logic and Computation Advance Access published on February 6, 2008.
doi:10.1093/logcom/exn002
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Didier Dubois
Three Scenarios for the Revision of Epistemic States
Journal of Logic and Computation Advance Access published on February 1, 2008.
doi:10.1093/logcom/exm092
[PDF] [References] [Request Permissions]  

Original papers
V Rybakov
Multi-modal and Temporal Logics with Universal Formula---Reduction of Admissibility to Validity and Unification
Journal of Logic and Computation Advance Access published on January 8, 2008.
doi:10.1093/logcom/exm078
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Ryo Kashima and Keishi Okamoto
General Models and Completeness of First-Order Modal µ-calculus
Journal of Logic and Computation Advance Access published on January 8, 2008.
doi:10.1093/logcom/exm077
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Heinrich Wansing
Editorial and call for papers
Journal of Logic and Computation Advance Access published on January 8, 2008.
doi:10.1093/logcom/exm076
[PDF] [References] [Request Permissions]  

Original papers
Ernst Zimmermann
Lambek Calculus in Natural Deduction
Journal of Logic and Computation Advance Access published on December 21, 2007.
doi:10.1093/logcom/exm084
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Giovanna D'Agostino and Giacomo Lenzi
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
Journal of Logic and Computation Advance Access published on December 21, 2007.
doi:10.1093/logcom/exm085
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
H. P. van Ditmarsch, J. Ruan, and R. Verbrugge
Sum and Product in Dynamic Epistemic Logic
Journal of Logic and Computation Advance Access published on December 21, 2007.
doi:10.1093/logcom/exm081
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Allan Ramsay and Debora Field
Speech Acts, Epistemic Planning and Grice's Maxims
Journal of Logic and Computation Advance Access published on December 21, 2007.
doi:10.1093/logcom/exm073
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Hyuckchul Jung, James Allen, Lucian Galescu, Nathanael Chambers, Mary Swift, and William Taysom
Utilizing Natural Language for One-Shot Task Learning
Journal of Logic and Computation Advance Access published on December 20, 2007.
doi:10.1093/logcom/exm071
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Olga Gurevich, Richard Crouch, Tracy Holloway King, and Valeria de Paiva
Deverbal Nouns in Knowledge Representation
Journal of Logic and Computation Advance Access published on December 20, 2007.
doi:10.1093/logcom/exm070
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Anselmo Peñas, Álvaro Rodrigo, Valentín Sama, and Felisa Verdejo
Testing the Reasoning for Question Answering Validation
Journal of Logic and Computation Advance Access published on December 13, 2007.
doi:10.1093/logcom/exm072
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Myroslava O. Dzikovska, James F. Allen, and Mary D. Swift
Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System
Journal of Logic and Computation Advance Access published on December 13, 2007.
doi:10.1093/logcom/exm067
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Antony Galton
Experience and History: Processes and their Relation to Events
Journal of Logic and Computation Advance Access published on December 5, 2007.
doi:10.1093/logcom/exm079
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Shenghui Wang, David Rydeheard, and Jeff Z. Pan
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
Journal of Logic and Computation Advance Access published on December 5, 2007.
doi:10.1093/logcom/exm074
[Abstract] [PDF] [References] [Request Permissions]  

Original papers
Murdoch J. Gabbay and Aad Mathijssen
One-and-a-halfth-order Logic
Journal of Logic and Computation Advance Access published on November 22, 2007.
doi:10.1093/logcom/exm064
[Abstract] [PDF] [References] [Request Permissions]  

CALL FOR PAPERS: COALGEBRA & LOGICGo to top of the page

Call for Papers: Coalgebra & Logic
Call for Papers: Coalgebra & Logic
Journal of Logic and Computation Advance Access published on November 26, 2007.
doi:10.1093/logcom/exm082
[PDF] [Request Permissions]  

To see an article, click its [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.