J Logic Computation -- Journal of Logic and Computation Advance Access

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 Date [View by Category]

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.

6 November 2009

Abstract Original Papers: Stefania Costantini and Andrea Formisano
Answer Set Programming with Resources
Journal of Logic and Computation Advance Access published on November 6, 2009.
doi:10.1093/logcom/exp071
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Michael Franke, Tikitu De Jager, and Robert Van Rooij
Relevance in Cooperation and Conflict
Journal of Logic and Computation Advance Access published on November 6, 2009.
doi:10.1093/logcom/exp070
[Abstract] [PDF] [References] [Request Permissions]

26 October 2009

Abstract Original Papers: John Vervaeke, Timothy P. Lillicrap, and Blake A. Richards
Relevance Realization and the Emerging Framework in Cognitive Science
Journal of Logic and Computation Advance Access published on October 26, 2009.
doi:10.1093/logcom/exp067
[Abstract] [PDF] [References] [Request Permissions]

20 October 2009

Abstract Original Papers: Edwin D. Mares
Relevance and Conjunction
Journal of Logic and Computation Advance Access published on October 20, 2009.
doi:10.1093/logcom/exp068
[Abstract] [PDF] [References] [Request Permissions]

7 October 2009

Abstract Original Papers: Félix Bou, Francesc Esteva, Lluís Godo, and Ricardo Oscar Rodríguez
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Journal of Logic and Computation Advance Access published on October 7, 2009.
doi:10.1093/logcom/exp062
[Abstract] [PDF] [References] [Request Permissions]

23 September 2009

Abstract Original Papers: Arnon Avron
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic
Journal of Logic and Computation Advance Access published on September 23, 2009.
doi:10.1093/logcom/exp055
[Abstract] [PDF] [References] [Request Permissions]

17 September 2009

Abstract Original Papers: Franco Montagna and Carles Noguera
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
Journal of Logic and Computation Advance Access published on September 17, 2009.
doi:10.1093/logcom/exp052
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Franco Montagna
A Notion of Coherence for Books on Conditional Events in Many-valued Logic
Journal of Logic and Computation Advance Access published on September 17, 2009.
doi:10.1093/logcom/exp061
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Rostislav Horcík
On the Structure of Finite Integral Commutative Residuated Chains
Journal of Logic and Computation Advance Access published on September 17, 2009.
doi:10.1093/logcom/exp059
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Stefano Aguzzoli, Ottavio M. D’Antona, and Vincenzo Marra
Computing Minimal Axiomatizations in Gödel Propositional Logic
Journal of Logic and Computation Advance Access published on September 17, 2009.
doi:10.1093/logcom/exp054
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Roberto Giacobazzi and Isabella Mastroeni
A Proof System for Abstract Non-interference
Journal of Logic and Computation Advance Access published on September 17, 2009.
doi:10.1093/logcom/exp053
[Abstract] [PDF] [References] [Request Permissions]

14 September 2009

Abstract Original Papers: Radim Belohlavek and Vilem Vychodil
Codd's Relational Model from the Point of View of Fuzzy Logic
Journal of Logic and Computation Advance Access published on September 14, 2009.
doi:10.1093/logcom/exp056
[Abstract] [PDF] [References] [Request Permissions]

13 September 2009

Abstract Original Papers: Sándor Jenei
Structural Description of a Class of Involutive Uninorms via Skew Symmetrization
Journal of Logic and Computation Advance Access published on September 13, 2009.
doi:10.1093/logcom/exp060
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Petr Hájek
Comments on Interpretability and Decidability in Fuzzy Logic
Journal of Logic and Computation Advance Access published on September 13, 2009.
doi:10.1093/logcom/exp058
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Murdoch J. Gabbay and Aad Mathijssen
A Nominal Axiomatization of the Lambda Calculus
Journal of Logic and Computation Advance Access published on September 13, 2009.
doi:10.1093/logcom/exp049
[Abstract] [PDF] [References] [Request Permissions]

11 September 2009

