Partiality, Modality and Nonmonotonicity
Distributed for Center for the Study of Language and Information
300 pages
|
6 x 9
|
© 1996
Contents
Contributors
Preface
Part I: Foundations
1. How Different is Partial Logic?
[I]Tore Langholm[I]
2. Sequent Formalizations of Three-Valued Logic
[I]Douglas Busch[I]
3. Modalities for Reasoning about Knowledge and Uncertainties
[I]Wiebe van der Hoek and John-Jules Meyer[I]
4. Fundamentals of Partial Modal Logic
[I]Jan Jaspars and Elias Thijsse[I]
Part II: Case Studies
5. A Study in Modal Embeddings of NML3
[I]Patrick Doherty and Witold Lukaszewicz[I]
6. A Model-based Approach to Predictive Causal Reasoning
[I]John Bell[I]
7. Partial Semantics for Truth Maintenance
[I]Cees Witteveen[I]
8. Combining Partial and Classical Semantics. A Hybrid Approach to Belief and Awareness
[I]Elias Thijsse[I]
9. Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning
[I]Ilkka Niemelä[I]
Name Index
Subject Index
Preface
Part I: Foundations
1. How Different is Partial Logic?
[I]Tore Langholm[I]
2. Sequent Formalizations of Three-Valued Logic
[I]Douglas Busch[I]
3. Modalities for Reasoning about Knowledge and Uncertainties
[I]Wiebe van der Hoek and John-Jules Meyer[I]
4. Fundamentals of Partial Modal Logic
[I]Jan Jaspars and Elias Thijsse[I]
Part II: Case Studies
5. A Study in Modal Embeddings of NML3
[I]Patrick Doherty and Witold Lukaszewicz[I]
6. A Model-based Approach to Predictive Causal Reasoning
[I]John Bell[I]
7. Partial Semantics for Truth Maintenance
[I]Cees Witteveen[I]
8. Combining Partial and Classical Semantics. A Hybrid Approach to Belief and Awareness
[I]Elias Thijsse[I]
9. Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning
[I]Ilkka Niemelä[I]
Name Index
Subject Index
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here
Language and Linguistics: Formal Logic and Computational Linguistics
Philosophy: Logic and Philosophy of Language
You may purchase this title at these fine bookstores. Outside the USA, see our international sales information.
