[11] | Herod and pilate: Two tableau provers for basic hybrid logic (Cialdea Mayer, Marta and Cerrito, Serenella), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6173 LNAI, 2010. |
[10] | Nominal substitution at work with the global and converse modalities (Cerrito, Serenella and Cialdea Mayer, Marta), In Advances in Modal Logic 2006, volume 8, 2010. |
[9] | An efficient approach to nominal equalities in hybrid logic tableaux (Cerrito, Serenella and Cialdea Mayer, Marta), In Journal of Applied Non-Classical Logics, volume 20, 2010. |
[8] | A general theorem prover for quantified modal logics (Thion, V., Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2381 LNAI, 2002. |
[7] | Ground and free-variable tableaux for variants of quantified modal logics (Cialdea Mayer, Marta and Cerrito, Serenella), In Studia Logica, volume 69, 2001. |
[6] | Free-variable tableaux for constant-domain quantified modal logics with rigid and non-rigid designation (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2083 LNAI, 2001. |
[5] | Variants of first-order modal logics (Cialdea Mayer, Marta and Cerrito, Serenella), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1847 LNAI, 2000. |
[4] | First order linear temporal logic over finite time structures (Cerrito, Serenella, Cialdea Mayer, Marta and Praud, S.), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1705 LNAI, 1999. |
[3] | Using linear temporal logic to model and solve planning problems (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1480 LNAI, 1998. |
[2] | Bounded model search in linear temporal logic and its application to planning (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1397 LNAI, 1998. |
[1] | Hintikka multiplicities in matrix decision methods for some propositional modal logics (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1227, 1997. |