Serenella Cerrito

Available identifiers

zbMath Open cerrito.serenellaMaRDI QIDQ229750

List of research outcomes

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	2019-01-15	Paper
Temporal abductive reasoning about biochemical reactions	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 ATL +	2017-07-12	Paper
A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities	2015-06-23	Paper
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+	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	2012-07-17	Paper
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders	2011-07-01	Paper
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic	2010-09-14	Paper
A first step towardsmodeling semistructured data in hybrid multimodal logic	2009-11-30	Paper
Pattern matching as cut elimination	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4412865	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4539603	2002-07-10	Paper
Ground and free-variable tableaux for variants of quantified modal logics	2002-05-27	Paper
Labelled tableaux for propositional linear time logic over finite frames	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q2721195	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4938418	2000-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4247687	1999-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q3838808	1998-08-13	Paper
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4	1997-06-02	Paper
A linear logic approach to consistency preserving updates	1996-11-10	Paper
A linear axiomatization of negation as failure	1992-08-13	Paper

Research outcomes over time

This page was built for person: Serenella Cerrito