Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
a service of 
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 2024-04-19 19:19 CEST 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:
