The following pages link to Serenella Cerrito (Q229750):
Displayed 23 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)
- A first step towardsmodeling semistructured data in hybrid multimodal logic (Q3647216) (← links)
- (Q3838808) (← links)
- A linear axiomatization of negation as failure (Q3992234) (← links)
- (Q4247687) (← links)
- (Q4412865) (← links)
- (Q4539603) (← links)
- Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
- Hintikka multiplicities in matrix decision methods for some propositional modal logics (Q4610320) (← links)
- A linear logic approach to consistency preserving updates (Q4885626) (← links)
- (Q4938418) (← links)
- Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (Q5277905) (← links)
- Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (Q5747765) (← links)
- Ground and free-variable tableaux for variants of quantified modal logics (Q5955623) (← links)