1  20
Next
 Dorr, Cian, author.
 First edition  Oxford : Oxford University Press, 2021
 Description
 Book — 1 online resource
 Summary

 Foreword Introduction
 1: Logical tools
 2: Tolerance Puzzles
 3: Motivating Noncontingency
 4: Coincidence Puzzles
 5: Accepting Hypertolerance
 6: Hypertolerance and supervenience
 7: Rejecting Iteration
 8: Iteration for metaphysical necessity
 9: Tolerance and chance
 10: Tolerance and counterpart theory
 11: Resolving the puzzles
 12: Refinements and choice points
 13: Alternatives and challenges
 14: Indiscernible Tolerance Arguments
 15: Nonqualitativeness and aboutness Appendix A Modal logics Appendix B Rigidity and Ancestral Iteration Appendix C Consequences of the rigidity axioms Appendix D Narrower modalities in higherorder S4.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Dorr, Cian Seán, 1972 author.
 First edition  Oxford ; New York : Oxford University Press, 2021
 Description
 Book — x, 436 pages : illustrations ; 24 cm
 Summary

 Foreword Introduction
 1: Logical tools
 2: Tolerance Puzzles
 3: Motivating Noncontingency
 4: Coincidence Puzzles
 5: Accepting Hypertolerance
 6: Hypertolerance and supervenience
 7: Rejecting Iteration
 8: Iteration for metaphysical necessity
 9: Tolerance and chance
 10: Tolerance and counterpart theory
 11: Resolving the puzzles
 12: Refinements and choice points
 13: Alternatives and challenges
 14: Indiscernible Tolerance Arguments
 15: Nonqualitativeness and aboutness Appendix A Modal logics Appendix B Rigidity and Ancestral Iteration Appendix C Consequences of the rigidity axioms Appendix D Narrower modalities in higherorder S4.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
4. Modal logic for open minds [2010]
 Benthem, Johan van, 1949
 Stanford, Calif. : Center for the Study of Language and Information, c2010.
 Description
 Book — xi, 381 p. : ill. ; 24 cm.
 Summary

In "Modal Logic for Open Minds", Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and axiomatics, and then covers more advanced topics, such as expressive power, computational complexity, and intelligent agency. Many of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.
(source: Nielsen Book Data)
 Online
Green Library, Philosophy Library (Tanner)
Green Library  Status 

Find it Jonsson Social Sciences Reading Room: CSLI publications  
P51 .C18 NO.199  Unknown Request 
Philosophy Library (Tanner)  Status 

Stacks  
BC199 .M6 B465 2010  Unknown 
 Oxford ; New York : Oxford University Press, 2010.
 Description
 Book — vi, 363 p. : ill. ; 25 cm.
 Summary

 Introduction
 PART I: METAPHYSICS AND LOGIC
 1. Merely Possible Propositions
 Response to Robert Stalnaker
 2. Logical Necessity
 3. Semantic Necessity
 4. Modal Logic within Counterfactual Logic
 5. Is Timothy Williamson a Necessary Existent?
 6. Metaphysical Dependence: Grounding and Reduction
 7. On the Source of Necessity
 8. The Reality of Modality
 9. IBE, GMR, and Metaphysical Projects
 10. Modal Commitments
 Response to John Divers
 PART II: EPISTEMOLOGY
 11. Permission and (SoCalled Epistemic) Possibility
 Response to Stephen Yablo
 12. Possible Worlds and the Necessary A Posteriori
 Response to Frank Jackson
 13. Apriorism about Modality
 Response to Scott Sturgeon
 14. Conceivability and Apparent Possibility
 Response to Dominic Gregory
 Bibliography
 Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
BC199 .M6 M613 2010  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
BC199 .M6 M613 2010  Available 
 Cocchiarella, Nino B.
 Oxford ; New York : Oxford University Press, 2008.
 Description
 Book — xi, 268 p. ; 25 cm.
 Summary

 1. Introduction
 2. The Syntax of Modal Sentential Calculi, 2.12.3
 3. Matrix Semantics, 3.13.3
 4. Semantics for Logical Necessity, 4.14.3
 5. Semantics for S5, 5.15.3
 6. Relational World Systems, 6.16.11
 7. Quantified Modal Logic, 7.17.6
 8. The Semantics of Quantified Modal Logic, 8.18.7
 9. SecondOrder Modal Logic, 9.19.6
 10. Semantics of SecondOrder Modal Logic, 10.110.5
 AFTERWARD
 BIBLIOGRAPHY
 INDEX.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
BC199 .M6 C63 2008  Available 
 Meixner, Uwe.
 Frankfurt am Main : Klostermann, c2008.
 Description
 Book — 247 p. ; 20 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
