A Deduction Theorem for Normal Modal Propositional Logic

DOI10.1007/3-540-44958-2_9zbMath1279.03040OpenAlexW1594753677MaRDI QIDQ3550857

Saša Buvač

Publication date: 6 April 2010

Published in: Modeling and Using Context (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-44958-2_9

Mathematics Subject Classification ID

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

Related Items (1)

Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed.

This page was built for publication: A Deduction Theorem for Normal Modal Propositional Logic