Get started
Author

Serenella Cerrito

First Order Linear Temporal Logic over Finite Time Structures
1999 · Serenella Cerrito, Marta Cialdea Mayer, et al. · Lecture notes in computer science · 28
A first step towardsmodeling semistructured data in hybrid multimodal logic
2004 · Nicole Bidoit, Serenella Cerrito, et al. · Journal of Applied Non-Classical Logics · 23
Bounded Model Search in Linear Temporal Logic and Its Application to Planning
1998 · Serenella Cerrito, Marta Cialdea Mayer · Lecture notes in computer science · 23
Using linear temporal logic to model and solve planning problems
1998 · Serenella Cerrito, Marta Cialdea Mayer · Lecture notes in computer science · 21
A linear axiomatization of negation as failure
1992 · Serenella Cerrito · The Journal of Logic Programming · 21
PDF
Pattern matching as cut elimination
2004 · Serenella Cerrito, Delia Kesner · Theoretical Computer Science · 19
A linear semantics for allowed logic programs
2002 · S. Cerrito · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 18
Pattern matching as cut elimination
2003 · S. Cerrito, D. Kesner · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 16
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4
1997 · S. Cerrito · Logic Journal of IGPL · 16
Nominal Substitution at Work with the Global and Converse Modalities
2010 · Serenella Cerrito, Marta Cialdea Mayer, et al. · 15
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
2011 · Serenella Cerrito, Marta Cialdea Mayer · Lecture notes in computer science · 12
An efficient approach to nominal equalities in hybrid logic tableaux
2010 · Serenella Cerrito, Marta Cialdea Mayer · Journal of Applied Non-Classical Logics · 11
A General Theorem Prover for Quantified Modal Logics
2002 · V. Thion, S. Cerrito, et al. · Lecture notes in computer science · 9
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+
2014 · Serenella Cerrito, Amélie David, et al. · Lecture notes in computer science · 8
PDF
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic
2010 · Marta Cialdea Mayer, Serenella Cerrito · Lecture notes in computer science · 8
Variants of First-Order Modal Logics
2000 · Marta Cialdea Mayer, Serenella Cerrito · Lecture notes in computer science · 7
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics
2001 · Marta Cialdea Mayer, Serenella Cerrito · Studia Logica · 6
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation
2001 · Serenella Cerrito, Marta Cialdea Mayer · Lecture notes in computer science · 6
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities
2012 · Serenella Cerrito, Marta Cialdea Mayer · Journal of Automated Reasoning · 5
Two tableau provers for basic hybrid logic
2009 · Marta Cialdea Mayer, Serenella Cerrito, et al. · 5
Herbrand Methods in Sequent Calculi: Unification in LL.
1992 · Serenella Cerrito · 5
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL +
2015 · Serenella Cerrito, Amélie David, et al. · ACM Transactions on Computational Logic · 4
Tableaux with Substitution for Hybrid Logic with the Global and Converse Modalities
2009 · Serenella Cerrito, Marta Cialdea Mayer · 3
Labelled Tableaux for Propositional Linear Time Logic Over Finite Frames
2000 · Serenella Cerrito, Marta Cialdea Mayer · Applied logic series · 3
Hintikka multiplicities in matrix decision methods for some propositional modal logics
1997 · Serenella Cerrito, Marta Cialdea Mayer · Lecture notes in computer science · 3
Works count: 58
Citation count: 303
H-index: 11
I10-index: 12
Year
Topic
Type