Games and bisimulations for intuitionistic first-order Kripke models

DOI10.1007/S11225-020-09932-ZOpenAlexW3125235538MaRDI QIDQ2062207

Małgorzata Kruszelnicka

Publication date: 27 December 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09932-z

zbMATH Keywords

gameKripke modelEhrenfeucht-Fraïssé gamewinning strategyintuitionistic first-order logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• Back and Forth Between First-Order Kripke Models
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Games and bisimulations for intuitionistic first-order Kripke models