BD218.5 .M44 2008  Available 
 1st ed.  Amsterdam ; Boston : Elsevier North Holland, 2003.
 Description
 Book — xviii, 747 p. : ill.
 1st ed.  Amsterdam ; Boston : Elsevier North Holland, 2003.
 Description
 Book — xviii, 747 p. ; 23 cm.
 Summary

 I Introduction
 1 Modal logic basics
 1.1 Modal axiomatic systems
 1.2 Possible world semantics
 1.3 Classical firstorder logic and the standard translation
 1.4 Multimodal logics 1.5 Algebraic semantics
 1.6 Decision, complexity and axiomatizability problems 2 Applied modal logic
 2.1 Temporal logic 2.2 Interval temporal logic 2.3 Epistemic logic
 2.4 Dynamic logic
 2.5 Description logic 2.6 Spatial logic
 2.7 Intuitionistic logic
 2.8 'Model level' reductions between logics 3 Manydimensional modal logics
 3.1 Fusions 3.2 Spatiotemporal logics
 3.3 Products
 3.4 Temporal epistemic logics
 3.5 Classical firstorder logic as a propositional multimodal logic
 3.6 Firstorder modal logics
 3.7 Firstorder temporal logics 3.8 Description logics with modal operators
 3.9 HS as a twodimensional logic 3.10 Modal transition logics 3.11 Intuitionistic modal logics II Fusions and products
 4 Fusions of modal logics
 4.1 Preserving Kripke completeness and the finite model property
 4.2 Algebraic preliminaries 4.3 Preserving decidability of global consequence
 4.4 Preserving decidability
 4.5 Preserving interpolation 4.6 On the computational complexity of fusions 5 Products of modal logics: introduction
 5.1 Axiomatizing products
 5.2 Proving decidability with quasimodels
 5.3 The finite model property 5.4 Proving undecidability 5.5 Proving complexity with tilings 6 Decidable products
 6.1 Warming up: Kn x Km
 6.2 CPDL x K_m
 6.3 Products of epistemic logics with Km
 6.4 Products of temporal logics with Km 6.5 Products with S5
 6.6 Products with multimodal S5 7 Undecidable products
 7.1 Products of linear orders with infinite ascending chains 7.2 Products of linear orders with infinite descending chains
 7.3 Products of Dedekind complete linear orders
 7.4 Products of finite linear orders 7.5 More undecidable products 8 Higherdimensional products
 8.1 S5 x S5 x ... x S5 8.2 Products between K4 x K4 x ... x K4 and S5 x S5 x ... x S5
 8.3 Products with the fmp
 8.4 Between K x K x ... x K and S5 x S5 x ... x S5
 8.5 Finitely axiomatizable and decidable products 9 Variations on products
 9.1 Relativized products
 9.2 Valuation restrictions 10 Intuitionistic modal logics
 10.1 Intuitionistic modal logics with Box
 10.2 Intuitionistic modal logics with Box and Diamond
 10.3 The finite model property III Firstorder modal logics
 11 Fragments of firstorder temporal logics
 11.1 Undecidable fragments
 11.2 Monodic formulas, decidable fragments
 11.3 Embedding into monadic secondorder theories
 11.4 Complexity of decidable fragments of QLogSU(N)
 11.5 Satisfiability in models over (N, <) with finite domains
 11.6 Satisfiability in models over (R, <) with finite domains
 11.7 Axiomatizing monodic fragments
 11.8 Monodicity and equality 12 Fragments of firstorder dynamic and epistemic logics
 12.1 Decision problems
 12.2 Axiomatizing monodic fragments IV Applications to knowledge representation
 13 Temporal epistemic logics
 13.1 Synchronous systems
 13.2 Agents who know the time and neither forget nor learn 14 Modal description logics
 14.1 Concept satisfiability
 14.2 General formula satisfiability
 14.3 Restricted formula satisfiability
 14.4 Satisfiability in models with finite domains 15 Tableaux for modal description logics
 15.1 Tableaux for ALC
 15.2 Tableaux for K(ALC) with constant domains
 15.3 Adding expressive power to K(ALC) 16 Spatiotemporal logics
 16.1 Modal formalisms for spatiotemporal reasoning
 16.2 Embedding spatiotemporal logics in firstorder temporal logic
 16.3 Complexity of spatiotemporal logics
 16.4 Models based on Euclidean spaces Epilogue. Bibliography. List of tables. List of languages and logics. Symbol index. Subject index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
