Abstract
Ordered action systems are systems whose sets of states are partially ordered. A typology of ordered systems depending on the properties of the component order relation is presented. A significant role of fixed points of the transition relation in ordered systems is emphasized. Numerous examples illustrate the theory.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The term ‘isotone function’ is also used.
- 2.
The term ‘isotone relation’ is also used.
- 3.
David Makinson considered functions with this property in the context of his research on modal logics.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2015 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Czelakowski, J. (2015). Ordered Action Systems. In: Freedom and Enforcement in Action. Trends in Logic, vol 42. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-9855-6_3
Download citation
DOI: https://doi.org/10.1007/978-94-017-9855-6_3
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-017-9854-9
Online ISBN: 978-94-017-9855-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)