アリストテレスは主に三段論法を研究したが、現代の時相論理のような研究もしており、一階時相二値論理のような形式を部分的に検討したことがある。特に不確定な未来の事象を扱う際、アリストテレスは二値の意味論を適用できないと考え、例えば「明日、海戦が勃発するだろう」といった文の真偽を現時点で決定できないとした。
時相作用素.
他の表現:
様々な時相論理.
時相論理と密接に関連する論理として、トポロジーや場所や空間的位置を扱う様相論理がある。
時制論理
入れ替え.
入れ替え戦.
田渕伸一
来歴・人物.
生涯.
白い恐怖
ストーリー.
キャスト.
ヒッチコックのカメオ出演.
バイオリンケースを右手に持ち、左手でタバコを吸いながらエレベーターから出てくる。
作品の評価.
映画批評家によるレビュー.
フレデリック・フェネル
人物・来歴.
オハイオ州クリーブランド生まれ。幼少の頃から音楽教育を受け、高校時代にはアルバート・オースティン・ハーディングに指揮を師事する。
イーストマン・オペラ劇場の音楽監督及びイーストマン室内オーケストラの指揮者を歴任した。
フェネルの存在なしに現在の吹奏楽はあり得なかったと評される。
羽山誓
作家としては葉山墨狐（はやま ぼっこ）の筆号を持っている。太陽が苦手なため、「日向ぼっこ」ならぬ、「日陰ぼっこ」に由来する。
略歴.
千葉県教育委員会主催の英語スピーチコンテストにおいて、レシテーション（暗唱朗読）帰国子女・一般の部で準優勝。
高校在学時にスカウトされ、柏原崇や玉山鉄二が所属していた事務所メリーゴーランドに入所したのち芸能活動を開始。その後、陣内孝則、河相我聞が所属の事務所、キティ・フィルムなど、いくつかの芸能プロダクションに移籍しながら現在に至る。
「ジュノン・スーパーボーイ・コンテスト」にて最終選考まで残る（ファイナリスト）。ファッション誌『FINEBOYS』や『Fine』でモデルとして活動し、ドラマや映画などにも出演する。テレビ朝日ドラマ『ラブ・コンプレクス』がデビュー作品。
上智大学外国語学部英語学科卒業。同大学にて翻訳、同時通訳、英語における言語学、心理言語学、英語・言語音声学、社会言語学、意味論、英文速記、異文化コミュニケーション、英詩を学ぶ。長期に渡る海外生活経験があり、英語と日本語とスペイン語を操るトリリンガルでもある。