Abstract Fuzzy Logic Corner: Petr Hájek
On White's Expansion of $L$ ukasiewicz Logic
Journal of Logic and Computation Advance Access published on September 11, 2009.
doi:10.1093/logcom/exp050
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Dmitrij Skvortsov
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains
Journal of Logic and Computation Advance Access published on September 11, 2009.
doi:10.1093/logcom/exp046
[Abstract] [PDF] [References] [Request Permissions]

25 August 2009

Abstract Original Papers: Olivier Laurent
Intuitionistic Dual-intuitionistic Nets
Journal of Logic and Computation Advance Access published on August 25, 2009.
doi:10.1093/logcom/exp044
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Matthias Baaz and Rosalie Iemhoff
Eskolemization in Intuitionistic Logic
Journal of Logic and Computation Advance Access published on August 25, 2009.
doi:10.1093/logcom/exp040
[Abstract] [PDF] [References] [Request Permissions]

17 August 2009

Abstract Original Papers: Valery Plisko
On two Attempts of Describing Propositional Realizability Logic
Journal of Logic and Computation Advance Access published on August 17, 2009.
doi:10.1093/logcom/exp045
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Evgenij Dashkov
Arithmetical Completeness of the Intuitionistic Logic of Proofs
Journal of Logic and Computation Advance Access published on August 17, 2009.
doi:10.1093/logcom/exp041
[Abstract] [PDF] [References] [Request Permissions]

12 August 2009

Abstract Original Papers: Albert Visser
Can we make the Second Incompleteness Theorem Coordinate Free?
Journal of Logic and Computation Advance Access published on August 12, 2009.
doi:10.1093/logcom/exp048
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Thomas Icard
A Topological Study of the Closed Fragment of GLP
Journal of Logic and Computation Advance Access published on August 12, 2009.
doi:10.1093/logcom/exp043
[Abstract] [PDF] [References] [Request Permissions]

10 August 2009

Abstract Original Papers: Lutz Strassburger
From Deep Inference to Proof Nets via Cut Elimination
Journal of Logic and Computation Advance Access published on August 10, 2009.
doi:10.1093/logcom/exp047
[Abstract] [PDF] [References] [Request Permissions]

5 August 2009

Abstract Original Papers: Ji Ruan, Wiebe Van Der Hoek, and Michael Wooldridge
Verification of Games in the Game Description Language
Journal of Logic and Computation Advance Access published on August 5, 2009.
doi:10.1093/logcom/exp039
[Abstract] [PDF] [References] [Request Permissions]

22 July 2009

Abstract Original Papers: Salem Benferhat, Sylvain Lagrue, and Julien Rossit
Max-based Prioritized Information Fusion without Commensurability
Journal of Logic and Computation Advance Access published on July 22, 2009.
doi:10.1093/logcom/exp038
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Stéphane Demri and Régis Gascon
The Effects of Bounding Syntactic Resources on Presburger LTL
Journal of Logic and Computation Advance Access published on July 22, 2009.
doi:10.1093/logcom/exp037
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Matthew Collinson, Brian Monahan, and David Pym
A Logical and Computational Theory of Located Resource
Journal of Logic and Computation Advance Access published on July 22, 2009.
doi:10.1093/logcom/exp021
[Abstract] [PDF] [References] [Request Permissions]

7 July 2009

Abstract Original Papers: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Viganò
Labelled Tableaux for Distributed Temporal Logic
Journal of Logic and Computation Advance Access published on July 7, 2009.
doi:10.1093/logcom/exp022
[Abstract] [PDF] [References] [Request Permissions]

6 July 2009

Abstract Original Papers: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux
TCTL Model Checking of Time Petri Nets
Journal of Logic and Computation Advance Access published on July 6, 2009.
doi:10.1093/logcom/exp036
[Abstract] [PDF] [References] [Request Permissions]

5 July 2009

Abstract Original Papers: Murdoch J. Gabbay and Aad Mathijssen
Nominal (Universal) Algebra: Equational Logic with Names and Binding
Journal of Logic and Computation Advance Access published on July 5, 2009.
doi:10.1093/logcom/exp033
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio
On Graph-theoretic Fibring of Logics
Journal of Logic and Computation Advance Access published on July 5, 2009.
doi:10.1093/logcom/exp024
[Abstract] [PDF] [References] [Request Permissions]

