Bull's theorem by the method of diagrams

DOI10.1023/A:1026447418461zbMath1018.03018OpenAlexW1480092413MaRDI QIDQ1288961

Giovanna Corsi

Publication date: 8 January 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026447418461

zbMATH Keywords

completenessfinite model propertyKripke framesnormal modal logicsdiagrams

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Bull's theorem by the method of diagrams