Serenella Cerrito

Available identifiers

zbMath Open cerrito.serenellaMaRDI QIDQ229750

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2904047	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
https://portal.mardi4nfdi.de/entity/Q2701983	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Serenella Cerrito