"RIV/00216208:11210/14:10284054!RIV15-MSM-11210___" . "RIV/00216208:11210/14:10284054" . . . "[6701E629E362]" . "13"^^ . "This article presents a new semantic framework for modal propositional language. The basic structures of the semantics are Boolean algebras with operators. However, the semantics is not algebraic but rather relational; in it, Boolean algebras with operators play a similar role as Kripke models in standard relational semantics, and the semantics is based on a relation between the elements of Boolean algebras enriched with operators and formulas from modal language. Some basic connections between the new semantic framework and standard algebraic and relational semantics are studied." . "Pun\u010Doch\u00E1\u0159, V\u00EDt" . . "Philosophical Alternatives" . "This article presents a new semantic framework for modal propositional language. The basic structures of the semantics are Boolean algebras with operators. However, the semantics is not algebraic but rather relational; in it, Boolean algebras with operators play a similar role as Kripke models in standard relational semantics, and the semantics is based on a relation between the elements of Boolean algebras enriched with operators and formulas from modal language. Some basic connections between the new semantic framework and standard algebraic and relational semantics are studied."@en . "6" . . "I, P(GAP401/11/0371)" . "0861-7899" . "A new semantic framework for modal logic" . . "23" . . . . "A new semantic framework for modal logic" . "921" . "A new semantic framework for modal logic"@en . . . . "1"^^ . . "A new semantic framework for modal logic"@en . . "1"^^ . . . . "normal modal logics; ideals; Boolean algebras with operators; algebraic semantics; Kripke semantics"@en . "11210" . . "BG - Bulharsk\u00E1 republika" . .