First Order Properties of Relations with the Monotonic Closure Property (Q3950542)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | First Order Properties of Relations with the Monotonic Closure Property |
scientific article |
Statements
First Order Properties of Relations with the Monotonic Closure Property (English)
0 references
1982
0 references
preservation theorems
0 references
theory of relations
0 references
monotonic closure property
0 references
relational systems
0 references
relational expansion
0 references
Horn properties
0 references
Kripke's tableaux constructions
0 references
intensional logics with Kripke-style semantics
0 references
Kripke-style semantics for modal sentential logics
0 references