Infinitary propositional normal modal logic
type: Item
instance of: scholarly article
title: Infinitary propositional normal modal logic
zbMATH Open document ID: 0644.03009
DOI: 10.1007/BF00370641
author: Slavian Radev
published in: Studia Logica
publication date: 1987-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4049616
zbMATH Keywords: propositional normal modal logic
zbMATH Keywords: countable conjunction and disjunction
zbMATH Keywords: Kripke frames
zbMATH Keywords: completeness
zbMATH Keywords: Craig interpolation property
MaRDI profile type: Publication
cites work: Q3478385
cites work: Axiomatising the logic of computer programming
cites work: Investigations in modal and tense logics with applications to problems in philosophy and linguistics
cites work: First-order dynamic logic
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: PDL with data constants
cites work: An essay in combinatory dynamic logic
cites work: Q3712311
description: scientific article; zbMATH DE number 4049616