The following pages link to Marianna Girlando (Q1694455):
Displayed 14 items.
- Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity (Q1694457) (← links)
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning (Q1694459) (← links)
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- Nested sequents for the logic of conditional belief (Q2296755) (← links)
- Uniform labelled calculi for conditional and counterfactual logics (Q2303592) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics (Q3382812) (← links)
- CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167) (← links)
- (Q4636042) (← links)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
- (Q5224572) (← links)
- Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning (Q5862470) (← links)
- (Q5884952) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)