NNIL-formulas revisited: Universal models and finite model property

DOI10.1093/LOGCOM/EXAA063OpenAlexW3110126610MaRDI QIDQ5858134

Julia Ilin, Fan Yang, Dick H. J. de Jongh

Publication date: 9 April 2021

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

finite model propertyintuitionistic logicuniversal modelmonotonic mapssubframe formulas

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (3)

Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} ⋮ Intermediate logics in the setting of team semantics ⋮ Notes on my scientific life

This page was built for publication: NNIL-formulas revisited: Universal models and finite model property

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