External Links

    Journal: Journal of Logic and Computation

    Volume 18, Issue 6

    815 -- 829Evgeny Yu. Sherkhonov. Modal Operators over Constructive Logic
    831 -- 847Carlo Meghini, Nicolas Spyratos. Synthesizing Monadic Predicates
    849 -- 883Ariel Arbiser. The Expansion Problem in Lambda Calculi with Explicit Substitution
    885 -- 911Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas. Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
    913 -- 940Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido. Logical Weak Completions of Paraconsistent Logics
    941 -- 958Enrico Marchioni. On Computational Complexity of Semilinear Varieties
    959 -- 982Mladen Pavicic, Norman D. Megill. Standard Logics Are Valuation-Nonmonotonic
    1029 -- 1045Maria Nogin, Aleksey Nogin. On Dynamic Topological Logic of the Real Line
    1047 -- 1085Jirí Adámek, Stephen L. Bloom, Stefan Milius. On Algebras with Iteration

    Volume 18, Issue 5

    697 -- 0James P. Delgrande, Jérôme Lang, Hans Rott. Preface
    699 -- 719Isaac Levi. Degrees of Belief
    721 -- 738Didier Dubois. Three Scenarios for the Revision of Epistemic States
    739 -- 753Eduardo Fermé, Martín Krevneris, Maurício Reis. An Axiomatic Characterization of Ensconcement-Based Contraction
    755 -- 782Richard Booth, Alexander Nittka. Reconstructing an Agent s Epistemic State from Observations about its Beliefs and Non-beliefs
    783 -- 813Yi Jin, Michael Thielscher. Reinforcement Belief Revision

    Volume 18, Issue 4

    495 -- 496Heinrich Wansing. Editorial and call for papers
    497 -- 507Ryo Kashima, Keishi Okamoto. General Models and Completeness of First-Order Modal µ-calculus
    509 -- 519Vladimir V. Rybakov. Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification
    521 -- 562Murdoch James Gabbay, Aad Mathijssen. One-and-a-halfth-order Logic
    563 -- 588Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge. Sum and Product in Dynamic Epistemic Logic
    589 -- 600Ernst Zimmermann. Lambek Calculus in Natural Deduction
    601 -- 614Giovanna D Agostino, Giacomo Lenzi. A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
    615 -- 623Dimitar P. Guelev. A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
    625 -- 630Morteza Moniri. On the Hierarchy of Intuitionistic Bounded Arithmetic
    631 -- 648Torben Braüner. Adding Intensional Machinery to Hybrid Logic
    649 -- 668Matthias Baaz, Norbert Preining. Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega
    669 -- 695Loïc Colson, David Michel. Pedagogical Second-order Propositional Calculi

    Volume 18, Issue 3

    319 -- 321Jana Z. Sukkarieh. Natural Language and Knowledge Representation
    323 -- 340Antony Galton. Experience and History: Processes and their Relation to Events
    341 -- 359Shenghui Wang, David E. Rydeheard, Jeff Z. Pan. The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
    361 -- 384Francisco J. Valverde-Albacete. Extracting Frame-Semantics Knowledge using Lattice Theory
    385 -- 404Olga Gurevich, Richard Crouch, Tracy H. King, Valeria de Paiva. Deverbal Nouns in Knowledge Representation
    405 -- 430Myroslava Dzikovska, James F. Allen, Mary D. Swift. Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System
    431 -- 457Allan Ramsay, Debora Field. Speech Acts, Epistemic Planning and Grice s Maxims
    459 -- 474Anselmo Peñas, Álvaro Rodrigo, Valentín Sama, Felisa Verdejo. Testing the Reasoning for Question Answering Validation
    475 -- 493Hyuckchul Jung, James F. Allen, Lucian Galescu, Nathanael Chambers, Mary D. Swift, William Taysom. Utilizing Natural Language for One-Shot Task Learning

    Volume 18, Issue 2

    203 -- 0Chris Fox, Maribel Fernández, Shalom Lappin. Lambda Calculus, Type Theory, and Natural Language II
    205 -- 228Jan van Eijck. Sequentially Indexed Grammars
    229 -- 238J. Roger Hindley. M. H. Newman s Typability Algorithm for Lambda-calculus
    239 -- 256Glyn Morrill, Mario Fadda. Proof Nets for Basic Discontinuous Lambek Calculus
    257 -- 282Carl Pollard. Hyperintensions
    283 -- 318Raymond Turner. Computable Models

    Volume 18, Issue 1

    1 -- 12Trevor J. M. Bench-Capon, Henry Prakken. Introducing the Logic and Law Corner
    13 -- 33Guilherme Bittencourt. Combining Syntax and Semantics through Prime Form Representation
    35 -- 57Thomas Vetterlein. Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
    59 -- 76Daniel Lehmann. A Presentation of Quantum Logic Based on an ::::and then:::: Connective
    77 -- 96Maria Paola Bonacina, Mnacho Echenim. On Variable-inactivity and Polynomial tau-Satisfiability Procedures
    97 -- 121Eduardo Mizraji. Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates
    123 -- 151Walter Alexandre Carnielli, João Rasga, Cristina Sernadas. Preservation of Interpolation Features by Fibring
    153 -- 169Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d Orso. Monotonic and Downward Closed Games
    171 -- 199Mirjana Isakovic Ilic. Cut Elimination and Decidability for Classical Lambek Logic
    runs on