Publication:4075436
From MaRDI portal
zbMath0316.02021MaRDI QIDQ4075436
Publication date: 1975
03B45: Modal logic (including the logic of norms)
03B10: Classical first-order logic
03C35: Categoricity and completeness of theories
Related Items
Properties of Tense Logics, Kripke completeness of infinitary predicate multimodal logics, Some characterization and preservation theorems in modal logic, Topology and duality in modal logic, On the canonicity of Sahlqvist identities, The structure of lattices of subframe logics, Canonicity for intensional logics without iterative axioms, Mathematical modal logic: A view of its evolution, Toward an infinitary logic of domains: Abramsky logic for transition systems, A simple incomplete extension of T which is the union of two complete modal logics with f. m. p, Elementary generation and canonicity for varieties of Boolean algebras with operators, Deciding regular grammar logics with converse through first-order logic, Varieties of complex algebras