「F4.1;I.23;I.24」カテゴリーアーカイブ

Strengthening Consistency Results in Modal Logic

投稿日: 2023年7月12日 作成者: jarxiv

要約 様相論理で尋ねられる基本的な質問は、与えられた理論に一貫性があるかどうかで … 続きを読む →

カテゴリー: cs.AI, cs.LO, F4.1;I.23;I.24, math.LO | Strengthening Consistency Results in Modal Logic はコメントを受け付けていません