Logical consequence in modal logic: Natural deduction in S5

@article{Corcoran1969LogicalCI,
  title={Logical consequence in modal logic: Natural deduction in S5},
  author={John Corcoran and George Weaver},
  journal={Notre Dame Journal of Formal Logic},
  year={1969},
  volume={10},
  pages={370-384}
}
BETA

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…