Pretabular tense logics over S4t

Annals of Pure and Applied Logic 2026 Open access

Read full text

Authors: Qian Chen

DOI: 10.1016/j.apal.2026.103807

Cited by: 0

References: 41

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Reasoning and Knowledge

References 41