Publication:4790403
From MaRDI portal
zbMath1012.03505MaRDI QIDQ4790403
Publication date: 28 January 2003
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Regular Graphs and the Spectra of Two-Variable Logic with Counting, Guarded Negation, Guarded Negation, Canonical completeness of infinitary \(\mu \), The guarded fragment with transitive guards, IF modal logic and classical negation, Resolution with order and selection for hybrid logics, Polynomial hierarchy graph properties in hybrid logic, A tableau decision procedure for \(\mathcal{SHOIQ}\)