Some preservation results for classical and intuitionistic satisfiability in Kripke models

DOI10.1305/NDJFL/1093870383zbMath0487.03015OpenAlexW2021056780MaRDI QIDQ1165235

Zoran Marković

Publication date: 1983

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870383

zbMATH Keywords

satisfiabilitypositive formulaforcing by a node of a Kripke model

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Model-theoretic forcing (03C25)

Related Items (1)

A semantic approach to conservativity

This page was built for publication: Some preservation results for classical and intuitionistic satisfiability in Kripke models