This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n17http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/resource/domain/vavai/projekt/
n11http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11210%2F14%3A10284054%21RIV15-MSM-11210___/
n13http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11210%2F14%3A10284054%21RIV15-MSM-11210___
rdf:type
n13:Vysledek skos:Concept
dcterms: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 new semantic framework and standard algebraic and relational semantics are studied. 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.
dcterms:title
A new semantic framework for modal logic A new semantic framework for modal logic
skos:prefLabel
A new semantic framework for modal logic A new semantic framework for modal logic
skos:notation
RIV/00216208:11210/14:10284054!RIV15-MSM-11210___
n4:aktivita
n15:P n15:I
n4:aktivity
I, P(GAP401/11/0371)
n4:cisloPeriodika
6
n4:dodaniDat
n10:2015
n4:domaciTvurceVysledku
n16:3945731
n4:druhVysledku
n18:J
n4:duvernostUdaju
n12:S
n4:entitaPredkladatele
n11:predkladatel
n4:idSjednocenehoVysledku
921
n4:idVysledku
RIV/00216208:11210/14:10284054
n4:jazykVysledku
n6:eng
n4:klicovaSlova
normal modal logics; ideals; Boolean algebras with operators; algebraic semantics; Kripke semantics
n4:klicoveSlovo
n14:Kripke%20semantics n14:ideals n14:algebraic%20semantics n14:Boolean%20algebras%20with%20operators n14:normal%20modal%20logics
n4:kodStatuVydavatele
BG - Bulharská republika
n4:kontrolniKodProRIV
[6701E629E362]
n4:nazevZdroje
Philosophical Alternatives
n4:obor
n5:AA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n9:GAP401%2F11%2F0371
n4:rokUplatneniVysledku
n10:2014
n4:svazekPeriodika
23
n4:tvurceVysledku
Punčochář, Vít
s:issn
0861-7899
s:numberOfPages
13
n17:organizacniJednotka
11210