Journal of Logic and Computation, Volume 12

Volume 12, Number 1, February 2002

• Yuri Gurevich, Alexander Moshe Rabinovich:
  Definability in Rationals with Real Order in the Background. 1-11
  
• Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens:
  Operators and Laws for Combining Preference Relations. 13-53
  
• Pietro Panzarasa, Nicholas R. Jennings, Timothy J. Norman:
  Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems. 55-117
  
• Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini:
  Mental States Recognition from Communication. 119-136
  
• Radim Belohlávek:
  Logical Precision in Concept Lattices. 137-148
  
• Marc Pauly:
  A Modal Logic for Coalitional Power in Games. 149-166
  
• Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini:
  A Foundation for Metareasoning Part I: The Proof Theory. 167-208
  

Volume 12, Number 2, April 2002

• Irène Guessarian:
  Editorial. 215
  
• Jirí Adámek:
  Final Coalgebras are Ideal Completions of Initial Algebras. 217-242
  
• Danièle Beauquier, Alexander Moshe Rabinovich:
  Monadic Logic of Order over Naturals has no Finite Base. 243-253
  
• Mads Dam, Dilian Gurov:
  µ-Calculus with Explicit Points and Approximations. 255-269
  
• Zoltán Ésik:
  Continuous Additive Algebras and Injective Simulations of Synchronization Trees. 271-300
  
• Flavio Corradini, Rocco De Nicola, Anna Labella:
  An Equational Axiomatization of Bisimulation over Regular Expressions. 301-320
  
• Mathieu Jaume:
  On Greatest Fixpoint Semantics of Logic Programming. 321-342
  

Volume 12, Number 3, June 2002

• Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini:
  A Foundation for Metareasoning Part II: The Model Theory. 345-370
  
• Wayne Wobcke:
  Two Logical Theories of Plan Recognition. 371-412
  
• Jordi Sabater, Carles Sierra, Simon Parsons, Nicholas R. Jennings:
  Engineering Executable Agents using Multi-context Systems. 413-442
  
• João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò:
  Fibring Labelled Deduction Systems. 443-473
  
• Elwood Wilkins, Simon H. Lavington:
  Belief Functions and the Possible Worlds Paradigm. 475-495
  
• Patricia M. Hill, Fausto Spoto:
  Generalizing Def and Pos to Type Analysis. 497-542
  
• Richard E. Overill:
  Codes and Ciphers: Julius Caesar, The Enigma, and the Internet. 543
  
• Richard E. Overill:
  Foundations of Cryptography: Basic Tools. 543-544
  

Volume 12, Number 4, August 2002

• Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn:
  Verifying Concurrent Systems with Symbolic Execution. 549-560
  
• Alexander Bolotov, Michael Fisher, Clare Dixon:
  On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. 561-581
  
• Bernhard Heinemann:
  Linear Tense Logics of Increasing Sets. 583-606
  
• David N. Jansen, Roel Wieringa:
  Extending CTL with Actions and Real Time. 607-621
  
• Martin Lange, Colin Stirling:
  Model Checking Games for Branching Time Logics. 623-639
  
• Angelo Montanari, Adriano Peron, Alberto Policriti:
  Extending Kamp's Theorem to Model Time Granularity. 641-677
  
• Mark Reynolds:
  Axioms for Branching Time. 679-697
  

Volume 12, Number 5, October 2002

• Yonit Kesten, Amir Pnueli:
  Complete Proof System for QPTL. 701-745
  
• Birgit Elbl:
  Lazy List Comprehension in Logic Programming. 747-771
  
• Sébastien Konieczny, Ramón Pino Pérez:
  Merging Information Under Constraints: A Logical Framework. 773-808
  
• Holger Sturm, Frank Wolter:
  A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. 809-838
  
• Arkadi Estrin, Michael Kaminski:
  The Expressive Power of Temporal Logic of Actions. 839-859
  
• Stéphane Demri, Rajeev Goré:
  Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. 861-884
  
• Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
  Tractability Results in the Block Algebra. 885-909
  

Volume 12, Number 6, December 2002

• Norihiro Kamide:
  Relevance Principle for Substructural Logics with Mingle and Strong Negation. 913-928
  
• Manfred Schmidt-Schauß:
  A Decision Algorithm for Stratified Context Unification. 929-953
  
• Guido Fiorino:
  Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics. 955-992
  
• Stéphane Demri, Rajeev Goré:
  Display Calculi for Nominal Tense Logics. 993-1016
  
• Melvin Fitting:
  Modal Logics Between Propositional and First-order. 1017-1026
  
• Alberto Artosi, Guido Governatori, Antonino Rotolo:
  Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. 1027-1060
  
• Samin S. Ishtiaq, David J. Pym:
  Kripke Resource Models of a Dependently-typed, Bunched [lgr]-calculus. 1061-1104
  

Last update Wed Feb 15 05:39:34 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page