Pilar Dellunde (48 publications)
2008
"Formalizing Deductive Coherence: An Application to Norm Evaluation",
Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS 2008). Associated with DEON 2008, Luxenbourg, 15-16 July, 2008, 2008.
Abstract
"Probabilistic Dynamic Belief Logic for Image and Reputation",
Artificial Intelligence Research and Development, CCIA'08, vol. 184: IOS Press, pp. 197-206, 2008.
Abstract
2007
"On the Multimodal Logic of Elementary Normative Systems ",
Artificial Intelligence Research and Development, CCIA'07, vol. 131, pp. 57-67, 2007.
"On the Multimodal Logic of Normative Systems ",
Lecture Notes in Computer Science, vol. 4870, pp. 261-274, 2007.
2004
"The theory of modules of separably closed fields 2 ",
Annals of Pure and Applied Logic, vol. 129, pp. 181-210, 2004.
2003
"Citizen participation and the Internet: obstacles, opportunities and proposals for the future ",
Open Administration Dossier, CAT365, pp. 65-80, 2003.
"Equality-free Saturated Models",
Reports on Mathematical Logic, vol. 37, pp. 3-22, 2003.
2002
"The Theory of Modules of Separably Closed Fields 1 ",
The Journal of Symbolic Logic, vol. 67, pp. 997-1015, 2002.
2001
"Les corps separablement clos consideres comme modules ",
Seminaire de Structures Algebriques Ordonnees, vol. 72, pp. 1-7, 2001.
"Separably closed fields considered as modules ",
The Bulletin of Symbolic Logic. Logic Colloquium 2001, pp. 106-107, 2001.
2000
"A Preservation Theorem for Equality-free Horn Sentences ",
Theoria, vol. 39, pp. 517-530, 2000.
"On Definability of the Equality in Classes of Algebras with an Equivalence Relation ",
Studia Logica, vol. 64, pp. 345-353, 2000.
1999
"Equality-free Logic: The Method of Diagrams and Preservation Theorems ",
Logic Journal of the IGPL, vol. 7, pp. 717-732, 1999.
"Vocabulari Basic de Lògica ",
Servei de Publicacions de la Universitat Autonoma de Barcelona, 1999.
1997
"Equality-free Logic ",
Workshop on Abstract Algebraic Logic, pp. 23-25, 1997.
"Some Results on Equality-free Logic ",
The Bulletin of the Workshop on Model Theory and Complexity, pp. 13-15, 1997.
"Saturated Models and Equality-free Logic",
II Congreso de la Sociedad de Lógica , pp. 470-473, 1997.
1996
"Characterization Theorems for Infinitary Universal Horn Logic ",
Truth, Logic, Representation and World, pp. 193-199, 1996.
"On Elementary Equivalence for Equality-free Logic ",
Notre Dame Journal of Formal Logic,, vol. 37, pp. 506-522, 1996.
PhD. Thesis: Contributions to the Model Theory of Equality-Free Logic ,
: Universitat de Barcelona, 1996.
"Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality ",
The Journal of Symbolic Logic, vol. 61, pp. 1242-1260, 1996.
1995
"A finitary 1-equivalential logic not finitely equivalential ",
Butlletin of the Section of Logic, vol. 24, pp. 120-122, 1995.
1993
"El fragmento universal de Horn sin identidad ",
I Congreso de la Sociedad de Lógica, pp. 36-39, 1993.