26 June 2009

Abstract Original Papers: Zofia Kostrzycka
On the Density of Truth of Locally Finite Logics
Journal of Logic and Computation Advance Access published on June 26, 2009.
doi:10.1093/logcom/exp034
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Phan Minh Thang, Phan Minh Dung, and Nguyen Duy Hung
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
Journal of Logic and Computation Advance Access published on June 26, 2009.
doi:10.1093/logcom/exp032
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, and Ventura Verdú
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
Journal of Logic and Computation Advance Access published on June 26, 2009.
doi:10.1093/logcom/exp030
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Manuel Bodirsky and Hubie Chen
Qualitative Temporal and Spatial Reasoning Revisited
Journal of Logic and Computation Advance Access published on June 26, 2009.
doi:10.1093/logcom/exp025
[Abstract] [PDF] [References] [Request Permissions]

16 June 2009

Abstract Original Papers: Chunlai Zhou
A Complete Deductive System for Probability Logic
Journal of Logic and Computation Advance Access published on June 16, 2009.
doi:10.1093/logcom/exp031
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser
Property-based Slicing for Agent Verification
Journal of Logic and Computation Advance Access published on June 16, 2009.
doi:10.1093/logcom/exp029
[Abstract] [PDF] [References] [Request Permissions]

4 May 2009

Abstract Original Papers: Manuela Busaniche and Roberto Cignoli
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
Journal of Logic and Computation Advance Access published on May 4, 2009.
doi:10.1093/logcom/exp028
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Vladimir Rybakov
Linear Temporal Logic $L$ $T$ $L$ _K extended by Multi-Agent Logic K_n with Interacting Agents
Journal of Logic and Computation Advance Access published on May 4, 2009.
doi:10.1093/logcom/exp027
[Abstract] [PDF] [References] [Request Permissions]

Editorial and call for papers: Walter Carnielli and Heinrich Wansing
The Non-classical Logics Corner of the Journal of Logic and Computation
Journal of Logic and Computation Advance Access published on May 4, 2009.
doi:10.1093/logcom/exp026
[PDF] [Request Permissions]

22 April 2009

Abstract Original Papers: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio
A Graph-theoretic Account of Logics
Journal of Logic and Computation Advance Access published on April 22, 2009.
doi:10.1093/logcom/exp023
[Abstract] [PDF] [References] [Request Permissions]

26 March 2009

Abstract Original Papers: Tommaso Flaminio, Lluís Godo, and Enrico Marchioni
On the Logical Formalization of Possibilistic Counterparts of States over n-valued $L$ ukasiewicz Events
Journal of Logic and Computation Advance Access published on March 26, 2009.
doi:10.1093/logcom/exp012
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Adam Wyner and Trevor Bench-Capon
Modelling Judicial Context in Argumentation Frameworks
Journal of Logic and Computation Advance Access published on March 26, 2009.
doi:10.1093/logcom/exp009
[Abstract] [PDF] [References] [Request Permissions]

Editorial: Trevor Bench-Capon and Henry Prakken
Editorial
Journal of Logic and Computation Advance Access published on March 26, 2009.
doi:10.1093/logcom/exn105
[PDF] [References] [Request Permissions]

18 March 2009

Abstract Original Papers: Hans Weber
Measures and Topologies on MV-algebras
Journal of Logic and Computation Advance Access published on March 18, 2009.
doi:10.1093/logcom/exp019
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Tommaso Flaminio and Franco Montagna
Models for Many-Valued Probabilistic Reasoning
Journal of Logic and Computation Advance Access published on March 18, 2009.
doi:10.1093/logcom/exp013
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Anatolij Dvurecenskij
On States on MV-algebras and their Applications
Journal of Logic and Computation Advance Access published on March 18, 2009.
doi:10.1093/logcom/exp011
[Abstract] [PDF] [References] [Request Permissions]

13 March 2009

