Applied logic series

• 資料種別: 図書
• タイトル: Applied logic series
• 出版事項: Kluwer
• 出版年月日等: c1996-
• 出版年（W3CDTF）: 1996
• 並列タイトル等: APLS
• 出版地（国名コード）: ne
• 対象利用者: 一般
• 一般注記: Managing editor: Dov M. Gabbay. Co-editor: Jon Barwise. Editorial assistant: Jane Spurr. --from v. 13 (c1999); Publisher varies: Springer
• 関連情報: A modern perspective on type theory : from its origins until today; https://cir.nii.ac.jp/crid/1130000794194287744; Multi-dimensional modal logic; https://cir.nii.ac.jp/crid/1130000794342326528; New essays in free logic in honour of Karel Lambert; https://cir.nii.ac.jp/crid/1130000794360721152; Goal-directed proof theory; https://cir.nii.ac.jp/crid/1130000794387593728; The semantics and proof theory of the logic of bunched implications; https://cir.nii.ac.jp/crid/1130000794459665408; Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition; https://cir.nii.ac.jp/crid/1130000795060308480; Automated deduction : a basis for applications; https://cir.nii.ac.jp/crid/1130000795143448192; Intellectics and computational logic : papers in honor of Wolfgang Bibel; https://cir.nii.ac.jp/crid/1130000795558140416; Foundations of rational agency; https://cir.nii.ac.jp/crid/1130000795706964480; An introduction to mathematical logic and type theory : to truth through proof; https://cir.nii.ac.jp/crid/1130000796107905408; Proof theory of modal logic; https://cir.nii.ac.jp/crid/1130000796221858688; Advances in intensional logic; https://cir.nii.ac.jp/crid/1130000796654982400; Hybrid logic and its proof-theory; https://cir.nii.ac.jp/crid/1130000796676510208; Frontiers in belief revision; https://cir.nii.ac.jp/crid/1130000797008289920; Fallacies arising from ambiguity; https://cir.nii.ac.jp/crid/1130000797331335296; What is negation?; https://cir.nii.ac.jp/crid/1130000797751757824; Automated model building; https://cir.nii.ac.jp/crid/1130282268720452352; Proof theory for fuzzy logics; https://cir.nii.ac.jp/crid/1130282268872438016; A textbook of belief dynamics : theory change and database updating; https://cir.nii.ac.jp/crid/1130282269153865728; Labelled deduction; https://cir.nii.ac.jp/crid/1130282269267554304; Dynamic worlds : from the frame problems to knowledge management; https://cir.nii.ac.jp/crid/1130282269330992000; Foundations of bayesianism; https://cir.nii.ac.jp/crid/1130282269586214400; Advances in temporal logic; https://cir.nii.ac.jp/crid/1130282270358896128; Analysis and synthesis of logics : how to cut and paste reasoning systems; https://cir.nii.ac.jp/crid/1130282270487904896; Proof theory and automated deduction; https://cir.nii.ac.jp/crid/1130282270914018048; Logic, language, and computation; https://cir.nii.ac.jp/crid/1130282271043886976; Rigid flexibility : the logic of intelligence; https://cir.nii.ac.jp/crid/1130282271060432128; Thirty five years of automating mathematics; https://cir.nii.ac.jp/crid/1130282271070318592; https://cir.nii.ac.jp/crid/1130282271087365376; Dynamic worlds : from the frame problem to knowledge management; https://cir.nii.ac.jp/crid/1130282271129343488; Formal aspects of context; https://cir.nii.ac.jp/crid/1130282271424094336; https://cir.nii.ac.jp/crid/1130282271801073280; https://cir.nii.ac.jp/crid/1130282271809094656; Fuzzy sets, logics and reasoning about knowledge; https://cir.nii.ac.jp/crid/1130282271976709632; The death of argument : fallacies in agent based reasoning; https://cir.nii.ac.jp/crid/1130282272357786496; Abduction and induction : essays on their relation and integration; https://cir.nii.ac.jp/crid/1130282272595512320; Reasoning robots : the art and science of programming robotic agents; https://cir.nii.ac.jp/crid/1130282272791656576; Frontiers of combining systems : first international workshop, Munich, March 1996; https://cir.nii.ac.jp/crid/1130282272804967040; https://cir.nii.ac.jp/crid/1130282272856545664; Logical and computational aspects of model-based reasoning; https://cir.nii.ac.jp/crid/1130282272888110208; https://cir.nii.ac.jp/crid/1130286429695288576
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA28718584#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA28718584 : BA28718584

目次

A modern perspective on type theory : from its origins until today

Multi-dimensional modal logic

New essays in free logic in honour of Karel Lambert

Goal-directed proof theory

The semantics and proof theory of the logic of bunched implications