Kripke Semantics for Intersection Formulas

DOI10.1145/3453481zbMath1505.03034OpenAlexW3184909403MaRDI QIDQ5034223

Paweł Urzyczyn, Andrej Dudenhefner

Publication date: 24 February 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3453481

zbMATH Keywords

Kripke modelsintersection typesgames in logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40)