Journal of Logic and Computation, Volume 18

Volume 18, Number 1, February 2008

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

Volume 18, Number 2, April 2008

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

Volume 18, Number 3, June 2008

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

Volume 18, Number 4, August 2008

• Heinrich Wansing:
  Editorial and call for papers. 495-496
  

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

Volume 18, Number 5, October 2008

• James P. Delgrande, Jérôme Lang, Hans Rott:
  Preface. 697
  

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

Volume 18, Number 6, December 2008

• Evgeny Yu. Sherkhonov:
  Modal Operators over Constructive Logic. 815-829
  

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

Last update Wed May 22 18:04:13 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page