Back and Forth Between First-Order Kripke Models

DOI10.1093/JIGPAL/JZN011zbMATH Open1158.03022OpenAlexW1970956002MaRDI QIDQ3535603

Tomasz Połacik

Publication date: 13 November 2008

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzn011

zbMATH Keywords

Heyting arithmeticbisimulationKripke modelsintuitionistic first-order logic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC ⋮ Games and bisimulations for intuitionistic first-order Kripke models

This page was built for publication: Back and Forth Between First-Order Kripke Models

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