scientific article
From MaRDI portal
Publication:2735848
zbMath0978.03016MaRDI QIDQ2735848
Publication date: 4 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logiccompletenessarithmeticincompletenesspropositional logicsBarcan-formulapredicate extensions
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}