Search by Bookstore
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
other
CiNii Research
Search ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Title
- Publication, Distribution, etc.
- Publication Date
- c1996-
- Publication Date (W3CDTF)
- 1996
- Alternative Title
- APLS
- Place of Publication (Country Code)
- ne
- Target Audience
- 一般
- Note (General)
- Managing editor: Dov M. Gabbay. Co-editor: Jon Barwise. Editorial assistant: Jane Spurr. --from v. 13 (c1999)Publisher varies: Springer
- Related Material
- A modern perspective on type theory : from its origins until todayMulti-dimensional modal logicNew essays in free logic in honour of Karel LambertGoal-directed proof theoryThe semantics and proof theory of the logic of bunched implicationsInference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognitionAutomated deduction : a basis for applicationsIntellectics and computational logic : papers in honor of Wolfgang BibelFoundations of rational agencyAn introduction to mathematical logic and type theory : to truth through proofProof theory of modal logicAdvances in intensional logicHybrid logic and its proof-theoryFrontiers in belief revisionFallacies arising from ambiguityWhat is negation?Automated model buildingProof theory for fuzzy logicsA textbook of belief dynamics : theory change and database updatingLabelled deductionDynamic worlds : from the frame problems to knowledge managementFoundations of bayesianismAdvances in temporal logicAnalysis and synthesis of logics : how to cut and paste reasoning systemsProof theory and automated deductionLogic, language, and computationRigid flexibility : the logic of intelligenceThirty five years of automating mathematicsFoundations of bayesianismDynamic worlds : from the frame problem to knowledge managementFormal aspects of contextA textbook of belief dynamics : theory change and database updatingHybrid logic and its proof-theoryFuzzy sets, logics and reasoning about knowledgeThe death of argument : fallacies in agent based reasoningAbduction and induction : essays on their relation and integrationReasoning robots : the art and science of programming robotic agentsFrontiers of combining systems : first international workshop, Munich, March 1996Analysis and synthesis of logics : how to cut and paste reasoning systemsLogical and computational aspects of model-based reasoningProof theory of modal logic