![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Logic and Computation, Volume 11
Volume 11, Number 1, February 2001
- Dov M. Gabbay:
Editorial. 1 - Heinrich Wansing:
Editorial and Call for Papers. 3-4 - Klaus Robering:
Ackermann's Implication for Typefree Logic. 5-23 - Benedikt Löwe:
Revision Sequences and Computers with an Infinite Amount of Time. 25-40 - Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-agent Only Knowing. 41-70 - Lionel Forget, Vincent Risch, Pierre Siegel:
Preferential Logics are X-logics. 71-83 - Stephan Tobies:
PSPACE Reasoning for Graded Modal Logics. 85-106 - Thomas M. Rudlof:
SHR Tableaux - A Framework for Automated Model Generation. 107-155 - Enrico Giunchiglia
, Fausto Giunchiglia:
Ideal and Real Belief about Belief. 157-192 - Luís C. Lamb
:
Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay. 193-194
Volume 11, Number 2, April 2001
- Orna Grumberg, Robert P. Kurshan:
Which Branching-Time Properties are Effectively Linear? 201-228 - Daniel Lehmann:
Nonmonotonic Logics and Semantics. 229-256 - Gerhard Brewka:
Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus. 257-282 - Agata Ciabattoni
:
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models. 283-294 - Michiel van Lambalgen:
Conditional Quantification, or Poor Man's Probability. 295-336 - Gilbert Ndjatou:
Minimizing Agent Specifications using a Logic of Knowledge and Actions. 337-354 - Richard E. Overill:
Book Review: "Selected Papers on Analysis of Algorithms" by Donald E. Knuth. 355 - Richard E. Overill:
Book Review: "Parallel Processing and Parallel Algorithms: Theory and Computation" by Seyed H. Roosta. 355-356 - Richard E. Overill:
Book Review: "Time Warps, String Edits, and Macromolecules: the Theory and Practice of Sequence Comparison" by David Sankoff and Joseph Kruskal. 356
Volume 11, Number 3, June 2001
- Fairouz Kamareddine:
Editorial. 359-361 - Fairouz Kamareddine:
Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems. 363-394 - Mariangiola Dezani-Ciancaglini
, Furio Honsell, Yoko Motohama:
Approximation Theorems for Intersection Type Systems. 395-417 - Gilles Dowek
:
About Folding-Unfolding Cuts and Cuts Modulo. 419-429 - Hugo Herbelin:
Explicit Substitutions and Reducibility. 431-451 - Hélène Kirchner, Peter D. Mosses
:
Algebraic Specifications, Higher-order Types and Set-theoretic Models. 453-481 - Jonathan P. Seldin:
Extensional Set Equality in the Calculus of Constructions. 483-493
Volume 11, Number 4, August 2001
- Wolfgang May, Paul-Thomas Kandzia:
Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages. 499-525 - Thomas Studer
:
A Semantics for [lambda]: a Calculus with Overloading and Late-binding. 527-544 - Twan Laan, Michael Franssen:
Embedding First-order Logic in a Pure Type System with Parameters. 545-557 - Sofia Guerra:
Composition of Default Specifications. 559-578 - Sylvie Coste-Marquis
, Pierre Marquis:
Knowledge Compilation for Closed World Reasoning and Circumscription. 579-607 - Edith Hemaspaandra:
The Complexity of Poor Man's Logic. 609-622 - George Tourlakis:
On the Soundness and Completeness of Equational Predicate Logics. 623-653
Volume 11, Number 5, October 2001
- Carlos Areces
, Patrick Blackburn
:
Bringing them all Together. 657-669 - Jerry Seligman:
Internalization: The Case of Hybrid Logics. 671-689 - Maarten Marx
:
Relation Algebra with Binders. 691-700 - Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Modal Logic with Bounded Quantification over Worlds. 701-715 - Carlos Areces
, Maarten de Rijke
, Hans de Nivelle:
Resolution in Modal, Description and Hybrid Logic. 717-736 - Valentin Goranko, Dimiter Vakarelov:
Sahlqvist Formulas in Hybrid Polyadic Modal Logics. 737-754
Volume 11, Number 6, December 2001
- Heinrich Wansing
:
Corner on directions in nonclassical logic. 759-760 - Yaroslav Shramko
, J. Michael Dunn, Tatsutoshi Takenaka:
The Trilattice of Constructive Truth Values. 761-788 - Sam Steel:
Comparing some Intuitions of 'Process Calculus' and 'Program Logic'. 789-827 - Francesca Levi:
Compositional Verification of Quantitative Properties of Statecharts. 829-878 - Marcus Kracht:
Reducing Modal Consequence Relations. 879-907 - Mark Reynolds
, Michael Zakharyaschev
:
On the Products of Linear Modal Logics. 909-931 - Stéphane Demri:
The Complexity of Regularity in Grammar Logics and Related Modal Logics. 933-960 - Richard E. Overill:
Book Review: "Cryptography and Computational Number Theory" by K.-Y. Lam, I. Shparlinski, H. Wang and C. Xing. 961 - Richard E. Overill:
Book Review: "Artificial Immune Systems and their Applications" by D. Dasgupta. 961-962 - Vladimir A. Zakharov:
Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peled. 962-964
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.