zbMath0504.03009MaRDI QIDQ4739892
Jean Porte
Publication date: 1982
zbMATH Keywords
necessity; monadic; predicate; closure of a formula
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03B10: Classical first-order logic
Related Items