scientific article
From MaRDI portal
Publication:3509051
zbMath1146.03007MaRDI QIDQ3509051
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)
Related Items (3)
Positive announcements ⋮ μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ ⋮ Some Formal Semantics for Epistemic Modesty
This page was built for publication:
