A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains

DOI10.1093/LOGCOM/EXP046zbMATH Open1273.03087OpenAlexW2123687266MaRDI QIDQ3094149

Dimitrij Skvortsov

Publication date: 21 October 2011

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

Full work available at URL: https://doi.org/10.1093/logcom/exp046

zbMATH Keywords

embeddingsKripke semanticssuperintuitionistic predicate logicsrecursive axiomatizability

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (2)

On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview ⋮ Title not available (Why is that?)

This page was built for publication: A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains

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