About: A new semantic framework for modal logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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. (en)
Title
  • A new semantic framework for modal logic
  • A new semantic framework for modal logic (en)
skos:prefLabel
  • A new semantic framework for modal logic
  • A new semantic framework for modal logic (en)
skos:notation
  • RIV/00216208:11210/14:10284054!RIV15-MSM-11210___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • I, P(GAP401/11/0371)
http://linked.open...iv/cisloPeriodika
  • 6
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 921
http://linked.open...ai/riv/idVysledku
  • RIV/00216208:11210/14:10284054
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • normal modal logics; ideals; Boolean algebras with operators; algebraic semantics; Kripke semantics (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • BG - Bulharská republika
http://linked.open...ontrolniKodProRIV
  • [6701E629E362]
http://linked.open...i/riv/nazevZdroje
  • Philosophical Alternatives
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • 23
http://linked.open...iv/tvurceVysledku
  • Punčochář, Vít
issn
  • 0861-7899
number of pages
http://localhost/t...ganizacniJednotka
  • 11210
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 77 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software