Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
A Logical Framework for Graded Predicates Read chapter Read first chapter

2017 | OriginalPaper | Chapter

Quotient Dynamics: The Logic of Abstraction

Authors : Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün

Published in: Logic, Rationality, and Interaction

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We propose a Logic of Abstraction, meant to formalize the act of “abstracting away” the irrelevant features of a model. We give complete axiomatizations for a number of variants of this formalism, and explore their expressivity. As a special case, we consider the “logics of filtration”.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Stability in Binary Opinion Diffusion
next chapter The Dynamics of Group Polarization
Footnotes
1
However, we’ll show that, in combination with applying relational transformers described by regular PDL programs, this lifting can capture other filtrations.
 
2
In Sect. 3, we will show precisely how filtrations fit into our framework.
 
3
The finiteness of \(\varSigma \) is in fact irrelevant for the definition of quotient models, however, this will be required in order to be able to provide reduction axioms for our new dynamic modalities introduced later in this section. This is why we keep the setting simple and work only with finite \(\varSigma \)s.
 
4
Note that two \(\varSigma \)-equivalent worlds may disagree on the propositional variables that are not in the set \(\varSigma \).
 
5
This definition is known to modal logicians under the name of smallest filtration (see, e.g., [7, Chap. 2.3]).
 
6
In this section—since the formalism is based on Kripke models with a single relation—we have only one basic program r in our syntax. In Sect. 4, we work with multi-relational Kripke models allowing for more than one basic programs, as standard in \(\mathbf {PDL}\).
 
7
The filtrations in the aforementioned sources are defined for a language without the universal modality. However, as observed in [13, Sect. 5.2], the universal modality does not cause any problems in the theory of filtrations.
 
8
Since filtrations are usually only defined for subformula closed sets—the reason being that the Filtration Theorem can only be proved in this case—we add this as an additional condition.
 
9
Recall that a transitive Kripke model \(\mathfrak {M}\) is called rooted if there is \(s \in W\) such that sRw for all \(w \in \mathfrak {M}\).
 
10
Similar to the case in Sect. 2, the sets \(\varSigma \) being finite is essential in order to obtain reduction axioms for the corresponding dynamic logic.
 
Literature
1.
Baltag, A., Renne, B.: Dynamic epistemic logic. In: Zalta, E.N. (ed.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University (2016)
2.
van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, New York (2014)
3.
4.
5.
6.
7.
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)CrossRefMATH
8.
Chagrov, A.V., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35. Oxford University Press, Oxford (1997)MATH
9.
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, 1st edn. Springer Publishing Company, Incorporated, Netherlands (2007)CrossRefMATH
10.
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)MATH
11.
12.
13.
14.
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)MATH
15.
Minică, Ş.: Dynamic Logic of Questions. Ph.D. thesis, ILLC, University of Amsterdam (2011)
16.
Plaza, J.: Logics of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)
17.
Metadata
Title
Quotient Dynamics: The Logic of Abstraction
Authors
Alexandru Baltag
Nick Bezhanishvili
Julia Ilin
Aybüke Özgün
Copyright Year
2017
Publisher
Springer Berlin Heidelberg
Book
Logic, Rationality, and Interaction

Print ISBN: 978-3-662-55664-1

Electronic ISBN: 978-3-662-55665-8

Copyright Year: 2017

DOI
https://doi.org/10.1007/978-3-662-55665-8_13

Premium Partner

    Image Credits