Malinowski modalization, modalization through fibring and the Leibniz hierarchy

DOI10.1093/jigpal/jzt019zbMath1337.03030OpenAlexW1971548243WikidataQ123181207 ScholiaQ123181207MaRDI QIDQ5176664

Manuel A. Martins, George Voutsadakis

Publication date: 27 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ef47d703d4f960b4bc15097471e25f7e33b3ad38

zbMATH Keywords

modal logicabstract algebraic logicprotoalgebraic logicsequivalential logicscombination of logicssentential logicsfibringLeibniz hierarchymodalization of logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62) Abstract algebraic logic (03G27)

Related Items (1)

Categorical abstract algebraic logic: meet-combination of logical systems

This page was built for publication: Malinowski modalization, modalization through fibring and the Leibniz hierarchy