Top Related
Boiler Logics
VEE Logics
Proof theory for hybrid(ised) logics I - COnnecting REpositories · 2019. 10. 24. · logics [7], quantum logics [13], hidden and observational logics [11, 9, 43], algebrocaic logics
Mathematical Logics - UniTrento
Basic Description Logics
Institutional Logics
Blocs logics
LDK R Logics for Data and Knowledge Representation Description Logics (ALC)