Neighborhood semantics for modal logic. (2017)

• Record Type: Book
• Further Information: Note: By Eric Pacuit.
• Authors: Pacuit, Eric
• Contents: 1. Introduction and Motivation 1.1 Subset Spaces 1.2 Language and Semantics 1.3 Why Non-Normal Modal Logic? 1.4 Why Neighborhood Structures?2. Core Theory 2.1 Expressive Power and Invariance 2.2 Alternative Semantics for Non-Normal Modal Logic 2.3 The Landscape of Non-Normal Modal Logic 2.4 Computational Issues 2.5 Frame Correspondence 2.6 Translations3. Richer Languages 3.1 Universal Modality and Nominals 3.2 First-Order Neighborhood Structures 3.3 Common Belief on Neighborhood Structures 3.4 Dynamics with Neighborhoods: Game Logic 3.5 Dynamics on Neighborhood StructuresA. Relational Semantics for Modal Logic A.1 Definability A.2 Normal Modal Logics.
• Publisher Details: Cham : Springer
• Publication Date: 2017
• Copyright Date: 2017
• Extent: 1 online resource (154 pages)
• Subjects: 100; Philosophy; Modality (Logic); Computer logic; Computer science -- Mathematics; Logic, Symbolic and mathematical; Logic; Computer science; Engineering mathematics; Logic design; Modality (Logic); Semantics (Philosophy); Computers -- Data Processing; Mathematics -- Logic; Mathematics -- Applied; Computers -- Programming -- General; Mathematical theory of computation; Mathematical foundations; Maths for engineers; Computer programming / software development; Philosophy -- Logic; Philosophy: logic
• Languages: English
• ISBNs: 9783319671499
• Related ISBNs: 9783319671482
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.