Labelled Deduction by David Basin
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
-
Logic, Language and Computation
-
Multi-Dimensional Modal Logic
-
Frontiers of Combining Systems
-
Thirty Five Years of Automating Mathematics
-
Foundations of Bayesianism
-
Rigid Flexibility
-
Reasoning Robots
-
A Modern Perspective on Type Theory
-
Hybrid Logic and its Proof-Theory
-
Proof Theory for Fuzzy Logics
-
Foundations of Rational Agency
-
Goal-Directed Proof Theory
-
A Textbook of Belief Dynamics
-
New Essays in Free Logic
-
The Semantics and Proof Theory of the Logic of Bunched Implications
-
Proof Theory of Modal Logic
-
Frontiers in Belief Revision
-
Advances in Intensional Logic
-
Inference on the Low Level
-
Fuzzy Sets, Logics and Reasoning about Knowledge
-
Automated Model Building
-
The Death of Argument
-
Dynamic Worlds
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-
An Introduction to Mathematical Logic and Type Theory
-
Advances in Temporal Logic
-
What is Negation?
-
Abduction and Induction
-
Intellectics and Computational Logic
-
Formal Aspects of Context
-
Logical and Computational Aspects of Model-Based Reasoning
-
Analysis and Synthesis of Logics
Prof. Dr. David Basin is the Chair of Information Security at ETH Z�rich; his research focuses on information security, in particular methods and tools for modeling, building, and validating secure and reliable systems. Dr. Patrick Schaller is a lecturer at ETH Z�rich, his research is concerned with the formalization and analysis of security protocols. Michael Schl�pfer is a graduate student of ETH Z�rich.
| SKU | Unavailable |
| ISBN 13 | 9789401057813 |
| ISBN 10 | 9401057818 |
| Title | Labelled Deduction |
| Author | David Basin |
| Series | Applied Logic Series |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2012-10-08 |
| Number of pages | 267 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |