Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes

DOI10.26686/AJL.V18I4.6829OpenAlexW3116733038MaRDI QIDQ5019118

Rob Goldblatt

Publication date: 29 December 2021

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

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

zbMATH Keywords

modal logicfiltrationprojective planefinite model propertyelliptic planestrongly complete

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General theory of linear incidence geometry and projective geometries (51A05)

Related Items (1)

Completeness of Pledger's modal logics of one-sorted projective and elliptic planes

Recommendations

• Completeness for flat modal fixpoint logics 👍 👎
• Theory of completeness for logical spaces 👍 👎
• Halldén completeness for relevant modal logics 👍 👎
• STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes

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