Searching for authors named "Marta Cialdea Mayer" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
