A new semantic framework for modal logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F14%3A10284054" target="_blank" >RIV/00216208:11210/14:10284054 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

A new semantic framework for modal logic

Original language description

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 newsemantic framework and standard algebraic and relational semantics are studied.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

<a href="/en/project/GAP401%2F11%2F0371" target="_blank" >GAP401/11/0371: Apriority, Syntheticity and Analyticity from Medieval Thought to Contemporary Philosophy</a><br>

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2014

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Philosophical Alternatives

ISSN

0861-7899

e-ISSN

—

Volume of the periodical

23

Issue of the periodical within the volume

6

Country of publishing house

BG - BULGARIA

Number of pages

13

Pages from-to

47-59

UT code for WoS article

—

EID of the result in the Scopus database

—