Zobrazeno 1 - 2
of 2
pro vyhledávání: '"translation between calculi"'
Publikováno v:
Advances in Modal Logics 2018
Advances in Modal Logics 2018, Aug 2018, Bern, Switzerland. pp.291-310
Advances in Modal Logics 2018, Aug 2018, Bern, Switzerland. pp.291-310
International audience; Lewis' Logic V is the fundamental logic of counterfactuals. Its proof theory is here investigated by means of two sequent calculi based on the connective of comparative plausibility. First, a labelled calculus is defined on th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f3009f240be5c4362767563a76556321
https://hal.science/hal-02077043
https://hal.science/hal-02077043
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.