DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC

We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm {B}$ , $\Delta (\mathrm {B})$ , and $\Sigma (\mathrm {B})$ of formulas of modal arithmetic and study basic properties of them. Then, we prove...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The review of symbolic logic 2024-03, Vol.17 (1), p.178-205
Hauptverfasser:	KURAHASHI, TAISHI, OKUDA, MOTOKI
Format:	Artikel
Sprache:	eng
Schlagworte:	Arithmetic Equivalence Logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!