Marta Cialdea Mayer

Available identifiers

zbMath Open cialdea-mayer.martaWikidataQ102402737 ScholiaQ102402737MaRDI QIDQ229749

List of research outcomes

Publication	Date of Publication	Type
Logical connectives for two-state semantics	2023-10-30	Paper
On timeline-based games and their complexity	2020-04-06	Paper
A prover dealing with nominals, binders, transitivity and relation hierarchies	2020-03-03	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
Planning and execution with flexible timelines: a formal account	2016-10-21	Paper
Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders	2016-05-26	Paper
A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities	2015-06-23	Paper
Extended decision procedure for a fragment of HL with binders	2015-06-23	Paper
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies	2013-06-14	Paper
Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies	2012-10-21	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
AI*IA 2003: Advances in Artificial Intelligence	2010-03-05	Paper
Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions	2009-12-01	Paper
Linear temporal logic as an executable semantics for planning languages	2009-03-24	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4412865	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4412852	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
https://portal.mardi4nfdi.de/entity/Q4877442	1996-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4860658	1996-02-13	Paper
Herbrand style proof procedures for modal logic	1994-09-26	Paper
First order abduction via tableau and sequent calculi	1994-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4013825	1992-09-27	Paper
Resolution for some first-order modal systems	1992-06-26	Paper
A Modal Herbrand's Property	1986-01-01	Paper
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic	1986-01-01	Paper

Research outcomes over time

This page was built for person: Marta Cialdea Mayer