Two-dimensional Kripke Semantics II: Stability and Completeness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kavvos, G. A.
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Category Theory Logic 03B45 (Primary), 03B20, 03B70, 68Q55, 06D20, 06D22, 06D05, 06D50, 18A15, 18A40, 18F20, 18D60, 18C10 (Secondary) F.4.1; F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2406.03578