default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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 J. 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 λ-calculus. 1061-1104
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 00:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
