registrieren | anmelden | FAQ      [?] 

Logic Journal of the IGPL

Articles from the last few issues of Logic Journal of the IGPL © Oxford University Press
  • Comparing Computational Power
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 633-647.
    by Boker, Udi, Dershowitz, Nachum
  • Undecidability over Continuous Time
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 649-658.
    by Mycka, Jerzy, Costa, Jose Felix
  • A Lambek Automaton
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 659-708.
    by Veksler, Tatyana, Francez, Nissim
  • Naming and Diagonalization, from Cantor to Godel to Kleene
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 709-728.
    by Gaifman, Haim
    posted by 2 people rzach LogicPhilMath
  • Adaptive Model Checking
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 729-744.
    by Groce, Alex, Peled, Doron, Yannakakis, Mihalis
    posted by 1 person cbertolini
  • After Godel
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 745-754.
    by Putnam, Hilary
    posted by 2 people rzach LogicPhilMath
  • Verifying Temporal Heap Properties Specified via Evolution Logic
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 755-783.
    by Yahav, , Reps, , Sagiv, , Wilhelm,
  • Querying Hyperset/Web-Like Databases
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 785-814.
    by Sazonov, Vladimir
  • Satisfiability Decay along Conjunctions of Pseudo-Random Clauses
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 815-825.
    by Shamir, Eli
  • Epsilon Calculi
    Logic Journal of the IGPL, Vol. 14, No. 4. (August 2006), pp. 535-590.
    by Slater, Barry Hartley
    posted by 2 people rzach LogicPhilMath
  • A Modal Extension of Weak Generalisation Predicate Logic*This research was partially supported by NSERC grant No. 8250 held by the second author.
    Logic Journal of the IGPL, Vol. 14, No. 4. (August 2006), pp. 591-621.
    by Kibedi, Francisco, Tourlakis, George
  • Some Results on Amalgamation in Algebraic Logic
    Logic Journal of the IGPL, Vol. 14, No. 4. (August 2006), pp. 623-627.
    by Sayed Ahmed, Tarek
  • Editorial Preface
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 101-105.
    by Magnani, Lorenzo
  • Multimodal Abduction: External Semiotic Anchors and Hybrid Representations
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 107-136.
    by Magnani, Lorenzo
  • Abduction with Dialogical and Trialogical Means
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 137-150.
    by Paavola, Sami, Hakkarainen, Kai, Sintonen, Matti
  • Projectual Abduction
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 151-160.
    by Tuzet, Giovanni
  • Towards Operational Abduction from a Cognitive Perspective
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 161-177.
    by Bruza, Peter, Cole, Richard, Song, Dawei, Bari, Zeeniya
    posted by 2 people RafG Conceptual Spaces
  • Abducing Abduction
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 179-187.
    by Fylkesnes, Torgeir Knag
  • Advice on Abductive Logic
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 189-219.
    by Gabbay, Dov, Woods, John
  • A Formal Logic for Abductive Reasoning
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 221-236.
    by Meheus, Joke, Batens, Diderik
  • Surviving Abduction
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 237-256.
    by Carnielli, Walter
  • Gestalt Effects in Counterfactual and Abductive Inference
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 257-269.
    by Pizzi, Claudio
  • Belief Revision Controlled by Meta-abduction
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 271-285.
    by Bharathan, Vivek, Josephson, R John
  • Towards Abductive Reasoning in First-order Logic
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 287-304.
    by Reyes-Cabello, A Liliana, Aliseda-Llera, Atocha, Nepomuceno-Fernandez, Angel
  • Model-Baded Abduction via Dual Resolution
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 305-319.
    by Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel, Aliseda-Llera, Atocha
  • Abductive Reasoning and Linguistic Meaning
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 321-332.
    by Pohjola, Pasi
  • Abductive Equivalence in First-order Logic
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 333-346.
    by Inoue, Katsumi, Sakama, Chiaki
  • Intelligent Alarm Correlation and Abductive Reasoning
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 347-362.
    by Bandini, Stefania, Mosca, Alessandro, Palmonari, Matteo
  • A Layered Abductive Inference Framework for Diagramming Group Motions
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 363-378.
    by Banerjee, Bonny
  • Problem-Solving by Abduction in New Product Development
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 379-390.
    by Becker, C Markus, Zirpoli, Francesco
  • Algorithms for Computing Minimal Conflicts
    Logic Journal of the IGPL, Vol. 14, No. 2. (March 2006), pp. 391-406.
    by Luan, Shangmin, Magnani, Lorenzo, Dai, Guozhong
  • On some questions of L. Aqvist
    Logic Journal of the IGPL, Vol. 14, No. 1. (15 January 2006), pp. 1-13.
    by Mohammad Ardeshir, Fateme Nabavi
  • Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
    Logic Journal of the IGPL, Vol. 14, No. 1. (15 January 2006), pp. 15-34.
    by Erica Calardo
  • A Minimal Hybrid Logic for Intervals
    Logic Journal of the IGPL, Vol. 14, No. 1. (15 January 2006), pp. 35-62.
    by Altaf Hussain
  • S4 is Topologically Complete for (0,1): a Short Proof
    Logic Journal of the IGPL, Vol. 14, No. 1. (15 January 2006), pp. 63-71.
    by Grigori Mints
    posted by 1 person dmitri83
  • Partially-Elementary Extension Kripke Models: A Characterization and Applications
    Logic Journal of the IGPL, Vol. 14, No. 1. (15 January 2006), pp. 73-86.
    by Tomasz Polacik
  • Independence Results in Algebraic Logic
    Logic Journal of the IGPL, Vol. 14, No. 1. (15 January 2006), pp. 87-96.
    by Tarek Sayed-Ahmed
  • Editorial
    Logic Journal of the IGPL, Vol. 13, No. 6. (November 2005), pp. 611-614.
    by Walter Carnielli, Paulo Mateus
  • Properties of Intuitionistic Provability and Preservativity Logics
    Logic Journal of the IGPL, Vol. 13, No. 6. (November 2005), pp. 615-636.
    by Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou
  • Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
    Logic Journal of the IGPL, Vol. 13, No. 6. (November 2005), pp. 637-663.
    by Carlos Caleiro, Luca Vigano, David Basin
  • Formalizing Concurrent Common Knowledge as Product of Modal Logics
    Logic Journal of the IGPL, Vol. 13, No. 6. (November 2005), pp. 665-684.
    by Vania Costa, Mario Benevides
  • Data, Schema, Ontology and Logic Integration
    Logic Journal of the IGPL, Vol. 13, No. 6. (November 2005), pp. 685-715.
    by Joseph A Goguen
  • On Most and Representative: Filter Logic and Special Predicates
    Logic Journal of the IGPL, Vol. 13, No. 6. (November 2005), pp. 717-728.
    by Paulo A Veloso, Sheila R Veloso
  • Conferences
    Logic Journal of the IGPL, Vol. 13, No. 6. (November 2005), pp. 729-737.
    by Ruy Queiroz, Angus Macintyre, Guilherme Bittencourt
  • Acknowledgements
    Logic Journal of the IGPL, Vol. 13, No. 6. (November 2005), pp. 738-738.
    by Walter Carnelli, Paulo Mateus, Amilcar Sernadas, Joao Rasga, Lutz Schroeder, Franz Baader, Carolos E Areces
  • Editorial
    Logic Journal of the IGPL, Vol. 13, No. 5. (September 2005), pp. 491-491.
    by M Baaz, A Ciabattoni, D Gabbay, P Hajek
  • A Dynamic Game-theoretic Approach to the Modified Prisoner's Dilemma
    Logic Journal of the IGPL, Vol. 13, No. 5. (September 2005), pp. 493-502.
    by Amit Banerjee
  • Fuzzy Closure Operators with Truth Stressers
    Logic Journal of the IGPL, Vol. 13, No. 5. (September 2005), pp. 503-513.
    by Radim Belohlavek, Tatana Funiokova, Vilem Vychodil
  • On Evolving of Recursive Functions using -abstraction and Higher-order Functions
    Logic Journal of the IGPL, Vol. 13, No. 5. (September 2005), pp. 515-524.
    by Martin Dostal
  • Mathematical Fuzzy Control. A Survey of Some Recent Results
    Logic Journal of the IGPL, Vol. 13, No. 5. (September 2005), pp. 525-541.
    by Siegfried Gottwald
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/journal/oup-igpl

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.