scientific article; zbMATH DE number 4210113
From MaRDI portal
Publication:3358715
Recommendations
- Algebra and Coalgebra in Computer Science
- On the formalization of theories
- scientific article; zbMATH DE number 510780
- scientific article; zbMATH DE number 1864591
- scientific article; zbMATH DE number 1844483
- Theory and application of labelling techniques for interpretability logics
- Labelled calculi for the logics of rough concepts
- A possible worlds interpretation of label semantics
- Labellings for assumption-based and abstract argumentation
Cited in
(6)
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 Q3358715)