Journal: Journal of Logic and Computation

Volume 23, Issue 6

1143 -- 1144S. Barry Cooper, Mariya Ivanova Soskova. The incomputable
1145 -- 1154Marat M. Arslanov. Definable relations in Turing degree structures
1155 -- 1181Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker. Oracles that measure thresholds: the Turing machine and the broken balance
1183 -- 1194Laurent Bienvenu, Noam Greenberg, Antonín Kucera, Joseph S. Miller, André Nies, Daniel Turetsky. Joining non-low C.E. sets with diagonally non-computable functions
1195 -- 1223Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel. Two-to-one structures
1225 -- 1248José Félix Costa. Incomputability at the foundations of physics (A study in the philosophy of science)
1249 -- 1265Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell Miller. 1
1267 -- 1292Daniele Marsibilio, Andrea Sorbi. Singleton enumeration reducibility and arithmetic
1293 -- 1317Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke. The Frobenius anatomy of word meanings I: subject and object relative pronouns
1319 -- 1334Alexandra A. Soskova, Ivan N. Soskov. Quasi-minimal degrees for degree spectra
1335 -- 1367Ivan N. Soskov. Effective properties of Marker's extensions

Volume 23, Issue 5

925 -- 949Sarah Alice Gaggl, Stefan Woltran. The cf2 argumentation semantics revisited
951 -- 989Floris Bex, Sanjay Modgil, Henry Prakken, Chris Reed. On logical specifications of the Argument Interchange Format
991 -- 1015Antonis C. Kakas, Paolo Mancarella. On the semantics of abstract argumentation
1017 -- 1033Z. Liang, K. Subramani, James Worthington. Polynomial time certifying algorithms for the planar quantified integer programming problem
1035 -- 1055Stanislav O. Speranski. Complexity for probability logic with quantifiers over propositions
1057 -- 1080Mark Alexander Reynolds. A tableau for general linear temporal logic
1081 -- 1096David Poole. Foundations of model construction in feature-based semantic science
1097 -- 1106Dirk Hofmann, Manuel A. Martins. On a coalgebraic view on Logic
1107 -- 1141Ernest Davis. The expressive power of first-order topological languages

Volume 23, Issue 4

727 -- 728Klaus Ambos-Spies, Arnold Beckmann, Erzsébet Csuhaj-Varjú, Benedikt Löwe. Computability in Europe 2009
729 -- 751Thomas Anberrée. First-order universality for real programs
753 -- 760Manuel Bodirsky, Miki Hermann, Florian Richoux. Complexity of existential positive first-order logic
761 -- 798Luca Bortolussi, Alberto Policriti. The hybrid automata lattice of a stochastic program
799 -- 814Robert Brijder, Hendrik Blockeel. On the inference of non-confluent NLC graph grammars
815 -- 838Guénola Drillon, Alessandra Carbone, Gilles Fischer. Combinatorics of chromosomal rearrangements based on synteny blocks and synteny packs
839 -- 854Martín Hötzel Escardó. Algorithmic solution of higher type equations
855 -- 872Benedek Nagy. On a hierarchy of 5′ → 3′ sensing Watson-Crick finite automata languages
873 -- 895Ian Pratt-Hartmann, Ivo Düntsch. Functions definable by numerical set-expressions
897 -- 908Thomas Zerjatke, Monika Sturm. Solving a PSPACE-complete problem by gene assembly
909 -- 924Marius Zimand. Generating Kolmogorov random strings from sources with limited independence

Volume 23, Issue 3

445 -- 455Giovanna D'Agostino, Giacomo Lenzi. On modal μ-calculus over reflexive symmetric graphs
457 -- 471Ernest Davis. Elementarily equivalent structures for topological languages over regions in Euclidean space
473 -- 485Massoud Pourmahdian, Nazanin Tavana. Compactness in first-order Gödel logics
487 -- 515Dragan Doder, John Grant, Zoran Ognjanovic. Probabilistic logics for objects located in space and time
517 -- 540Arnon Avron, Beata Konikowska, Anna Zamansky. Cut-free sequent calculi for C-systems with generalized finite-valued semantics
541 -- 562Beishui Liao, Huaxin Huang. Partial semantics of argumentation: basic properties and empirical
563 -- 583Frederik Van De Putte, Christian Straßer. A Logic for prioritized normative reasoning
585 -- 626José Carmo, Andrew J. I. Jones. Completeness and decidability results for a logic of contrary-to-duty conditionals
627 -- 643Andreas Wichert. Proto logic and neural subsymbolic reasoning
645 -- 672Dion Coumans, Samuel J. van Gool. On generalizing free algebras for a functor
673 -- 691Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc. How big is BCI fragment of BCK logic
693 -- 705Emil Jerábek. The complexity of admissible rules of Łukasiewicz logic
707 -- 726Sándor Jenei, Franco Montagna. Strongly involutive uninorm algebras

Volume 23, Issue 2

307 -- 308Guido Boella, Pablo Noriega, Gabriella Pigozzi, Harko Verhagen. Introduction to the special issue on NorMAS 2009
309 -- 333Natalia Criado, Estefania Argente, Vicente J. Botti. THOMAS: An agent platform for supporting normative multi-agent systems
335 -- 354Mehdi Dastani, John-Jules Ch. Meyer, Davide Grossi. A logic for normative multi-agent programs
355 -- 372Farnaz Derakhshan, Trevor J. M. Bench-Capon, Peter McBurney. Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems
373 -- 395Ho-Pun Lam, Guido Governatori. Towards a model of UAVs navigation in urban canyon through defeasible logic
397 -- 424Fabio Yoshimitsu Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa. Situated normative infrastructures: the normative object approach
425 -- 444Luigi Sauro, Serena Villata. Dependency in Cooperative Boolean Games

Volume 23, Issue 1

1 -- 24Norihiro Kamide. Strong normalization in some temporal substructural logics
25 -- 58Andrew Koster, W. Marco Schorlemmer, Jordi Sabater-Mir. Opening the black box of trust: reasoning about trust models in a BDI agent
59 -- 86Ori Lahav, Arnon Avron. A semantic proof of strong cut-admissibility for first-order Gödel logic
87 -- 108Hubie Chen, Víctor Dalmau, Berit Grußien. Arc consistency and friends
109 -- 119Frederik Van De Putte. Prime implicates and relevant belief revision
121 -- 156Joel Gregory Lucero-Bryan. The d-logic of the real line
157 -- 180Lauri Hella, Tero Tulenheimo. On the existence of a modal-logical basis for monadic second-order logic
181 -- 197Luis Estrada-González. Remarks on some general features of abduction
199 -- 262Jim Burton, Gem Stapleton, John Howse. Generalized constraint diagrams and the classical decision problem
263 -- 305Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio. The recursive path and polynomial ordering for first-order and higher-order terms