scientific article; zbMATH DE number 1004875
From MaRDI portal
Publication:4335229
Recommendations
- Some characterization theorems for infinitary universal Horn logic without equality
- A relative interpolation theorem for infinitary universal Horn logic and its applications
- Axiomatizations of universal classes through infinitary logic
- Infinitary logic and inductive definability over finite structures
- Infinitary hybrid logic and the Lindelöf property
- Characteristic invariants in Hennessy-Milner logic
- scientific article; zbMATH DE number 1163986
- Infinitary logics and abstract elementary classes
- Algebraic Characterizations for Universal Fragments of Logic
- An infinity of intuitionistic connexive logics
Cited in
(10)- Axiomatizations of universal classes through infinitary logic
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
- Defining subdirect product closed classes in infinitary logic
- scientific article; zbMATH DE number 1583144 (Why is no real title available?)
- Some characterization theorems for infinitary universal Horn logic without equality
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
- scientific article; zbMATH DE number 4152349 (Why is no real title available?)
- scientific article; zbMATH DE number 3968568 (Why is no real title available?)
- Some applications of infinitary logical languages in universal algebra.
- A relative interpolation theorem for infinitary universal Horn logic and its applications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4335229)
