Essence and accident modalities meet Belnapian truth values FR51ART4NF

URI	`m2://res/FR51ART4NF`
Kind	preprint
Creators	Yaroslav Petrukhin
Date	2026-10-06
Subjects	arxiv cs.LO, arxiv math.LO
Scope	in

Expressions

e1: version, preprint

Language	en
Date	2026-10-06
Ids	arXiv 2610.08323, DOI 10.1007/s11225-026-10250-z

Items in this resource

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
1J37Q9CAE9	definition	definition 2.1	arxiv
Semantic embedding from $\bf FDE^{\bf S5}_{\circ\bullet}$ into $\bf FDE^{\bf S5}_{\Box\D}$	statement	theorem 7	arxiv
2RKFAFCVFT	definition	definition 4.2	arxiv
Cut admissibility	statement	theorem 2	arxiv
Restall's hypersequent calculus for \textbf{S5	definition	definition 3.2	arxiv
6ZH7P3F1S9	definition	definition 3.3	arxiv
Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\Box\D}$ to $ \bf S5$	statement	lemma 2	arxiv
BEYJ1V69V4	statement	proposition 1	arxiv
BSH40SXNE5	definition	definition 2.4	arxiv
CT86290N0P	definition	definition 3.1	arxiv
DGPQHJ6W0N	definition	definition 2.6	arxiv
Syntactical embedding from $\bf FDE^{\bf S5}_{\Box\D}$ into \textbf{S5	statement	theorem 1	arxiv
JR32E22P5S	definition	definition 2.5	arxiv
JYAFN92KSW	statement	proposition 3	arxiv
KXF953C1K8	statement	proposition 2	arxiv
Semantic embedding from $\bf FDE^{\bf S5}_{\Box\D}$ into \textbf{S5	statement	theorem 3	arxiv
M7470H616Q	definition	definition 2.2	arxiv
Syntactical embedding from $\bf FDE^{\bf S5}_{\circ\bullet}$ into $\bf FDE^{\bf S5}_{\Box\D}$	statement	theorem 5	arxiv
Soundness and completeness of $ {\bf FDE^{\bf S5}_{\circ\bullet}} $	statement	theorem 8	arxiv
NT522GR4J1	statement	lemma 1	arxiv
PP30RWG0K2	statement	lemma 4	arxiv
Soundness and completeness of $ {\bf FDE^{\bf S5}_{\Box\D}} $	statement	theorem 4	arxiv
SP9QS58JN9	definition	definition 2.7	arxiv
SWY093ZS07	definition	definition 2.8	arxiv
SXFBQPF25R	definition	definition 3.4	arxiv
TXEHJ65622	statement	lemma 7	arxiv
V5MX561G5J	statement	lemma 6	arxiv
WD31PT4HHG	statement	lemma 3	arxiv
WWCVMZ63KT	definition	definition 2.3	arxiv
Decidability	statement	theorem 9	arxiv
Cut admissibility	statement	theorem 6	arxiv
Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\circ\bullet}$ to $ \bf FDE^{\bf S5}_{\B\D}$	statement	lemma 5	arxiv
ZBJ5061GGK	definition	definition 4.1	arxiv

Catalogue records

arxiv: 2610.08323 (work)
arxiv_text: 2610.08323 (work)