- 2009
- Luca Alberucci:
Sequent Calculi for the Modal µ-Calculus over S5. J. Log. Comput. 19(6): 971-985 (2009) - Arnon Avron:
Editorial: Proof Theory Corner. J. Log. Comput. 19(6): 969 (2009) - Matthias Baaz
, George Metcalfe:
Fuzzy Logic Corner. J. Log. Comput. 19(2): 343 (2009) - George Barmpalias
, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber:
K-Triviality of Closed Sets and Continuous Functions. J. Log. Comput. 19(1): 3-16 (2009) - David A. Basin, Carlos Caleiro
, Jaime Ramos
, Luca Viganò
:
Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. 19(6): 1245-1279 (2009) - Andrej Bauer, Christopher A. Stone
:
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. J. Log. Comput. 19(1): 17-43 (2009) - Trevor J. M. Bench-Capon
, Henry Prakken:
Editorial: Logic and Law Corner. J. Log. Comput. 19(6): 899 (2009) - Salem Benferhat, Sylvain Lagrue, Julien Rossit:
Max-based Prioritized Information Fusion without Commensurability. J. Log. Comput. 19(6): 1577-1610 (2009) - Cesarino Bertini
, Roberto Leporini:
An Axiomatic System Suggested by Quantum Computation. J. Log. Comput. 19(6): 1175-1198 (2009) - Jean-Yves Béziau:
Editorial: Introduction to the Universal Logic Corner. J. Log. Comput. 19(6): 1111 (2009) - Nicole Bidoit, Matthieu Objois:
Fixpoint and While Temporal Query Languages. J. Log. Comput. 19(2): 369-404 (2009) - Manuel Bodirsky
, Hubie Chen:
Qualitative Temporal and Spatial Reasoning Revisited. J. Log. Comput. 19(6): 1359-1383 (2009) - Miquel Bofill
, Albert Rubio:
Paramodulation with Well-founded Orderings. J. Log. Comput. 19(2): 263-302 (2009) - Rafael H. Bordini
, Michael Fisher
, Michael J. Wooldridge, Willem Visser:
Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009) - Félix Bou, Francesc Esteva
, Josep Maria Font, Àngel J. Gil, Lluís Godo
, Antoni Torrens, Ventura Verdú:
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices. J. Log. Comput. 19(6): 1031-1069 (2009) - Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux:
TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19(6): 1509-1540 (2009) - Martin Brain, Marina De Vos
:
The Significance of Memory Costs in Answer Set Solver Implementation. J. Log. Comput. 19(4): 615-641 (2009) - Vasco Brattka
, Guido Gherardi:
Borel Complexity of Topological Operations on Computable Metric Spaces. J. Log. Comput. 19(1): 45-76 (2009) - Manuela Busaniche, Roberto Cignoli:
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic. J. Log. Comput. 19(6): 1019-1029 (2009) - Walter Alexandre Carnielli, Heinrich Wansing:
Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation. J. Log. Comput. 19(6): 987 (2009) - Silvana Castano
, Irma Sofía Espinosa Peraldí, Alfio Ferrara
, Vangelis Karkaletsis, Atila Kaya, Ralf Möller, Stefano Montanelli, Georgios Petasis, Michael Wessel:
Multimedia Interpretation for Dynamic Ontology Evolution. J. Log. Comput. 19(5): 859-897 (2009) - Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu:
Pseudojumps and Pi10 Classes. J. Log. Comput. 19(1): 77-87 (2009) - Yijia Chen, Jörg Flum:
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. J. Log. Comput. 19(1): 89-122 (2009) - Petr Cintula
, Petr Hájek:
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. J. Log. Comput. 19(2): 245-260 (2009) - Matthew Collinson, Brian Monahan, David J. Pym:
A Logical and Computational Theory of Located Resource. J. Log. Comput. 19(6): 1207-1244 (2009) - S. Barry Cooper, Benedikt Löwe, Andrea Sorbi:
Logic and Computation in the Real World: CiE 2007. J. Log. Comput. 19(1): 1-2 (2009) - Andrés Cordón-Franco
, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
:
Existentially Closed Models and Conservation Results in Bounded Arithmetic. J. Log. Comput. 19(1): 123-143 (2009) - Stefania Costantini
, Richard Watson:
Editorial. J. Log. Comput. 19(4): 537-538 (2009) - Barbara F. Csima:
The Settling Time Reducibility Ordering and Delta20 Sets. J. Log. Comput. 19(1): 145-150 (2009) - Tijmen R. Daniëls, Eric Pacuit:
A General Approach to Aggregation Problems. J. Log. Comput. 19(3): 517-536 (2009)