BC199 .M6 M37 2003  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
BC199 .M6 M37 2003  Available 
 Stalnaker, Robert.
 Oxford : Clarendon ; Oxford ; New York : Oxford University Press, 2003.
 Description
 Book — ix, 287 p. : ill.
11. Modal logic [2001]
 Blackburn, Patrick, 1959
 Cambridge [England] ; New York : Cambridge University Press, 2001.
 Description
 Book — xxii, 554 p. ; 24 cm.
 Summary

 1. Basic concepts
 2. Models
 3. Frames
 4. Completeness
 5. Algebras and general frames
 6. Computability and complexity
 7. Extended modal logic.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
12. Labelled Deduction [2000]
 Basin, David.
 Dordrecht : Springer Netherlands : Imprint : Springer, 2000.
 Description
 Book — 1 online resource (280 pages) Digital: text file.PDF.
 Summary

 Labelled Proof Systems for Intuitionistic Provability
 Normal Multimodal Logics with Interaction Axioms
 The SAT Problem of Signed CNF Formulas
 Discipline as Logic: Treating Labels as First Class Citizens
 Labelled Abduction
 Labelled Tableaux for Propositional Linear Time Logic over Finite Frames
 Fibred Modal Tableaux
 Labelled Deduction for the Guarded Fragment
 Semantics for Temporal Annotated Constraint Logic Programming
 Alessandra Raffaetà
 The Logic of Reusable Propositional Output with the Fulfilment Constraint.
13. Tools and techniques in modal logic [1999]
 Kracht, Marcus.
 1st ed.  Amsterdam ; New York : Elsevier, 1999.
 Description
 Book — xiii, 559 p. : ill. ; 24 cm.
 Summary

 Chapter Headings only. About this Book. Overview.
 Part 1. The Fundamentals. Algebra, logic and deduction. Fundamentals of modal logic I. Fundamentals of modal logic II.
 Part 2. The General Theory of Modal Logic. Universal algebra and duality theory. Definability and correspondence. Reducing polymodal logic to monomodal logic. Lattices of modal logics.
 Part 3. Case Studies. Extensions of K4. Logics of bounded alternativity. Dynamic logic. Index. Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.46 .K7 1999  Available 
14. Displaying modal logic [1998]
 Wansing, H. (Heinrich)
 Dordrecht [Netherlands] ; Boston : Kluwer Academic, c1998.
 Description
 Book — xi, 252 p. : ill. ; 25 cm.
 Summary

 Sequents generalized
 display logic
 properly displayable logics, displayable logics and strong cutelimination
 a prooftheoretic proof of functional completeness for many modal and tense logics
 modal tableaux based on residuation
 strong cutelimination and labelled modal tableaux
 Tarskian structured consequence relations and functional completeness
 constructive negation and the modal logic of consistency
 displaying as temporalizing
 translation of hypersequents into display sequents
 predicate logics on display.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
BC199 .M6 W36 1998  Available 
15. Firstorder modal logic [1998]
 Fitting, Melvin, 1942
 Dordrecht ; Boston, Mass. : Kluwer Academic, c1998.
 Description
 Book — xii 287 p. : ill. ; 25 cm.
 Summary

 Preface.
 1. Propositional Modal Logic.
 2. Tableau Proof Systems.
 3. Axiom Systems.
 4. Quantified Modal Logic.
 5. FirstOrder Tableaus.
 6. FirstOrder Axiom Systems.
 7. Equality.
 8. Existence and Actualist Quantification.
 9. Terms and Predicate Abstraction.
 10. Abstraction Continued.
 11. Designation.
 12. Definite Descriptions. References. Index.
 (source: Nielsen Book Data)
 Propositional modal logic
 tableau proof systems
 axiom systems
 quantified modal logic
 firstorder tableaux
 firstorder axiom systems
 equality
 existence and actualist quantification
 terms and predicate abstraction
 abstraction continued
 designation
 definite descriptions.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BC199 .M6 F58 1998  Unavailable Request 
16. Advances in intensional logic [1997]
 Dordrecht ; Boston : Kluwer Academic Publishers, c1997.
 Description
 Book — xiv, 291 p. : ill. ; 25 cm.
 Summary

 Modal Quantification over Structured Domains, J. van Benthem, N. Alechina
 Modal Logic and ModelTheoretic Syntax, P. Blackburn, W. MeyerViol
 The Functional Interpretation of Modal Necessity, R.J.G.B. de Queiroz, D.M. Gabbay
 Logics of Schemes for FirstOrder Theories and PolyModal Propositional Logic, V.V. Rybakov
 The Logic of Correct Description, J. Seligman
 Modal Logics of Arrows, D. Vakarelov
 A FullCircle Theorem for Simple Tense Logic, H. Wansing
 Canonical Formulas for Modal and Superintuitionistic Logics  A Short Outline, M. Zakharyaschev
 The Modal Object Calculus and its Interpretation, E.N. Zalta.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.46 .A38 1997  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.46 .A38 1997  Available 
