Publication:4349288
From MaRDI portal
zbMath0879.03004MaRDI QIDQ4349288
Publication date: 22 December 1997
03B45: Modal logic (including the logic of norms)
03B10: Classical first-order logic
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
A Categorical Aspect of the Analogy Between Quantifiers and Modalities, Guards, bounds, and generalized semantics