The following pages link to Serenella Cerrito (Q229750):
Displaying 12 items.
- Minimisation of \(\mathrm{ATL}^*\) models (Q1694465) (← links)
- Pattern matching as cut elimination (Q1882898) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- (Q2701983) (← links)
- (Q2721195) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- (Q2904047) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 (Q3126407) (← links)
- Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (Q3192199) (← links)
- Hintikka multiplicities in matrix decision methods for some propositional modal logics (Q4610320) (← links)
- A linear logic approach to consistency preserving updates (Q4885626) (← links)
