Logic and Its Applications
Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings
Published on 10. December 2010
X, 219 pages
978-3-642-18026-2 (ISBN)
Description
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011. The 14 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 34 submissions. The papers present current research in all aspects of formal logic ranging from pure and applied logic to history of logic.
More details
Other editions
Additional editions
Mohua Banerjee | Anil Seth
Logic and Its Applications
Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings
Book
12/2010
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Semantics Based on Conceptual Spaces
- Introduction
- Conceptual Spaces as a Semantic Framework
- Properties and Concepts
- The Semantics of Adjectives, Nouns, and Prepositions
- Modelling Actions
- A Two-Vector Model of Events
- The Role of Events in the Semantics of Verbs
- Conclusion
- References
- Four Corners-East and West
- Introduction
- A Little History
- Making Sense of the Catuskoti
- Rejecting All the Kotis
- Accepting More than One Koti
- None of the Kotis, Again
- Conclusion
- References
- Infinite Games and Uniformization
- References
- On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility
- Introduction
- Fuzzy Sets
- Rough Sets
- Rough Membership Function
- Vagueness
- Concluding Remarks
- References
- The Logic of Campaigning
- Introduction
- The Formalism
- Some Examples
- What Happens When Someone Says Something?
- Learning from Communication
- The Use of Language in Campaigning
- Towards a Formal Model: Languages and Theories
- Worlds and Preferences
- Utilities of Worlds and Theories
- Voter Types
- The Value of a Message
- Complex Statements
- Moving to Complete Theories
- Does Order Matter?
- Independent Topics
- Implicature
- Future Work
- References
- A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
- Introduction
- Preliminaries
- The Logic
- Interpretation of sPDL
- Morphisms
- Expressivity
- Conclusion
- References
- Contextual Coalitional Games
- Introduction
- Preliminaries
- Formalization of Contextual Coalitional Games
- Representations of Contextual Coalitional Games
- Contextual Marginal Contribution Nets
- Contextual Marginal Contribution Nets
- An Example Using Contextual MC-Nets
- Related Work
- Conclusions
- References
- Sensible Semantics of Imperfect Information On a Formal Feature of Meanings
- Introduction
- Logics of Imperfect Information
- The Combinatorics of Imperfect Information
- Sensible Semantics
- Sensible Semantics of Imperfect Information
- References
- A Qualitative Approach to Uncertainty
- Introduction
- Some Relevant Issues: A Prelude
- Attitudes Representable with a Single Modal Operator
- Bipolar Representation of Information
- Approaches for Modeling Uncertainty
- A Language for Positive and Negative Attitudes
- The Basic System
- The New Attitudes
- The K System as a Particular Case
- Profile of the dual Framework
- Decidability
- Complexity
- Axiom Systems
- Concrete Interpretations
- Belief-Disbelief Logic
- Preference
- A Comparative Discussion
- A Logic of Acceptance and Rejection
- Some Logics of Belief and Disbelief
- Dynamics
- References
- The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift
- Introduction
- The Beginning of Modern Logic in Boole's The Mathematical Analysis of Logic
- The Completion of the Emergence of Modern Logic in Frege's Begriffsschrift
- Conclusion
- References
- A Modal Logic for Multiple-Source Tolerance Approximation Spaces
- Introduction
- Notion of Approximations in Multiple-Source Scenario
- Logic for [0,1]Q-Fuzzy Approximation Space
- Semantics
- Relationship with Basic Modal Logic
- Coalgebraic Perspective
- Axiomatization and Completeness
- Finite Model Property and Decidability
- Conclusions
- References
- A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic
- References
- First-Order Inquisitive Pair Logic
- Introduction
- Inquisitive Semantics and Constant-Domain Kripke Semantics
- Inquisitive Pair Semantics
- Constant-Domain Kripke Semantics
- A Complete Hilbert-Style Calculus for Inquisitive Pair Logic
- Tree-Sequent Calculus for First-Order Inquisitive Pair Logic
- Completeness of Tree-Sequent Calculus
- Cut-Elimination Theorem and Soundness of Tree-Sequent Calculus
- Conclusion
- References
- Ultrafilter Extensions of Models
- References
- Logic in the Community
- Reasoning about Social Relations
- Facebook Friends
- Distributed Knowledge
- Social Information Flow
- Deference to Expert Opinion
- Peer Pressure
- Community Norms
- Mutual Subordination
- Facebook Logic
- Distributed Knowledge
- Talking about Friends
- Indexical Public Announcements
- Talking to Friends
- Prospects
- References
- Reasoning about Protocol Change and Knowledge
- Introduction
- Protocol Announcement Logic PDL!
- Public Event Logic PDL!?b
- Conclusions and Future Work
- References
- Becoming Aware of Propositional Variables
- Introduction
- Structures
- Language and Semantics
- Intrinsic, Explicit and Implicit Knowledge
- Decidability
- Axiomatization
- Comparison
- References
- Author Index
