scientific article
From MaRDI portal
Publication:3001111
zbMath1244.03077MaRDI QIDQ3001111
Publication date: 31 May 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Unnamed Item ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ First-order modal logic: frame definability and a Lindström theorem ⋮ Quantifier-free epistemic term-modal logic with assignment operator
This page was built for publication: