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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n10http://www.comp.nus.edu.sg/~pat/
n17http://www.doc.ic.ac.uk/~imh/papers/
n9http://staff.science.uva.nl/~yde/papers/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n19http://www.cs.rice.edu/~vardi/papers/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://ja.dbpedia.org/resource/Category:
owlhttp://www.w3.org/2002/07/owl#
n14http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
n18http://plato.stanford.edu/entries/logic-temporal/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://www.inrialpes.fr/vasy/
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-ja:TLA+
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:アミール・プヌーリ
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-wikidata:Q781833
owl:sameAs
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:エキスパートシステム
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:ゲーデル賞
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:ジョン・レモン
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:ストア派
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:チューリング賞
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:デイナ・スコット
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:ニューヨーク大学
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:モデル検査
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:モナド_(プログラミング)
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:レスリー・ランポート
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:並行性
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:人工知能と法
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:命令論理
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:品詞
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:型理論
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:形式的検証
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:時相論理
rdfs:label
時相論理
rdfs:comment
時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にが提唱した様相論理に基づいた時相論理を特に時制論理(Tense Logic)と呼ぶことがある。が重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。 時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。
owl:sameAs
freebase:m.01vkqn
dct:subject
n12:数理論理学 n12:形式手法 n12:論理学 n12:時相論理 n12:時空の哲学 n12:数学に関する記事
dbo:wikiPageID
779145
dbo:wikiPageRevisionID
89941902
dbo:wikiPageWikiLink
dbpedia-ja:Well-formed_formula dbpedia-ja:自由意志 dbpedia-ja:計算木論理 dbpedia-ja:二項演算 dbpedia-ja:予定説 dbpedia-ja:1950年代 dbpedia-ja:アリストテレス dbpedia-ja:論理演算 dbpedia-ja:計算機科学 dbpedia-ja:作用素 dbpedia-ja:形式的検証 dbpedia-ja:命題論理 n12:数理論理学 dbpedia-ja:論理学 dbpedia-ja:エドムンド・クラーク dbpedia-ja:線形時相論理 dbpedia-ja:単項演算 n12:形式手法 dbpedia-ja:状態遷移系 dbpedia-ja:アレン・エマーソン n12:時相論理 n12:時空の哲学 dbpedia-ja:チョムスキー階層 dbpedia-ja:ソール・クリプキ dbpedia-ja:真理関数 dbpedia-ja:アロンゾ・チャーチ dbpedia-ja:オックスフォード大学 dbpedia-ja:オートマトン dbpedia-ja:Property_Specification_Language n12:数学に関する記事 n12:論理学 dbpedia-ja:様相論理 dbpedia-ja:三段論法 dbpedia-ja:時間 dbpedia-ja:チャールズ・サンダース・パース dbpedia-ja:アミール・プヌーリ dbpedia-ja:一階述語論理 dbpedia-ja:複雑性
dbo:wikiPageExternalLink
n9:TempLog.pdf n10: n15:cadp n17:sa.ps.gz n18: n19:25mc.ps.gz
prop-en:wikiPageUsesTemplate
template-en:仮リンク template-en:Logic template-en:要説明 template-en:Cquote template-en:SfnRef template-en:Sfn template-en:Citation template-en:Cite_book template-en:SEP template-en:Reflist
dbo:abstract
時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にが提唱した様相論理に基づいた時相論理を特に時制論理(Tense Logic)と呼ぶことがある。が重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。 時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。
dbo:wikiPageLength
12113
prov:wasDerivedFrom
n14:時相論理?oldid=89941902&ns=0
foaf:isPrimaryTopicOf
n14:時相論理
Subject Item
dbpedia-ja:様相論理
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:知識表現
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:自然演繹
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:計算木論理
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:論理学
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:論理学の歴史
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:非古典論理
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:線形時相論理
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
Subject Item
dbpedia-ja:時制論理
dbo:wikiPageWikiLink
dbpedia-ja:時相論理
dbo:wikiPageRedirects
dbpedia-ja:時相論理
Subject Item
n14:時相論理
foaf:primaryTopic
dbpedia-ja:時相論理