Serenella Cerrito

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Partial model checking and partial model synthesis in LTL using a tableau-based approach	2024-10-21	Paper
Hintikka multiplicities in matrix decision methods for some propositional modal logics Lecture Notes in Computer Science	2019-01-15	Paper
Temporal abductive reasoning about biochemical reactions Journal of Applied Non-Classical Logics	2018-09-12	Paper
Minimisation of \(\mathrm{ATL}^*\) models	2018-02-02	Paper
Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\) ACM Transactions on Computational Logic	2017-07-12	Paper
A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities Journal of Automated Reasoning	2015-06-23	Paper
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ Automated Reasoning	2014-09-26	Paper
Nominal substitution at work with the global and converse modalities	2012-08-05	Paper
An efficient approach to nominal equalities in hybrid logic tableaux Journal of Applied Non-Classical Logics	2012-07-17	Paper
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders Lecture Notes in Computer Science	2011-07-01	Paper
Herod and Pilate: two tableau provers for basic hybrid logic Automated Reasoning	2010-09-14	Paper
A first step towards modeling semistructured data in hybrid multimodal logic Journal of Applied Non-Classical Logics	2009-11-30	Paper
Pattern matching as cut elimination Theoretical Computer Science	2004-10-01	Paper
scientific article; zbMATH DE number 1950267 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1765667 (Why is no real title available?)	2002-07-10	Paper
Ground and free-variable tableaux for variants of quantified modal logics Studia Logica	2002-05-27	Paper
Labelled tableaux for propositional linear time logic over finite frames	2001-07-05	Paper
scientific article; zbMATH DE number 1612550 (Why is no real title available?)	2001-07-01	Paper
scientific article; zbMATH DE number 1405444 (Why is no real title available?)	2000-07-05	Paper
scientific article; zbMATH DE number 1302385 (Why is no real title available?)	1999-12-13	Paper
scientific article; zbMATH DE number 1189100 (Why is no real title available?)	1998-08-13	Paper
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 Logic Journal of the IGPL	1997-06-02	Paper
A linear logic approach to consistency preserving updates Journal Of Logic And Computation	1996-11-10	Paper
A linear axiomatization of negation as failure The Journal of Logic Programming	1992-08-13	Paper

Research outcomes over time

This page was built for person: Serenella Cerrito