Kripke semantics for intersection formulas

DOI10.1145/3453481MaRDI QIDQ5034223zbMATH OpenOpenAlexWikidataFDO

Authors Andrej Dudenhefner, Paweł Urzyczyn

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

games in logicintersection typesKripke models

Mathematics Subject Classification ID

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

Recommendations

• A binary modal logic for the intersection types of lambda-calculus.
• scientific article; zbMATH DE number 1841834
• Intersection logic in sequent calculus style
• Intersection Types as Logical Formulae
• Kripke models for classical logic

Cited in

(2)

• Semantic characterization of Kracht formulas
• scientific article; zbMATH DE number 177255 (Why is no real title available?)

This page was built for publication: Kripke semantics for intersection formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5034223)