The modal logic of forcing

被引：0

作者：

Hamkins, Joel David ^{[2
]}

Loewe, Benedikt ^{[1
]}

机构：

[1] Univ Amsterdam, Insrt Log Language & Computat, NL-1018 TV Amsterdam, Netherlands

[2] CUNY Coll Staten Isl, Staten Isl, NY 10314 USA

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 2008年 / 360卷 / 04期

基金：

美国国家科学基金会;

关键词：

forcing; modal logic; S4.2;

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

A set theoretical assertion psi is forceable or possible, written lozenge psi, if psi holds in some forcing extension, and necessary, written square psi, if psi holds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory S4.2.

引用

页码：1793 / 1817

页数：25

共 50 条

[31] Substitutional Validity for Modal Logic [J].

Grossi, Marco .

NOTRE DAME JOURNAL OF FORMAL LOGIC, 2023, 64 (03) :291-316

[32] MODAL LOGIC AND GAME THEORY [J].

Tworak, Zbigniew .

FILOZOFIA NAUKI, 2017, 25 (02) :5-28

[33] A Substructural Modal Logic of Utility [J].

Anderson, Gabrielle ;

Pym, David .

JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (05) :1421-1464

[34] Specifying coalgebras with modal logic [J].

Kurz, A .

THEORETICAL COMPUTER SCIENCE, 2001, 260 (1-2) :119-138

[35] The Dynamification of Modal Dependence Logic [J].

Galliani, Pietro .

JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2013, 22 (03) :269-295

[36] Intuitionism and the Modal Logic of Vagueness [J].

Bobzien, Susanne ;

Rumfitt, Ian .

JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (02) :221-248

[37] A Modal Logic for Supervised Learning [J].

Baltag, Alexandru ;

Li, Dazhu ;

Pedersen, Mina Young .

JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2022, 31 (02) :213-234

[38] Categorial Inference and Modal Logic [J].

Natasha Kurtonina .

Journal of Logic, Language and Information, 1998, 7 (4) :399-411

[39] A system of dynamic modal logic [J].

De Rijke, M .

JOURNAL OF PHILOSOPHICAL LOGIC, 1998, 27 (02) :109-142

[40] A Modal Logic for Mixed Strategies [J].

Joshua Sack ;

Wiebe van der Hoek .

Studia Logica, 2014, 102 :339-360

← 1 2 3 4 5 →