About: Smart Labels     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
  • The notion of a critical successor has been central to all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative notion, that of an assuring successor. As we shall see, this makes life a lot easier. After a general treatment of assuringness, we shall apply it to obtain a completeness results for ILW, a result first proved by de Jongh and Veltman.
  • The notion of a critical successor has been central to all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative notion, that of an assuring successor. As we shall see, this makes life a lot easier. After a general treatment of assuringness, we shall apply it to obtain a completeness results for ILW, a result first proved by de Jongh and Veltman. (en)
  • Pojem kritického následníka je centrální v důkazech úplnosti modálních logik interpretovatelnosti. V článku je zaveden a obecně prozkoumán alternativní pojem bezpečného následníka. Ten je následně aplikován v důkazu úplnosti ILW poprvé dokázaného de Jonghem a Veltmanem. (cs)
Title
  • Smart Labels
  • Chytré značkování (cs)
  • Smart Labels (en)
skos:prefLabel
  • Smart Labels
  • Chytré značkování (cs)
  • Smart Labels (en)
skos:notation
  • RIV/00216208:11210/04:00001610!RIV08-AV0-11210___
http://linked.open.../vavai/riv/strany
  • 1;9
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(IAA1019401)
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
  • 586661
http://linked.open...ai/riv/idVysledku
  • RIV/00216208:11210/04:00001610
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Smart; Labels (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [9B091E1282DF]
http://linked.open...i/riv/mistoVydani
  • Amsterdam
http://linked.open...vEdiceCisloSvazku
  • 1.
http://linked.open...i/riv/nazevZdroje
  • Liber Amicorum for Dick de Jongh
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...iv/tvurceVysledku
  • Bílková, Marta
number of pages
http://purl.org/ne...btex#hasPublisher
  • ILLC, University of Amsterdam
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, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software