Small model property reflects in games and automata

DOI10.1007/978-3-030-93100-1_23OpenAlexW4206392169MaRDI QIDQ2151424

Maciej Zielenkiewicz

Publication date: 1 July 2022

Full work available at URL: https://arxiv.org/abs/2111.02998

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Intuitionistic games: determinacy, completeness, and normalization
• Lectures on the Curry-Howard isomorphism
• Automata theory approach to predicate intuitionistic logic
• An application of games to the completeness problem for formalized theories
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Small model property reflects in games and automata