Interpolation Properties for the Bimodal Provability Logic GR.

Saved in:

Bibliographic Details
Title:	Interpolation Properties for the Bimodal Provability Logic GR.
Authors:	Kogure, Haruka¹ (AUTHOR) kogure@stu.kobe-u.ac.jp, Kurahashi, Taishi¹ (AUTHOR) kurahashi@people.kobe-u.ac.jp
Source:	Studia Logica. Jun2026, Vol. 114 Issue 3, p615-638. 24p.
Database:	Mathematics Source

Description
ISSN:	00393215
DOI:	10.1007/s11225-024-10167-5