Logic Journal of the IGPL, Volume 20

Volume 20, Number 1, February 2012

• Evan Goris, Joost J. Joosten:
  Self provers and Σ₁ sentences. 1-21
  
• Tarek Sayed Ahmed:
  Epimorphisms are not surjective, even in simple algebras. 22-26
  
• Majid Alizadeh, Mohammad Ardeshir:
  On Löb algebras, II. 27-44
  
• Frederik Van De Putte:
  Hierarchic adaptive logics. 45-72
  
• Katarzyna Slomczynska:
  Unification and projectivity in Fregean varieties. 73-93
  
• Anton Benz:
  On a super large fixed-point of common information in multi-agent signalling games. 94-120
  
• Wojciech Dzik, Piotr Wojtylak:
  Projective unification in modal logic. 121-153
  
• Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa:
  Inconsistent-tolerant base revision through Argument Theory Change. 154-186
  
• Eunsuk Yang:
  (Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics. 187-206
  
• Stepan Kuznetsov:
  Lambek grammars with one division and one primitive type. 207-221
  
• Kenshi Miyabe:
  The difference between optimality and universality. 222-234
  
• Milos Milosevic, Zoran Ognjanovic:
  A first-order conditional probability logic. 235-253
  
• Nazanin Tavana, Massoud Pourmahdian, Farzad Didehvar:
  Compactness in first order Łukasiewicz logic. 254-265
  
• Blai Bonet, Nerio Borges:
  Syntactic characterizations of completeness using duals and operators. 266-282
  
• Virginia Dignum, Frank Dignum:
  A logic of agent organizations. 283-316
  
• Wenyan Xu, Sanyang Liu:
  Soundness and completeness of the Cirquent calculus system CL6 for computability logic. 317-330
  
• Kensuke Kojima:
  Which classical correspondence is valid in intuitionistic modal logic? 331-348
  
• Josef Berger, Douglas S. Bridges, Erik Palmgren:
  Double sequences, almost Cauchyness and BD-N. 349-354
  
• José M. Méndez, Gemma Robles, Francisco Salto:
  Ticket Entailment plus the mingle axiom has the variable-sharing property. 355-364
  

Volume 20, Number 2, April 2012

• Lorenzo Magnani, Walter Alexandre Carnielli, Claudio Pizzi:
  Special Issue: Formal Representations in Model-based Reasoning and Abduction. 367-369
  

• Marcelo Finger:
  Towards automated first-order abduction: the cut-based approach. 370-387
  
• Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández Duque:
  Tableaux for structural abduction. 388-399
  
• Dagmar Provijn:
  The generation of abductive explanations from inconsistent theories. 400-416
  
• Peter Verdée:
  Modelling defeasible reasoning by means of adaptive logic games. 417-437
  
• Fernando Soler-Toscano, David Fernández Duque, Ángel Nepomuceno-Fernández:
  A modal framework for modelling abductive reasoning. 438-444
  
• Peter D. Bruza, Kirsty Kitto, Laurianne Ramm, Laurianne Sitbon, D. Song, S. Blomberg:
  Quantum-like non-separability of concept combinations, emergent associates and abduction. 445-457
  
• Juliana Bueno-Soler:
  Models for anodic and cathodic multimodalities. 458-476
  
• Anderson De Araújo, Walter Alexandre Carnielli:
  Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. 477-485
  
• Shangmin Luan, Guozhong Dai, Lorenzo Magnani:
  An approximate approach to belief revision. 486-496
  
• Hans Lycke:
  A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning. 497-516
  
• Ricardo Sousa Silvestre:
  On the logical formalization of theory change and scientific anomalies. 517-532
  

Volume 20, Number 3, June 2012

• Manuel Graña, Emilio Corchado, Michal Wozniak:
  Special issue: HAIS 2010. 533-535
  

• Dragan Simic, Ilija Kovacevic, Svetlana Simic:
  Insolvency prediction for assessing corporate financial health. 536-549
  
• Bartosz Kurlej, Michal Wozniak:
  Active learning approach to concept drift problem. 550-559
  
• Camelia-Mihaela Pintea, Gloria Cerasela Crisan, Camelia Chira:
  Hybrid ant models with a transition policy for solving a complex problem. 560-569
  
• Carolina Zato, Ana de Luis, Javier Bajo, Juan Francisco de Paz, Juan M. Corchado:
  Dynamic model of distribution and organization of activities in multi-agent systems. 570-578
  
• Xingxing He, Jun Liu, Yang Xu, Luis Martínez, Da Ruan:
  On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. 579-588
  
• Zorana Bankovic, José Manuel Moya, Elena Romero, Javier Blesa, David Fraga, Juan Carlos Vallejo, Álvaro Araujo, Pedro Malagón, Juan-Mariano de Goyeneche, Daniel Villanueva, Octavio Nieto-Taladriz:
  Using clustering techniques for intelligent camera-based user interfaces. 589-597
  
• José Luís Calvo-Rolle, Emilio Corchado:
  A bio-inspired robust controller for a refinery plant process. 598-616
  
• Josune Gallego, Carmen Hernández, Manuel Graña:
  A morphological cellular automata based on morphological independence. 617-624
  
• Blanca Cases, Israel Rebollo, Manuel Graña:
  A hybrid spatial - social - logical model explaining human behaviour in emergency situations. 625-633
  
• Milos Kudelka, Zdenek Horak, Václav Snásel, Pavel Krömer, Jan Platos, Ajith Abraham:
  Social and swarm aspects of co-authorship network. 634-643
  

Volume 20, Number 4, August 2012

• Emilio Corchado, Paulo Novais:
  Special issue: SOCO 2010-CMMSE 2010. 645-647
  

• Ilaria Bertini, Matteo De Felice, Alessandro Pannicelli, Stefano Pizzuti:
  Optimizing the start-up operations of combined cycle power plants using soft computing methods. 648-656
  
• Irene Díaz, Luis J. Rodríguez-Muñiz, Luigi Troiano:
  Fuzzy sets in data protection: strategies and cardinalities. 657-666
  
• Ryszard Janicki, Yun Zhai:
  On a pairwise comparison-based consistent non-numerical ranking. 667-676
  
• Tomasz Kacprzak, Krzysztof Walkowiak, Michal Wozniak:
  Optimization of overlay distributed computing systems for multiple classifier system - heuristic approach. 677-688
  
• Ângelo Costa, Paulo Novais, Juan M. Corchado, José Neves:
  Increased performance and better patient attendance in an hospital with the use of smart agendas. 689-698
  
• Angel Arroyo, Emilio Corchado, Verónica Tricio:
  Soft computing models to analyze atmospheric pollution issues. 699-711
  
• Juan Francisco de Paz, Martí Navarro, Cristian Pinzón, Vicente Julián, Dante I. Tapia, Javier Bajo:
  Mathematical model for a temporal-bounded classifier in security environments. 712-721
  
• David L. González-Álvarez, Alvaro Rubio-Largo, Miguel A. Vega-Rodríguez, Sónia M. Almeida-Luz, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez:
  Solving the reporting cells problem by using a parallel team of evolutionary algorithms. 722-731
  
• Radha Thangaraj, Millie Pant, Pascal Bouvry, Ajith Abraham:
  Solving stochastic programming problems using modified differential evolution algorithms. 732-746
  
• Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora Bonilla:
  Relational dual tableau decision procedure for modal logic K. 747-756
  
• Javier Sedano, José Ramón Villar, Leticia Curiel, Emilio Corchado, Enrique A. de la Cal:
  Learning and training techniques in fuzzy control for energy efficiency in buildings. 757-769
  

Volume 20, Number 5, October 2012

• Christoph Beierle, Gabriele Kern-Isberner:
  Editorial: Relational approaches to knowledge representation and learning. 771-773
  

• Haythem O. Ismail:
  Log_AB: A first-order, non-paradoxical, algebraic logic of belief. 774-795
  
• Jens Fisseler:
  First-order probabilistic conditional logic and maximum entropy. 796-830
  
• Marc Finthammer, Matthias Thimm:
  An integrated development environment for probabilistic relational reasoning. 831-871
  
• Matthias Thimm, Gabriele Kern-Isberner:
  On probabilistic inference in relational conditional logics. 872-908
  
• Daniel Beck, Gerhard Lakemeyer:
  Reinforcement learning for Golog programs with first-order state-abstraction. 909-942
  
• Patrick Krümpelmann:
  Dependency semantics for sequences of extended logic programs. 943-966
  

Volume 20, Number 6, December 2012

• Murdoch James Gabbay:
  Meta-variables as infinite lists in nominal terms unification and rewriting. 967-1000
  
• Tarek Sayed Ahmed:
  Three interpolation theorems for typeless logics. 1001-1037
  
• Luisa Iturrioz:
  Two old representation theorems and Information Systems. 1038-1045
  
• Claus-Peter Wirth:
  Computer-assisted human-oriented inductive theorem proving by descente infinie - a manifesto. 1046-1063
  
• Gábor Sági, Dorottya Sziráki:
  Some variants of Vaught's conjecture from the perspective of algebraic logic. 1064-1082
  
• Steffen Lewitzka:
  Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. 1083-1109
  
• Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen:
  Generalized Kripke semantics for the Lambek-Grishin calculus. 1110-1132
  
• Hernán de la Vega:
  Normal and complete Boolean ambiguity algebras and MV-pairs. 1133-1152
  
• Yu. M. Movsisyan, V. A. Aslanyan:
  Hyperidentities of De Morgan algebras. 1153-1174
  
• D. Henriques, M. Biscaia, Pedro Baltazar, Paulo Mateus:
  Decidability and complexity for ω-regular properties of stochastic systems. 1175-1201
  
• Mohammad Ardeshir, Vahid Vaezian:
  A unification of the basic logics of Sambin and Visser. 1202-1213
  
• M. Zayed, A. Y. Abdelwanis:
  An application of a theorem of Rothmaler. 1214-1219
  

Last update Fri May 17 20:09:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page