17. Multidimensional modal logic [1997]
 Marx, Maarten.
 Dordrecht ; Boston, Mass. : Kluwer Academic Publishers, 1997.
 Description
 Book — xiii, 239 p. : ill. ; 25 cm.
 Summary

 Preface.
 1. MultiDimensional Modal Logic.
 2. Two Dimensional Modal Logics.
 3. Arrow Logic.
 4. Modal Logics of Intervals.
 5. Modal Logics of Relations.
 6. MultiDimensional Semantics for Every Modal Language. Open Problems. A. Modal Similarity Types. B. A Modal Toolkit. Bibliography. List of Symbols. Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.46 .M37 1997  Available 
18. A new introduction to modal logic [1996]
 Hughes, G. E. (George Edward), 1918
 New York : Routledge, 1996.
 Description
 Book — x, 421 p. ; 23 cm.
 Summary

Modal logic is the logic of necessity and possibility. Unlike nonmodal logic, it codifies structures which represent how things could be as well as how things are. This text guides readers through the most basic systems of modal predicate logic with identity. Dealing with both technical developments such as completeness and incompleteness and finite and infinite models, it discusses philosophical applications, especially in the area of predicate logic.
(source: Nielsen Book Data)
Modal logic is the logic of necessity and possibility, of 'must be' and 'may be'. Unlike nonmodal logic, it codifies structures which represent how things could be as well as how things are. This book is intended to replace the widely used Introduction to Modal Logic and the more recent, Companion to Modal Logic , by the same authors. The principle changes include the incorporation of developments that have taken place since 1968 both in modal propositional logic and in modal predicate logic, but without sacrificing the clarity of exposition and the accessiblity of the material which were essential features of the earlier books. Most importantly, the book has been completely rewritten and in no sense is a 'new edition' of either book. A New Introduction to Modal Logic guides readers through the most basic systems of modal predicate logic with identity. It deals with both technical developments such as completeness and incompleteness, and finite and infinite models, and discusses philosophical applications, especially in the area of predicate logic. Written for students of logic and for their lecturers, philosophers, linguistics, mathematicians, computer scientists and those studying cognitive science or semantics. A New Introduction to Modal Logic is the only textbook you will need.
(source: Nielsen Book Data)
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
BC199 .M6 H85 1996  Unknown 
19. First steps in modal logic [1994]
 Popkorn, Sally.
 Cambridge ; New York : Cambridge University Press, 1994.
 Description
 Book — 314 p.
 Summary

 Introduction
 Acknowledgements
 Part I. Preliminaries: 1. Survey of propositional logic
 2. The modal language
 Part II. Transition Structures and Semantics: 3. Labelled transition structures
 4. Valuation and satisfaction
 5. Correspondence theory
 6. The general confluence result
 Part III. Proof Theory and Completeness: 7. Some consequence relations
 8. Standard formal systems
 9. The general completeness result
 10. Kripkecompleteness
 Part IV. Model Constructions: 11. Bismulations
 12. Filtrations
 13. The finite model property
 Part V. More Advanced Material: 14. SLL logic
 15. Lob logic
 16. Canonicity without the fmp
 17. Transition structures aren't enough
 Part VI. Two Appendices: Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.46 .P67 1994  Available 
 Dordrecht ; Boston : Kluwer Academic Publishers, c1993.
 Description
 Book — ix, 388 p. ; 23 cm.
 Summary

 Beyond Accessibility: Functional Models for Modal Logic, J. van Benthem. Modal Logic and Attribute Value Structures, P. Blackburn. Interpreting Modal Natural Deduction in Type Theory, T. Borghuis. Modal Translations in K and D, K. Dosen. Logical Omniscience and Inconsistent Belief, J.O.M. Jaspers. Cautious Backtracking in Truth Maintenance Systems, C. Jonker. How Completeness and Correspondence Theory got Married, M. Kracht. Dyadic Modalities and Lambek Calculus, D. Roorda. A Logic with Progressive Tenses, V. Shehtman. The Complexity of Propositional Tense Logics, E. Spaan. On Total Awareness Logics, E Thijsse. Completeness via Completeness: Since and Until, Y. Venema. The Feasibility of Defeat in Defeasible Reasoning, G. Vreeswijk.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.46 .R55 1993  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.46 .R55 1993  Available 
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.