Skip to main content
SpringerLink
Log in

Logic of Convex Order

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Based on a (total) pre-order on a set, we axiomatize the Egli-Milner order on the power set and show how it is related to the Lewis order. Moreover, we consider a strict version of the Egli-Milner order and show how it can be related to the semantics of conditionals based on a priority structure.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Alchourròn, C. E., P. Gärdenfors, and D. Makinson, On the logic of theory change: partial meet functions for contraction and revision, Journal of Symbolic Logic 50:510–530, 1985.

    Article  Google Scholar 

  2. Board, O., Dynamic interactive epistemology, Games and Economic Behavior 49:49–80, 2004.

    Article  Google Scholar 

  3. Brink, C., Power Structures and Their Application, Ph.D. thesis, Univeristy of Johannesburg, 1992.

  4. Cantwell, J., Non-Linear Belief Revision, Ph.D. thesis, Uppsala University, Sweden, 2000.

  5. Fine, K., A theory of truthmaker content I: conjunction, disjunction and negation, Journal of Philosophical Logic 46:625–674, 2017.

    Article  Google Scholar 

  6. Gunter, C. A., and D. S. Scott, Semantic domains, in J. van Leeuwen, (ed.), Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics, The MIT Press/Elsevier, 1990, pp. 635–674.

  7. Halpern, J. Y., Defining relative likelihood in partially-ordered preferential structures, Journal of Artificial Intelligence Reserach 7:1–24, 1997.

  8. Halpern, J. Y., Reasoning about Uncertainty, The MIT Press, 2003.

  9. Hansson, S. O., Preference logic, in D. Gabbay, and F. Guenthner, (eds.), Handbook of philosophical logic, Vol. 4, Kluwer, 2001, pp. 319–393.

  10. Holliday, W. H., and T. F. Icard, Measure semantics and qualitative semantics for epistemic modals, in Proceedings of SALT, vol. 23, 2013, pp. 514–534.

  11. Kannai, Y., and B. Peleg, A note on the extension of an order on a set to the power set, Journal of Economic Theory 32(1):172–175, 1984.

  12. Kraus, S., D. Lehmann, and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44:167–207, 1990.

  13. Lewis, D., Counterfactuals, Blackwell, Oxford, 1973.

    Google Scholar 

  14. Liu, F., Changing for the Better: Preference Dynamics and Agent Diversity, Ph.D. thesis, ILLC, University of Amsterdam, 2008.

    Google Scholar 

  15. Parikh, R., Ç. Taşdemir, and A. Witzel, The power of knowledge in games, International Game Theory Review 15(4):1340030, 2013.

    Article  Google Scholar 

  16. Plotkin, G. D., A power domain construction, SIAM J. on Computing 5(3):452–487, 1976.

    Article  Google Scholar 

  17. Rott, H., Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, Clarendon Press, Oxford, 2001.

    Google Scholar 

  18. Schelechta, K., Some completeness results for stoppered and ranked classical preferential models, Journal of Logic and Computation 6(4):599–622, 1996.

    Article  Google Scholar 

  19. van Benthem, J., Verisimulitude and conditionals, in T. A. F. Kuipers, (ed.), What is closer to the truth? A parade of approaches to truthlikeness, Amsterdam: Rodopi, 1987, pp. 103–128.

  20. van Benthem, J., D. Grossi, and F. Liu, Priority structures in deontic logic, Theoria 80:116–152, 2014.

  21. van Benthem, J., S. Van Otterloo, and O. Roy, Preference logic, conditionals, and solution concepts in games, in H. Lagerlund, S. Lindström, and R. Sliwinski, (eds.), Modality matters: Twenty-five essays in honour of krister segerberg, Uppsala Philosophical Studies, Uppsala, 2006.

  22. van Benthem, J., O. Roy, and P. Girard, Everything else being equal: a modal logic approach to ceteris paribus preferences, Journal of Philosophical Logic 38:83–125, 2007.

Download references

Acknowledgements

Chenwei SHI is supported by the “Shuimu Scholars” postdoc program and the China Postdoctoral Science Foundation Grant (No. 2019M660705). Yang SUN is supported by the Major Program of the National Social Science Foundation of China (No. 17ZDA026). We would like to thank R. Ramanujam for bringing the issue of Egli-Milner ordering to our attention and Joe Halpern for his kind reply to our questions about his own work on order lifting. We also thank the two anonymous referees for their useful comments and suggestions. This work has been presented online at the ILLC LIRA Seminar in May 2020, and at the Logic Breakfast Session at the University of Bayreuth in July 2020. We want to thank the organizers, Fernando R. Velázquez-Quesada, Anthia Solaki and Olivier Roy, for inviting us, and the audience, especially Johan van Benthem, Rohit Parikh, Peter van Emde Boas, Alexandru Baltag, Zoé Christoff, Dominik Klein and Soroush Rafiee Rad, for their helpful feedback. At last, we would like to thank Fenrong Liu for her invaluable supervision and instructions.

Author information

Authors and Affiliations

  1. Tsinghua - Amsterdam Joint Research Centre for Logic, Department of Philosophy, Tsinghua University, Beijing, China

    Chenwei Shi & Yang Sun

Authors
  1. Chenwei Shi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yang Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Chenwei Shi.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Richmond Thomason

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Shi, C., Sun, Y. Logic of Convex Order. Stud Logica 109, 1019–1047 (2021). https://doi.org/10.1007/s11225-020-09940-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-020-09940-z

Keywords

Search

Navigation