Software
We have some implementations connected to the project:
- VINTE: An implementation of the standard sequent calculi for Lewis' conditional logics presented in Standard Sequent Calculi for Lewis' Logics of Counterfactuals. The system description was published as VINTE: an Implementation of Internal Calculi for Lewis' Logics for Counterfactual Reasoning.
- LNSprover: An implementation of a modular theorem prover for a number of normal and non-normal modal logics using linear nested sequent calculi.
- Some of the methods and systems of the paper Proof Search in Nested Sequent Systems have been implemented by Elaine Pimentel in the prover POULE.