Abstract Original Papers: Zdenka Riecanová and Jan Paseka
State Smearing Theorems and the Existence of States on Some Atomic Lattice Effect Algebras
Journal of Logic and Computation Advance Access published on March 13, 2009.
doi:10.1093/logcom/exp018
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Daniele Mundici
A Compact [0,1]-valued First-order $L$ ukasiewicz Logic with Identity on Hilbert Space
Journal of Logic and Computation Advance Access published on March 13, 2009.
doi:10.1093/logcom/exp017
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Roman Fric
States on Bold Algebras: Categorical Aspects
Journal of Logic and Computation Advance Access published on March 13, 2009.
doi:10.1093/logcom/exp014
[Abstract] [PDF] [References] [Request Permissions]

12 March 2009

Abstract Original Papers: Tomás Kroupa
Core of Coalition Games on MV-algebras
Journal of Logic and Computation Advance Access published on March 12, 2009.
doi:10.1093/logcom/exp015
[Abstract] [PDF] [References] [Request Permissions]

10 March 2009

Abstract Original Papers: Zofia Kostrzycka
On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
Journal of Logic and Computation Advance Access published on March 10, 2009.
doi:10.1093/logcom/exp020
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Ioana Leustean
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
Journal of Logic and Computation Advance Access published on March 10, 2009.
doi:10.1093/logcom/exp016
[Abstract] [PDF] [References] [Request Permissions]

5 March 2009

Abstract Original Papers: Stefan Blom, Bert Lisser, Jaco Van De Pol, and Michael Weber
A Database Approach to Distributed State-Space Generation
Journal of Logic and Computation Advance Access published on March 5, 2009.
doi:10.1093/logcom/exp004
[Abstract] [PDF] [References] [Request Permissions]

27 February 2009

Abstract Original Papers: C. Bertini and R. Leporini
An Axiomatic System Suggested by Quantum Computation
Journal of Logic and Computation Advance Access published on February 27, 2009.
doi:10.1093/logcom/exp008
[Abstract] [PDF] [References] [Request Permissions]

26 February 2009

Abstract Original Papers: Andreas Bauer, Martin Leucker, and Christian Schallhart
Comparing LTL Semantics for Runtime Verification
Journal of Logic and Computation Advance Access published on February 26, 2009.
doi:10.1093/logcom/exn075
[Abstract] [PDF] [References] [Request Permissions]

20 February 2009

Abstract Original Papers: Ming-Ying Chung and Gianfranco Ciardo
Speculative Image Computation for Distributed Symbolic Reachability Analysis
Journal of Logic and Computation Advance Access published on February 20, 2009.
doi:10.1093/logcom/exp005
[Abstract] [PDF] [References] [Request Permissions]

17 February 2009

Abstract Original Papers: Jirí Barnat, Jakub Chaloupka, and Jaco Van De Pol
Distributed Algorithms for SCC Decomposition
Journal of Logic and Computation Advance Access published on February 17, 2009.
doi:10.1093/logcom/exp003
[Abstract] [PDF] [References] [Request Permissions]

12 February 2009

Abstract Original Papers: Jonathan Ezekiel, Gerald Lüttgen, and Radu Siminiceanu
To Parallelize or to Optimize?
Journal of Logic and Computation Advance Access published on February 12, 2009.
doi:10.1093/logcom/exp006
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: J. Adámek, H. P. Gumm, and V. Trnková
Presentation of Set Functors: A Coalgebraic Perspective
Journal of Logic and Computation Advance Access published on February 12, 2009.
doi:10.1093/logcom/exn090
[Abstract] [PDF] [References] [Request Permissions]

9 February 2009

Abstract Original Papers: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, and Christian Herde
Parallel SAT Solving in Bounded Model Checking
Journal of Logic and Computation Advance Access published on February 9, 2009.
doi:10.1093/logcom/exp002
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Emiliano Lorini, Dominique Longin, Benoit Gaudou, and Andreas Herzig
The Logic of Acceptance: Grounding Institutions on Agents’ Attitudes
Journal of Logic and Computation Advance Access originally published on February 9, 2009. This version published March 26, 2009.
doi:10.1093/logcom/exn103
[Abstract] [PDF] [References] [Request Permissions]

3 February 2009

Abstract Original Papers: Bart Jacobs and Ana Sokolova
Exemplaric Expressivity of Modal Logics
Journal of Logic and Computation Advance Access published on February 3, 2009.
doi:10.1093/logcom/exn093
[Abstract] [PDF] [References] [Request Permissions]

