Hyperintensional Modal Logic: Motivation, Semantic Frameworks, and Basic Theory.

• Thesis title in Czech: Hyperintenzionální modální logika: Motivace, sémantické přístupy a základní teorie
• Thesis title in English: Hyperintensional Modal Logic: Motivation, Semantic Frameworks, and Basic Theory.
• Key words: Epistemická logika|hyperintenze|logická sémantika|modální logika
• English key words: Epistemic logic|hyperintensions|logical semantics|modal logic
• Academic year of topic announcement: 2022/2023
• Thesis type: Bachelor's thesis
• Thesis language: angličtina
• Department: Department of Logic (21-KLOG)
• Supervisor: Mgr. Igor Sedlár
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 30.11.2022
• Date of assignment: 30.11.2022
• Administrator's approval: approved
• Confirmed by Study dept. on: 30.11.2022
• Date and time of defence: 16.06.2023 09:00
• Date of electronic submission: 10.05.2023
• Date of proceeded defence: 16.06.2023
• Submitted/finalized: committed by student and finalized
• Opponents: Mgr. Vít Punčochář, Ph.D.
• Award: Thesis was put forward for an award

Guidelines

Hyperintensional modal logics are modal logics where some modal operators do not satisfy the congruence rule and so provable equivalence in the logic is not a congruence relation. These logics arise naturally in epistemic logic and related areas. The thesis will contain a discussion of the motivations to study hyperintensional modal logics and an outline of the main semantic approaches to hyperintensional modal logic, including Sedlár’s general semantics for hyperintensional modal logics. In addition, the thesis will contain proofs of new technical results.

References

[1] P. Blackburn, M. de Rijke, and Y. Venema, Modal Logic. Cambridge University Press, 2001.
[2] M. Cresswell, “Hyperintensional logic,” Studia Logica, vol. 34, Art. no. 1, 1975.
[3] V. Rantala, “Impossible worlds semantics and logical omniscience,” Acta Philosophica Fennica, vol. 35, pp. 106–115, 1982.
[4] I. Sedlár, “Hyperintensional logics for everyone,” Synthese, vol. 198, pp. 933–956, Jan. 2021, doi: 10.1007/s11229-018-02076-7.