Name: Infinitary propositional normal modal logic
Creator: Slavian Radev
Keywords: Craig interpolation property, Kripke frames, completeness, propositional normal modal logic, 0102 computer and information sciences, 0101 mathematics, 16. Peace & justice, Modal logic (including the logic of norms), countable conjunction and disjunction, 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article 01 Dec 1987 English Publisher:Springer Science and Business Media LLCJournal:Studia Logica, volume 46, pages 291-309 (issn: 0039-3215, eissn: 1572-8730,

Authors: Slavian Radev;

doi: 10.1007/bf00370641

Infinitary propositional normal modal logic

- Summary
- Subjects
- Metrics

Abstract

The author introduces a propositional normal modal logic, denoted by \(KL_{\omega_ 1}\), with countable conjunction and disjunction. He gives the Hilbert type formulation of \(KL_{\omega_ 1}\), defines the class of Kripke frames characteristic for this logic (completeness theorem) and proves that \(KL_{\omega_ 1}\) has the Craig interpolation property.

Keywords

Craig interpolation property, Kripke frames, completeness, propositional normal modal logic, Modal logic (including the logic of norms), countable conjunction and disjunction

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	6
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average