Quotient Dynamics: The Logic of Abstraction

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”. 
DOI: 10.1007/978-3-662-55665-8_13

Topics

1 Figure or Table

Cite this paper

@inproceedings{Baltag2017QuotientDT, title={Quotient Dynamics: The Logic of Abstraction}, author={Alexandru Baltag and Nick Bezhanishvili and Julia Ilin and Ayb{\"{u}ke {\"{O}zg{\"{u}n}, booktitle={LORI}, year={2017} }