Quantified modal logics of positive rational numbers and some related systems

DOI10.1305/NDJFL/1093634657zbMath0847.03011OpenAlexW2032955726MaRDI QIDQ1309336

Giovanna Corsi

Publication date: 6 December 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634657

zbMATH Keywords

Kripke modelsquantified modal logicstowersKripke completenessextended frames with nested domains

Mathematics Subject Classification ID

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

Related Items (1)

On Kripke completeness of modal predicate logics around quantified \textbf{K5}

This page was built for publication: Quantified modal logics of positive rational numbers and some related systems