Back and Forth Between First-Order Kripke Models

DOI10.1093/JIGPAL/JZN011MaRDI QIDQ3535603zbMATH OpenOpenAlexFDO

Authors 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

bisimulationHeyting arithmeticintuitionistic first-order logicKripke models

Mathematics Subject Classification ID

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

Recommendations

• A note on bisimulations of finite Kripke models
• Bisimulation reducts and submodels of intuitionistic first-order Kripke models
• Model-theoretic characterization of intuitionistic propositional formulas
• Bisimulation and propositional intuitionistic logic
• Homomorphisms and chains of Kripke models

Cited in

(6)

• Basic logic, K4, and persistence
• Games and bisimulations for intuitionistic first-order Kripke models
• A note on bisimulations of finite Kripke models
• Bisimulation reducts and submodels of intuitionistic first-order Kripke models
• GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
• Global supervenience in inquisitive modal logic

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)