Skip to content

On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom.

Valentin B. Shehtman

VenueBAiML
Year2018
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.