Quotient dynamics: the logic of abstraction

Open Access
Authors
Publication date 2017
Host editors
  • A. Baltag
  • J. Seligman
  • T. Yamada
Book title Logic, Rationality, and Interaction
Book subtitle 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings
ISBN
  • 9783662556641
ISBN (electronic)
  • 9783662556658
Series Lecture Notes in Computer Science
Event 6th International Workshop Logic, Rationality, and Interaction
Pages (from-to) 181-194
Publisher Berlin: Springer
Organisations
  • Faculty of Science (FNWI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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”.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-662-55665-8_13
Downloads
Quotient dynamics (Final published version)
Permalink to this page
Back