3,689 followers
A Henkin-style completeness proof for the modal logic S5. ~ Bruno Bentzen. https://t.co/hIMcnJRzEs #ITP #LeanProver #LogicMath
A Henkin-style completeness proof for the modal logic S5. ~ Bruno Bentzen. https://t.co/hIMcnJRzEs #ITP #LeanProver #LogicMath
A Henkin-style completeness proof for the modal logic S5. ~ Bruno Bentzen. https://t.co/TXquCjz4mj #ITP #LeanProver #LogicMath
Open Access UCL Research: A Multi Attack Argumentation Framework - UCL Discovery https://t.co/fmMM1z2I6s
A Henkin-style completeness proof for the modal logic S5 https://t.co/FDFB8UsM9B