Standard Sequent Calculi for Lewis’ Logics of Counterfactuals

From MaRDI portal
Publication:2835877

DOI10.1007/978-3-319-48758-8_18zbMath1485.03036OpenAlexW2540819425MaRDI QIDQ2835877

Nicola Olivetti, Björn Lellmann, Marianna Girlando, Gian Luca Pozzato

Publication date: 30 November 2016

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2318/1640054




Related Items (3)




Cites Work




This page was built for publication: Standard Sequent Calculi for Lewis’ Logics of Counterfactuals