22 January 2009

Editorial: Arnon Avron
Proof Theory Corner
Journal of Logic and Computation Advance Access published on January 22, 2009.
doi:10.1093/logcom/exn107
[PDF] [Request Permissions]

Abstract Original Papers: Luca Alberucci
Sequent Calculi for the Modal µ-Calculus over S5
Journal of Logic and Computation Advance Access published on January 22, 2009.
doi:10.1093/logcom/exn106
[Abstract] [PDF] [References] [Request Permissions]

20 January 2009

Abstract Original Papers: Merlijn Sevenster
Model-theoretic and Computational Properties of Modal Dependence Logic
Journal of Logic and Computation Advance Access published on January 20, 2009.
doi:10.1093/logcom/exn102
[Abstract] [PDF] [References] [Request Permissions]

8 January 2009

Abstract Original Papers: Hitoshi Kihara and Hiroakira Ono
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
Journal of Logic and Computation Advance Access published on January 8, 2009.
doi:10.1093/logcom/exn084
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Didier Galmiche and Daniel Méry
Tableaux and Resource Graphs for Separation Logic
Journal of Logic and Computation Advance Access published on January 8, 2009.
doi:10.1093/logcom/exn066
[Abstract] [PDF] [References] [Request Permissions]

23 December 2008

Abstract Original Papers: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala
Tableaux for Logics of Subinterval Structures over Dense Orderings
Journal of Logic and Computation Advance Access published on December 23, 2008.
doi:10.1093/logcom/exn063
[Abstract] [PDF] [References] [Request Permissions]

22 December 2008

Abstract Original Papers: Roberto Giuntini, Francesco Paoli, and Antonio Ledda
Categorical Equivalences for quasi-MV Algebras
Journal of Logic and Computation Advance Access published on December 22, 2008.
doi:10.1093/logcom/exn082
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Lawrence S. Moss
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
Journal of Logic and Computation Advance Access published on December 22, 2008.
doi:10.1093/logcom/exn095
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: N. Bezhanishvili, G. Fontaine, and Y. Venema
Vietoris Bisimulations
Journal of Logic and Computation Advance Access published on December 22, 2008.
doi:10.1093/logcom/exn091
[Abstract] [PDF] [References] [Request Permissions]

17 December 2008

Abstract Original Papers: Lutz Schröder and Dirk Pattinson
Rank-1 Modal Logics are Coalgebraic
Journal of Logic and Computation Advance Access published on December 17, 2008.
doi:10.1093/logcom/exn096
[Abstract] [PDF] [References] [Request Permissions]

12 December 2008

Abstract Original Papers: Robert Goldblatt
Deduction Systems for Coalgebras Over Measurable Spaces
Journal of Logic and Computation Advance Access published on December 12, 2008.
doi:10.1093/logcom/exn092
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Manuela Busaniche and Roberto Cignoli
Constructive Logic with Strong Negation as a Substructural Logic
Journal of Logic and Computation Advance Access published on December 12, 2008.
doi:10.1093/logcom/exn081
[Abstract] [PDF] [References] [Request Permissions]

29 November 2008

Abstract Original Papers: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
Journal of Logic and Computation Advance Access originally published on November 29, 2008. This version published December 6, 2008.
doi:10.1093/logcom/exn061
[Abstract] [PDF] [References] [Request Permissions]

27 November 2008

Abstract Original Papers: Giulio Manzonetto and Antonino Salibra
Applying Universal Algebra to Lambda Calculus
Journal of Logic and Computation Advance Access published on November 27, 2008.
doi:10.1093/logcom/exn085
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhoták, and Nomair A. Naeem
Collaborative Runtime Verification with Tracematches
Journal of Logic and Computation Advance Access published on November 27, 2008.
doi:10.1093/logcom/exn077
[Abstract] [PDF] [References] [Request Permissions]

26 November 2008

