Searching for authors named "Marta Cialdea Mayer" – sorted by Relevance.
-
An View of Contexts in Reduction Systems
- Cialdea Mayer RT-INF-10-96 Universita diRomaTre, Via della Vasca Navale, 84 00146 Roma, Italy fgippo
- Add To MetaCart
-
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics
- Marta Cialdea Mayer Serenella Cerrito Ground and Free-Variable Tableaux for Variants of Quantied
- Add To MetaCart
-
Using Linear Temporal Logic to Model and Solve Planning Problems
- Cialdea Mayer 2? 1 Universit'e de Paris-Sud, LRI, Bat 490, F-91405 Orsay Cedex, France. e-mail: serena
- Cited by 10 (5 self) – Add To MetaCart
-
Abduction is not Deduction-in-Reverse
- Abduction is not Deduction-in-Reverse MARTA CIALDEA MAYER, Dipartimento di Informatica, Terza
- Cited by 10 (0 self) – Add To MetaCart
-
A polynomial translation of S4 into T and contraction-free tableaux for S4
- and Marta Cialdea Mayer 2? 1 Universit'e de Paris-Sud, LRI, Bat 490, F-91405 Orsay Cedex, France. e
- Cited by 5 (0 self) – Add To MetaCart
-
A Study on the Logic of Abduction
- A study on the logic of abduction Marta Cialdea Mayer 1 and Fiora Pirri 2 Abstract
- Cited by 1 (0 self) – Add To MetaCart
-
Variants of First-Order Modal Logics
- Variants of First-Order Modal Logics Marta Cialdea Mayer 1 and Serenella Cerrito 2 1 Universita
- Cited by 3 (2 self) – Add To MetaCart
-
Propositional Abduction in Modal Logic
- Propositional Abduction in Modal Logic Marta Cialdea Mayer 2 Fiora Pirri 1 1 Dipartimento di
- Cited by 7 (2 self) – Add To MetaCart
-
A Study on the Relation Between Explanans Explanandum: A Modal Approach
- A study on the relation between explanans and explanandum: a modal approach Marta Cialdea Mayer
- Cited by 1 (1 self) – Add To MetaCart
-
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-Rigid Designation
- -Rigid Designation Serenella Cerrito 1 and Marta Cialdea Mayer 2 1 Universite de Paris-Sud, L.R.I. 2
- Cited by 3 (1 self) – Add To MetaCart

