( en | de | ru )

 

Disambiguation of "Cerrito, Serenella"

Author of the publication

copydeleteadd this publication to your clipboard
A General Theorem Prover for Quantified Modal Logics.

, , and . TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 266-280. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefano Cerrito

 

Other publications of authors with the same name

Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics., and . TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 138-152. Springer, (1997)A General Theorem Prover for Quantified Modal Logics., , and . TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 266-280. Springer, (2002)A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4., and . Logic Journal of the IGPL, 5 (2): 287-300 (1997)Herbrand Methods in Sequent Calculi: Unification in LL.. JICSLP, page 607-621. MIT Press, (1992)Tableaux like model checking on-the-fly for ATL+.. CoRR, (2021)A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders., and . TABLEAUX, volume 6793 of Lecture Notes in Computer Science, page 104-118. Springer, (2011)Bounded Model Search in Linear Temporal Logic and Its Application to Planning., and . TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 124-140. Springer, (1998)Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic., and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 255-262. Springer, (2010)A Linear Logic Approach to Consistency Preserving Updates., , and . J. Log. Comput., 6 (3): 439-463 (1996)Using Linear Temporal Logic to Model and Solve Planning Problems., and . AIMSA, volume 1480 of Lecture Notes in Computer Science, page 141-152. Springer, (1998)