Logical consequence in modal logic: Natural deduction in S5

DOI10.1305/ndjfl/1093893787zbMath0187.26603OpenAlexW2039416535MaRDI QIDQ2536519

John Corcoran, George E. Weaver

Publication date: 1969

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093893787

zbMATH Keywords

general logic

Related Items (5)

Belief, knowledge and faith: a logical modal theory ⋮ Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ A simple tableau system for the logic of elsewhere ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different

This page was built for publication: Logical consequence in modal logic: Natural deduction in S5