Abstract Original Papers: Lawrence S. Moss
Syllogistic Logics with Verbs
Journal of Logic and Computation Advance Access published on November 26, 2008.
doi:10.1093/logcom/exn086
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Rostislav Horcík
Solutions to Some Open Problems on Totally Ordered Monoids
Journal of Logic and Computation Advance Access published on November 26, 2008.
doi:10.1093/logcom/exn083
[Abstract] [PDF] [References] [Request Permissions]

21 November 2008

Abstract Original Papers: Ciro Russo
Quantale Modules and their Operators, with Applications
Journal of Logic and Computation Advance Access originally published on November 21, 2008. This version published December 22, 2008.
doi:10.1093/logcom/exn088
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Howard Barringer, David Rydeheard, and Klaus Havelund
Rule Systems for Run-time Monitoring: from EAGLE to RULER
Journal of Logic and Computation Advance Access published on November 21, 2008.
doi:10.1093/logcom/exn076
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, and Tiago De Lima
Tableaux for Public Announcement Logic
Journal of Logic and Computation Advance Access published on November 21, 2008.
doi:10.1093/logcom/exn060
[Abstract] [PDF] [References] [Request Permissions]

20 November 2008

Abstract Original Papers: J.G. Raftery
A Non-finitary Sentential Logic that is Elementarily Algebraizable
Journal of Logic and Computation Advance Access published on November 20, 2008.
doi:10.1093/logcom/exn087
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Neil V. Murray and Erik Rosenthal
Reduced Implicate Tries with Updates
Journal of Logic and Computation Advance Access published on November 20, 2008.
doi:10.1093/logcom/exn068
[Abstract] [PDF] [References] [Request Permissions]

18 November 2008

Abstract Original Papers: André Platzer
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
Journal of Logic and Computation Advance Access originally published on November 18, 2008. This version published December 5, 2008.
doi:10.1093/logcom/exn070
[Abstract] [PDF] [References] [Request Permissions]

17 November 2008

Abstract Original Papers: Volker Stolz
Temporal Assertions with Parametrized Propositions
Journal of Logic and Computation Advance Access published on November 17, 2008.
doi:10.1093/logcom/exn078
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Regimantas Pliuskevicius and Aida Pliuskeviciene
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
Journal of Logic and Computation Advance Access published on November 17, 2008.
doi:10.1093/logcom/exn071
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Matthias Baaz and George Metcalfe
Herbrand's Theorem, Skolemization and Proof Systems for First-Order $L$ ukasiewicz Logic
Journal of Logic and Computation Advance Access published on November 17, 2008.
doi:10.1093/logcom/exn059
[Abstract] [PDF] [References] [Request Permissions]

16 November 2008

Abstract Original Papers: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini
Interaction-based Runtime Verification for Systems of Systems Integration
Journal of Logic and Computation Advance Access published on November 16, 2008.
doi:10.1093/logcom/exn079
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Rajeev Goré and Linda Postniece
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Journal of Logic and Computation Advance Access published on November 16, 2008.
doi:10.1093/logcom/exn067
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Marcelo Finger
Analytic Methods for the Logic of Proofs
Journal of Logic and Computation Advance Access published on November 16, 2008.
doi:10.1093/logcom/exn065
[Abstract] [PDF] [References] [Request Permissions]

14 November 2008

Abstract Original Papers: Stefano Aguzzoli and Vincenzo Marra
Finitely Presented MV-algebras with Finite Automorphism Group
Journal of Logic and Computation Advance Access published on November 14, 2008.
doi:10.1093/logcom/exn080
[Abstract] [PDF] [References] [Request Permissions]

13 November 2008

Abstract Original Papers: Nicolas Peltier
Bottom-up Construction of Semantic Tableaux
Journal of Logic and Computation Advance Access published on November 13, 2008.
doi:10.1093/logcom/exn069
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Shoham Ben-David, Richard Trefler, and Grant Weddell
Model Checking Using Description Logic
Journal of Logic and Computation Advance Access published on November 13, 2008.
doi:10.1093/logcom/exn062
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Franz Baader and Rafael Peñaloza
Axiom Pinpointing in General Tableaux
Journal of Logic and Computation Advance Access originally published on November 13, 2008. This version published November 13, 2008.
doi:10.1093/logcom/exn058
[Abstract] [PDF] [References] [Request Permissions]

26 November 2007

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]