View in EDS PDF Full Text

Interpolation Properties for the Bimodal Provability Logic GR.

Saved in:
Bibliographic Details
Title: Interpolation Properties for the Bimodal Provability Logic GR.
Authors: Kogure, Haruka1 (AUTHOR) kogure@stu.kobe-u.ac.jp, Kurahashi, Taishi1 (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