First Order Properties of Relations with the Monotonic Closure Property

DOI10.1002/MALQ.19820280102zbMath0489.03007OpenAlexW1994637405MaRDI QIDQ3950542

Raymond D. Gumb, George E. Weaver

Publication date: 1982

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19820280102

zbMATH Keywords

theory of relationsrelational systemspreservation theoremsHorn propertiesintensional logics with Kripke-style semanticsKripke-style semantics for modal sentential logicsKripke's tableaux constructionsmonotonic closure propertyrelational expansion

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Relational systems, laws of composition (08A02) Interpolation, preservation, definability (03C40)

Related Items (1)

An extended joint consistency theorem for a family of free modal logics with equality

This page was built for publication: First Order Properties of Relations with the Monotonic Closure Property