scientific article; zbMATH DE number 1860675
From MaRDI portal
Publication:4790403
zbMath1012.03505MaRDI QIDQ4790403
Publication date: 28 January 2003
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) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (9)
The guarded fragment with transitive guards ⋮ Resolution with order and selection for hybrid logics ⋮ Polynomial hierarchy graph properties in hybrid logic ⋮ Canonical completeness of infinitary \(\mu \) ⋮ A tableau decision procedure for \(\mathcal{SHOIQ}\) ⋮ IF modal logic and classical negation ⋮ Guarded Negation ⋮ Guarded Negation ⋮ Regular Graphs and the Spectra of Two-Variable Logic with Counting
This page was built for publication: