Journal: Journal of Logic and Computation

Volume 22, Issue 6

1257 -- 1277Luís Moniz Pereira. Turing is among us
1279 -- 1299Juan Carlos García-Bermejo. A plea for the majority method in aggregating judgements
1301 -- 1334Alexander Artikis. Dynamic specification of open agent systems
1335 -- 1365Sebastian Enqvist. Modelling epistemic actions in interrogative belief revision
1367 -- 1389Pilar Dellunde. Preserving mappings in fuzzy predicate logics
1391 -- 1403Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu. Infinity, in short
1405 -- 1425Radim Belohlávek. Optimal decompositions of matrices with entries from residuated lattices
1427 -- 1452Richard Garner. An abstract view on syntax with sharing
1453 -- 1470Amílcar Sernadas, Cristina Sernadas, João Rasga. On meet-combination of logics

Volume 22, Issue 5

953 -- 956Sanjay Modgil, Francesca Toni. Special Issue on Argumentation in Agreement Technologies
957 -- 978Leila Amgoud, Srdjan Vesic. A formal analysis of the role of argumentation in negotiation dialogues
979 -- 1018Yuqing Tang, Kai Cai, Peter McBurney, Elizabeth Sklar, Simon Parsons. Using argumentation to reason about trust and belief
1019 -- 1058Leila Amgoud, Srdjan Vesic. 1
1059 -- 1096Stéphane Demri, Deepak D'Souza, Régis Gascon. Temporal Logics of Repeating Values
1097 -- 1124Norihiro Kamide. Embedding-based approaches to paraconsistent and temporal description logics
1125 -- 1143Francicleber Martins Ferreira, Ana Teresa C. Martins. Expressible preferential logics
1145 -- 1170Nadia Creignou, Johannes Schmidt 0001, Michael Thomas. Complexity Classifications for Propositional Abduction in Post's Framework
1171 -- 1198Meghdad Ghari. Cut Elimination and Realization for Epistemic Logics with Justification
1199 -- 1206Vladimir V. Rybakov. Writing out Unifiers in Linear Temporal Logic
1207 -- 1254Martin W. A. Caminada, Walter Alexandre Carnielli, Paul E. Dunne. Semi-stable semantics

Volume 22, Issue 4

667 -- 0Alexandra Soskova, S. Barry Cooper, Andrea Sorbi. Computability at Logic Colloquium 2009
669 -- 677Marat M. Arslanov. Model-theoretic properties of the n-c.e. degrees
679 -- 691George Barmpalias. Compactness arguments with effectively closed sets for the study of relative randomness
693 -- 699George Barmpalias, André Nies. Low upper bounds in the Turing degrees revisited
701 -- 715Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle. Separations of non-monotonic randomness notions
717 -- 735Angel V. Ditchev. Least enumerations of partial structures
737 -- 743Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin. Turing and enumeration jumps in the Ershov hierarchy
745 -- 754Andrey N. Frolov. Low linear orderings
755 -- 777Andrey Frolov, Iskander Sh. Kalimullin, Valentina S. Harizanov, Oleg V. Kudinov, Russell Miller. n degrees
779 -- 792Hristo Ganchev, Mariya Ivanova Soskova. 2 enumeration degrees
793 -- 805Alexander Gavryushkin. On constructive models of theories with linear Rudin-Keisler ordering
807 -- 829Charles M. Harris. Non-cuppable enumeration degrees via finite injury
831 -- 843Iskander Sh. Kalimullin. Algorithmic reducibilities of algebraic structures
845 -- 855Andrew E. M. Lewis. Properties of the jump classes
857 -- 876Antonio Montalbán. Counting the back-and-forth types
877 -- 897Anthony Morphett. Prompt enumerations and relative randomness
899 -- 925Dimiter Skordev, Andreas Weiermann, Ivan Georgiev. 2-computable real numbers
927 -- 952Mariya Ivanova Soskova, Ivan N. Soskov. ω-enumeration degrees

Volume 22, Issue 3

351 -- 374Steffen Lewitzka. Semantically closed intuitionistic abstract logics
375 -- 404Gerard R. Renardel de Lavalette, Alex Hendriks, Dick De Jongh. Intuitionistic implication without disjunction
405 -- 416Andreas Witzel. Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic
417 -- 450Simone Bova, Diego Valota. Finite RDP-algebras: duality, coproducts and logic
451 -- 479Guillaume Aucher. Private announcement and belief expansion: an internal perspective
481 -- 516Kedian Mu, Weiru Liu, Zhi Jin. Measuring the blame of each formula for inconsistent prioritized knowledge bases
517 -- 544Walter Hussak. Monodic temporal logic with quantified propositional variables
545 -- 560Saeed Salehi. Separating bounded arithmetical theories by Herbrand consistency
561 -- 586Razvan Diaconescu. Borrowing interpolation
587 -- 604Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer. The complexity of reasoning for fragments of default logic
605 -- 642Giorgi Japaridze. A logical basis for constructive systems
643 -- 660Manuel Bodirsky, Peter Jonsson, Timo von Oertzen. Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction
661 -- 665Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdú. Logics preserving degrees of truth from varieties of residuated lattices

Volume 22, Issue 2

163 -- 164Arnold Beckmann, Benedikt Löwe. Computability in Europe 2008
165 -- 178Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen. Deterministic Graphical Games Revisited
179 -- 195Amir M. Ben-Amram, Bruno Loff, Isabel Oitavem. Monotonicity Constraints in Characterizations of PSPACE
197 -- 206William C. Calhoun. Triviality and Minimality in the Degrees of Monotone Complexity
207 -- 211Michiel De Smet, Andreas Weiermann. Sharp Thresholds for a Phase Transition Related to Weakly Increasing Sequences
213 -- 235Pantelis E. Eleftheriou, Costas D. Koutras, Christos Nomikos. Notions of Bisimulation for Heyting-Valued Modal Languages
237 -- 265Benny Godlin, Emilia Katz, Johann A. Makowsky. Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas
267 -- 280Antonina Kolokolova. Expressing versus Proving: Relating Forms of Complexity in Logic
281 -- 304Lars Kristiansen. Higher Types, Finite Domains and Resource-bounded Turing Machines
305 -- 328Paulo Oliva. Hybrid Functional Interpretations of Linear and Intuitionistic Logic
329 -- 350Diana Ratiu, Trifon Trifonov. Exploring the Computational Content of the Infinite Pigeonhole Principle

Volume 22, Issue 1

1 -- 6Ruth Kempson, John Woods. Editors' Note
7 -- 21Edwin D. Mares. Relevance and Conjunction
23 -- 54Michael Franke, Tikitu de Jager, Robert van Rooij. Relevance in Cooperation and Conflict
55 -- 78Elizabeth Black, Anthony Hunter. A Relevance-theoretic Framework for Constructing and Deconstructing Enthymemes
79 -- 99John Vervaeke, Timothy P. Lillicrap, Blake A. Richards. Relevance Realization and the Emerging Framework in Cognitive Science
101 -- 112Dale Jacquette. Causal Relevance and Relevant Causation
113 -- 127Jonathan E. Adler. Argument Relevance as the Right Kind of Epistemic Reason
129 -- 162Joseph A. Laronge. A Generalizable Argument Structure Using Defeasible Class-inclusion Transitivity for Evaluating Evidentiary Probative Relevancy in Litigation