Interplays of knowledge and non-contingency

Alexandre Costa-Leite



This paper combines a non-contingency logic with an epistemic logic by means of fusions and products of modal systems. Some consequences of these interplays are pointed out.


non-contingency logics, epistemic logics, products of modal logics, Von Wright

Full Text:



Béziau, J.-Y, “A paradox in the combination of logics”, pages 87–92 in Proceedings of CombLog’04, Lisbon, 2004.

Costa-Leite, A., Interactions of metaphysical and epistemic concepts, PhD Thesis, University of Neuchatel, Switzerland, 2007.

Fine, K, and G. Schurz, “Transfer theorems for stratified modal logics”, pages 169–213 in Logic and Reality. In memory of Arthur Prior, Oxford University Press, 1996.

Gabbay, D., Fibring Logics, Oxford Logic Guides, The Clarendon Press, Oxford University Press, 1999.

Gabbay, D., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, Studies in Logic and the Foundations of Mathematics, Elsevier, 2003.

Halpern, J., and Y. Moses, “A guide to completeness and complexity of modal logics of knowledge and belief”, Artificial Intelligence, 54, 3 (1992): 319–379. DOI:10.1016/0004-3702(92)90049-4

Hintikka, J., Knowledge and Belief: An Introduction to the Logic of the Two Notions, King’s College Publications, 2005 (first published: 1962).

Humberstone, L., “The Logic of Non-Contingency”, Notre Dame Journal of Formal Logic, 36, 2 (1995): 214–229. DOI:10.1305/ndjfl/1040248455

Kracht, M., and F. Wolter, “Properties of independently axiomatizable bimodal logics”, The Journal of Symbolic Logic, 56, 4 (1991): 1469–1485. DOI:10.2307/2275487

Meyer, J.-J. Ch., “Modal epistemic and doxastic logic”, pages 1–38 in Handbook of Philosophical Logic, Vol. 10, D. Gabbay and F. Guenthner, (eds.), Kluwer Academic Publishers, Dordrecht, 2003. DOI:10.1007/978-94-017-4524-6_1

Montgomery, H., and R. Routley, “Contingency and noncontingency bases for normal modal logics”, Logique et Analyse, 9, 35–36 (1966): 318–328.

Montgomery, H., and R. Routley, “Non-contingency axioms for S4 and S5”, Logique et Analyse, 9, 43 (1968): 422–424.

von Wright, G.H., “Knowledge and necessity”, pages 68–71 in Truth, Knowledge and Modality, Basil Blackwell Publisher, 1984.

Zolin, E., “Completeness and definability in the logic of noncontingency”, Notre Dame Journal of Formal Logic, 40, 4 (1999): 533–547. DOI:10.1305/ndjfl/1012429717

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism