scientific article

zbMath0978.03016MaRDI QIDQ2735848

M. J. Cresswell

Publication date: 4 September 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logiccompletenessarithmeticincompletenesspropositional logicsBarcan-formulapredicate extensions

Mathematics Subject Classification ID

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

Related Items

Axiomatising the Prior future in predicate logic ⋮ Predicate metric tense logic for `now' and `then' ⋮ On Kripke completeness of modal predicate logics around quantified \textbf{K5}