Natural deduction, hybrid systems and modal logics
DOI10.1007/978-90-481-8785-0zbMath1236.03002OpenAlexW598113844MaRDI QIDQ659458
Publication date: 19 January 2012
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-90-481-8785-0
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)
Related Items (32)
Uses Software
This page was built for publication: Natural deduction, hybrid systems and modal logics