Pages that link to "Item:Q4159026"
From MaRDI portal
The following pages link to Fragments of first order logic, I: universal Horn logic (Q4159026):
Displaying 8 items.
- Model complete universal Horn classes (Q800351) (← links)
- Proof theory for linear lattices (Q1070254) (← links)
- Reduced products of logical matrices (Q1145134) (← links)
- Axiomatisability and hardness for universal Horn classes of hypergraphs (Q1652862) (← links)
- Some characterization theorems for infinitary universal Horn logic without equality (Q3128471) (← links)
- Compositional Reasoning for Multi-modal Logics (Q3455830) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
