We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£42.00
VDM Verlag Topics in Subset Space Logic: An Introduction to the Geometry of Dynamic Epistemology
Price data last checked 51 day(s) ago - refreshing...
Price History & Forecast
Last 40 days • 40 data points (No recent data available)
Price Distribution
Price distribution over 40 days • 1 price levels
Price Analysis
Most common price: £42 (40 days, 100.0%)
Price range: £42 - £42
Price levels: 1 different prices over 40 days
Description
In this work, we will first provide a comprehensive outlook of subset space logic in detail to set the basis for our discussions. Then, we will import some simple truth preserving operations and observe that these operations are valid in subset space logic as well. Equipped with all these tools, we will observe that the subset space logic is strong enough to axiomatize the dynamic aspects of knowledge change, in particular, the public announcement logic. We will then provide the full axiomatization of subset space public announcement logic and its then straightforward completeness proof. As long as the research area of geometry of knowledge is considered, we believe, it is significant to see that public announcement logic works well in the subset space language. All these discussions will lead us to take a closer look at the notion of shrinking - which can be considered as the temporal and perhaps the dynamic operator of the subset space logic. We will observe that, in fact, the shrinking operator is not a remote concept in formal sciences.
Product Specifications
- Brand
- VDM Verlag
- Format
- paperback
- ASIN
- 363923331X
- Domain
- Amazon UK
- Release Date
- 29 January 2010
- Listed Since
- 01 February 2010
Barcode
No barcode data available
Similar Products You Might Like
91% match
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
£104.96
13 Jan 2026
91% match
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
£95.00
20 Feb 2026
91% match
Eliminating The Universe: Logical Properties Of Natural Language
Scientific Publishing
£62.93
02 Feb 2026
91% match
Introduction to Logic and Logical Discourse
£91.52
07 Jan 2026
91% match
Introduction to Logic and Logical Discourse
Springer
£89.88
25 Feb 2026
91% match
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
North Holland
£115.00
12 Jan 2026
91% match
Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)
Springer
£40.84
07 Mar 2026
91% match
Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)
Springer
£82.80
07 Mar 2026
91% match
Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)
Springer
£83.43
01 Mar 2026
91% match
Mathematical Logic: An Introduction (De Gruyter Textbook)
£61.17
11 Jan 2026
91% match
Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics
£199.30
06 Feb 2026
91% match
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
£49.99
22 Feb 2026
91% match
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
£71.00
26 Feb 2026
91% match
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
£157.85
10 Mar 2026
90% match
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
£85.45
08 Jan 2026
90% match
Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)
Springer
£84.46
22 Feb 2026
90% match
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision: 420 (Synthese Library, 420)
Springer
£59.77
29 Mar 2026
90% match
Routledge - An Introduction to Substructural Logics Book
Routledge
£137.61
20 Apr 2026
90% match
The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)
Springer
£39.18
08 Mar 2026
90% match
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
£105.00
26 Feb 2026
90% match
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
£41.89
17 Feb 2026
90% match
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
£68.39
23 Feb 2026
90% match
Propositional Logics Third Edition
Advanced Reasoning Forum
£37.39
16 Feb 2026
90% match
Handbook of Spatial Logics
Springer
£202.90
01 Feb 2026