Abstract
The result of an interaction is influenced by its epistemic state, and several epistemic notions are related to multiagent situations. Strong belief-disagreement on a certain proposition between agents means that one agent believes the proposition and the other believes its negation. This paper presents a logical system describing strong belief-disagreement between agents and demonstrates its soundness and completeness. The notion of belief-disagreement as well as belief-agreement can facilitate gaining a clearer understanding of the acts of trade and speech.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aumann, R. J., Agreeing to disagree, The Annals of Statistics 6: 1236–1239, 1976.
Fagin, R., Y. Moses, J. Y. Halpern and M. Y. Vardi, Reasoning about knowledge, MIT Press, Cambridge, Mass., and London, England, 2003.
Humberstone, I. L., The logic of non-contingency, Notre Dame Journal of Formal Logic 36: 214–229, 1995.
Humberstone, I. L., The modal logic of agreement and noncontingency, Notre Dame Journal of Formal Logic 43: 95–127, 2002.
Kuhn, S. T., Minimal non-contingency logic, Notre Dame Journal of Formal Logic 36: 230–234, 1995.
Lewis, D., Convention: A Philosophical Study, Harvard University Press, Cambridge, Mass., 1969.
Marcos, J., Logics of essence and accident, Bulletin of the Section of Logic 34: 43–56, 2005.
Montgomery, H., and R. Routley, Contingency and non-contingency bases for normal modal logics, Logique et Analyse 9: 318–328, 1966.
Montgomery, H., and R. Routley, Modalities in a sequence of normal non-contingency modal systems, Logique et Analyse 12: 225–227, 1969.
Pan, T., On logic of belief-disagreement among agents, in H. P. van Ditmarsch, J. Lang, S. Ju (eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings, Springer, Berlin, Heidelberg, 2011, pp. 392–393.
Steinsvold, C., Completeness for various logics of essence and accident, Bulletin of the Section of Logic 37: 93–101, 2008.
Zolin, E., Completeness and definability in the logic of non-contingency, Notre Dame Journal of Formal Logic 40: 533–547, 1999.
Zolin, E., Sequential reflexive logics with a non-contingency operator, Mathematical Notes 72: 784–798, 2002.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Chen, J., Pan, T. Logic for Describing Strong Belief-Disagreement Between Agents. Stud Logica 106, 35–47 (2018). https://doi.org/10.1007/s11225-017-9724-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-017-9724-1