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
Electronic Edition (link) BibTeX
Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens:
Operators and Laws for Combining Preference Relations. 13-53
Electronic Edition (link) BibTeX
Pietro Panzarasa, Nicholas R. Jennings, Timothy J. Norman:
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems. 55-117
Electronic Edition (link) BibTeX
Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini:
Mental States Recognition from Communication. 119-136
Electronic Edition (link) BibTeX
Radim Belohlávek:
Logical Precision in Concept Lattices. 137-148
Electronic Edition (link) BibTeX
Marc Pauly:
A Modal Logic for Coalitional Power in Games. 149-166
Electronic Edition (link) BibTeX
Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini:
A Foundation for Metareasoning Part I: The Proof Theory. 167-208
Electronic Edition (link) BibTeX

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

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

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

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

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