Login / Signup
Marta Cialdea
ORCID
Publication Activity (10 Years)
Years Active: 1986-1993
Publications (10 Years): 0
</>
Publications
</>
Marta Cialdea
Herbrand style proof procedures for modal logic.
J. Appl. Non Class. Logics
3 (2) (1993)
Marta Cialdea
Resolution for Some First-Order Modal Systems.
Theor. Comput. Sci.
85 (2) (1991)
Marta Cialdea
,
Luis Fariñas del Cerro
A Modal Herbrand's Property.
Math. Log. Q.
32 (31-34) (1986)
Marta Cialdea
Some Remarks on the Possibility of Extending Resolution Proof Procedures to Intuitionistic Logic.
Inf. Process. Lett.
22 (2) (1986)