Model existence theorem in superrelevant predicate logics

DOI10.1007/BF02017495MaRDI QIDQ3781737zbMATH OpenOpenAlexFDO

Authors Mirosław Szatkowski

Publication date 1987

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/138055

zbMATH Keywords

superrelevant predicate logics with equality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Semantical analysis of superrelevant predicate logics with quantification
• The Classical Model Existence Theorem in Subclassical Predicate Logics I
• scientific article; zbMATH DE number 3906478
• Some Model‐Theoretic Results for the Relevant Logic with Quantification
• A Sahlqvist theorem for relevant modal logics

Cites work

• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Implication lattices
• Semantical analysis of superrelevant predicate logics with quantification
• The semantics of entailment. II

Cited in

(3)

• The finite model property with respect to admissibility for superintuitionistic logic
• Proof-irrelevant model of CC with predicative induction and judgmental equality
• The Classical Model Existence Theorem in Subclassical Predicate Logics I

This page was built for publication: Model existence theorem in superrelevant predicate logics

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