callback( { "result":{ "query":":facetid:toc:\"db/journals/igpl/igpl10.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"226.60" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"27", "@dc":"27", "@oc":"27", "@id":"43454592", "text":":facetid:toc:db/journals/igpl/igpl10.bht" } }, "hits":{ "@total":"27", "@computed":"27", "@sent":"27", "@first":"0", "hit":[{ "@score":"1", "@id":"6231601", "info":{"authors":{"author":{"@pid":"43/3220-1","text":"Marco Aiello 0001"}},"title":"A Spatial Similarity Measure based on Games: Theory and Practice.","venue":"Log. J. IGPL","volume":"10","number":"1","pages":"1-22","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Aiello02","doi":"10.1093/JIGPAL/10.1.1","ee":"https://doi.org/10.1093/jigpal/10.1.1","url":"https://dblp.org/rec/journals/igpl/Aiello02"}, "url":"URL#6231601" }, { "@score":"1", "@id":"6231602", "info":{"authors":{"author":{"@pid":"34/1711","text":"Argimiro Arratia"}},"title":"On the Descriptive Complexity of a Simplified Game of Hex.","venue":"Log. J. IGPL","volume":"10","number":"2","pages":"105-122","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Arratia02","doi":"10.1093/JIGPAL/10.2.105","ee":"https://doi.org/10.1093/jigpal/10.2.105","url":"https://dblp.org/rec/journals/igpl/Arratia02"}, "url":"URL#6231602" }, { "@score":"1", "@id":"6231603", "info":{"authors":{"author":{"@pid":"73/3814","text":"Gustavo Adrian Bodanza"}},"title":"Disjunctions and Specificity in Suppositional Defeasible Argumentation.","venue":"Log. J. IGPL","volume":"10","number":"1","pages":"23-49","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Bodanza02","doi":"10.1093/JIGPAL/10.1.23","ee":"https://doi.org/10.1093/jigpal/10.1.23","url":"https://dblp.org/rec/journals/igpl/Bodanza02"}, "url":"URL#6231603" }, { "@score":"1", "@id":"6231604", "info":{"authors":{"author":[{"@pid":"57/6451","text":"Tijn Borghuis"},{"@pid":"k/FKamareddine","text":"Fairouz Kamareddine"},{"@pid":"n/RobNederpelt","text":"Rob Nederpelt"}]},"title":"Formalizing Belief Revision in Type Theory.","venue":"Log. J. IGPL","volume":"10","number":"5","pages":"461-500","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/BorghuisKN02","doi":"10.1093/JIGPAL/10.5.461","ee":"https://doi.org/10.1093/jigpal/10.5.461","url":"https://dblp.org/rec/journals/igpl/BorghuisKN02"}, "url":"URL#6231604" }, { "@score":"1", "@id":"6231605", "info":{"authors":{"author":[{"@pid":"70/6184","text":"Maroua Bouzid"},{"@pid":"l/PBLadkin","text":"Peter B. Ladkin"}]},"title":"Simple Reasoning with Time-Dependent Propositions.","venue":"Log. J. IGPL","volume":"10","number":"4","pages":"379-399","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/BouzidL02","doi":"10.1093/JIGPAL/10.4.379","ee":"https://doi.org/10.1093/jigpal/10.4.379","url":"https://dblp.org/rec/journals/igpl/BouzidL02"}, "url":"URL#6231605" }, { "@score":"1", "@id":"6231606", "info":{"authors":{"author":[{"@pid":"11/6335","text":"Krysia Broda"},{"@pid":"g/DovMGabbay","text":"Dov M. Gabbay"},{"@pid":"l/LCLamb","text":"Luís C. Lamb"},{"@pid":"79/683","text":"Alessandra Russo"}]},"title":"Labelled Natural Deduction for Conditional Logics of Normality.","venue":"Log. J. IGPL","volume":"10","number":"2","pages":"123-163","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/BrodaGLR02","doi":"10.1093/JIGPAL/10.2.123","ee":"https://doi.org/10.1093/jigpal/10.2.123","url":"https://dblp.org/rec/journals/igpl/BrodaGLR02"}, "url":"URL#6231606" }, { "@score":"1", "@id":"6231607", "info":{"authors":{"author":{"@pid":"43/829","text":"Martin W. Bunder"}},"title":"Intersection types for lambda-terms and combinators and their logics.","venue":"Log. J. IGPL","volume":"10","number":"4","pages":"357-378","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Bunder02","doi":"10.1093/JIGPAL/10.4.357","ee":"https://doi.org/10.1093/jigpal/10.4.357","url":"https://dblp.org/rec/journals/igpl/Bunder02"}, "url":"URL#6231607" }, { "@score":"1", "@id":"6231608", "info":{"authors":{"author":[{"@pid":"68/5936","text":"Claudio Castellini"},{"@pid":"26/6224","text":"Alan Smaill"}]},"title":"A Systematic Presentation of Quantified Modal Logics.","venue":"Log. J. IGPL","volume":"10","number":"6","pages":"571-599","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/CastelliniS02","doi":"10.1093/JIGPAL/10.6.571","ee":"https://doi.org/10.1093/jigpal/10.6.571","url":"https://dblp.org/rec/journals/igpl/CastelliniS02"}, "url":"URL#6231608" }, { "@score":"1", "@id":"6231609", "info":{"authors":{"author":[{"@pid":"03/3567","text":"Luis Fariñas del Cerro"},{"@pid":"41/1891","text":"Olivier Gasquet"}]},"title":"A General Framework for Pattern-Driven Modal Tableaux.","venue":"Log. J. IGPL","volume":"10","number":"1","pages":"51-83","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/CerroG02","doi":"10.1093/JIGPAL/10.1.51","ee":"https://doi.org/10.1093/jigpal/10.1.51","url":"https://dblp.org/rec/journals/igpl/CerroG02"}, "url":"URL#6231609" }, { "@score":"1", "@id":"6231610", "info":{"authors":{"author":[{"@pid":"79/2173","text":"Daniel Damian"},{"@pid":"d/OlivierDanvy","text":"Olivier Danvy"}]},"title":"A Simple CPS Transformation of Control-Flow Information.","venue":"Log. J. IGPL","volume":"10","number":"5","pages":"501-515","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/DamianD02","doi":"10.1093/JIGPAL/10.5.501","ee":"https://doi.org/10.1093/jigpal/10.5.501","url":"https://dblp.org/rec/journals/igpl/DamianD02"}, "url":"URL#6231610" }, { "@score":"1", "@id":"6231611", "info":{"authors":{"author":[{"@pid":"50/3312","text":"Marcelo Finger"},{"@pid":"21/2319","text":"M. Angela Weiss"}]},"title":"The Unrestricted Combination of Temporal Logic Systems.","venue":"Log. J. IGPL","volume":"10","number":"2","pages":"165-189","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/FingerW02","doi":"10.1093/JIGPAL/10.2.165","ee":"https://doi.org/10.1093/jigpal/10.2.165","url":"https://dblp.org/rec/journals/igpl/FingerW02"}, "url":"URL#6231611" }, { "@score":"1", "@id":"6231612", "info":{"authors":{"author":[{"@pid":"g/DovMGabbay","text":"Dov M. Gabbay"},{"@pid":"77/5132","text":"Odinaldo Rodrigues"},{"@pid":"62/2689-1","text":"John Woods 0001"}]},"title":"Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.","venue":"Log. J. IGPL","volume":"10","number":"6","pages":"601-652","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/GabbayRW02","doi":"10.1093/JIGPAL/10.6.601","ee":"https://doi.org/10.1093/jigpal/10.6.601","url":"https://dblp.org/rec/journals/igpl/GabbayRW02"}, "url":"URL#6231612" }, { "@score":"1", "@id":"6231613", "info":{"authors":{"author":{"@pid":"60/6561","text":"Çigdem Gencer"}},"title":"Description of Modal Logics Inheriting Admissible Rules for K4.","venue":"Log. J. IGPL","volume":"10","number":"4","pages":"401-411","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Gencer02","doi":"10.1093/JIGPAL/10.4.401","ee":"https://doi.org/10.1093/jigpal/10.4.401","url":"https://dblp.org/rec/journals/igpl/Gencer02"}, "url":"URL#6231613" }, { "@score":"1", "@id":"6231614", "info":{"authors":{"author":{"@pid":"39/922","text":"Silvio Ghilardi"}},"title":"A Resolution/Tableaux Algorithm for Projective Approximations in IPC.","venue":"Log. J. IGPL","volume":"10","number":"3","pages":"229-243","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Ghilardi02","doi":"10.1093/JIGPAL/10.3.229","ee":"https://doi.org/10.1093/jigpal/10.3.229","url":"https://dblp.org/rec/journals/igpl/Ghilardi02"}, "url":"URL#6231614" }, { "@score":"1", "@id":"6231615", "info":{"authors":{"author":{"@pid":"92/2745","text":"Norihiro Kamide"}},"title":"Sequent Calculi for Intuitionistic Linear Logic with Strong Negation.","venue":"Log. J. IGPL","volume":"10","number":"6","pages":"653-678","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Kamide02","doi":"10.1093/JIGPAL/10.6.653","ee":"https://doi.org/10.1093/jigpal/10.6.653","url":"https://dblp.org/rec/journals/igpl/Kamide02"}, "url":"URL#6231615" }, { "@score":"1", "@id":"6231616", "info":{"authors":{"author":{"@pid":"14/5875","text":"Aleksey G. Kravtsov"}},"title":"Polymodal Logics of Commuting Functions.","venue":"Log. J. IGPL","volume":"10","number":"5","pages":"517-533","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Kravtsov02","doi":"10.1093/JIGPAL/10.5.517","ee":"https://doi.org/10.1093/jigpal/10.5.517","url":"https://dblp.org/rec/journals/igpl/Kravtsov02"}, "url":"URL#6231616" }, { "@score":"1", "@id":"6231617", "info":{"authors":{"author":{"@pid":"l/CarstenLutz","text":"Carsten Lutz"}},"title":"PSpace Reasoning with the Description Logic ALCF(D).","venue":"Log. J. IGPL","volume":"10","number":"5","pages":"535-568","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Lutz02","doi":"10.1093/JIGPAL/10.5.535","ee":"https://doi.org/10.1093/jigpal/10.5.535","url":"https://dblp.org/rec/journals/igpl/Lutz02"}, "url":"URL#6231617" }, { "@score":"1", "@id":"6231618", "info":{"authors":{"author":{"@pid":"34/4176","text":"Narciso Martí-Oliet"}},"title":"Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala.","venue":"Log. J. IGPL","volume":"10","number":"4","pages":"453-455","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Marti-Oliet02","doi":"10.1093/JIGPAL/10.4.453","ee":"https://doi.org/10.1093/jigpal/10.4.453","url":"https://dblp.org/rec/journals/igpl/Marti-Oliet02"}, "url":"URL#6231618" }, { "@score":"1", "@id":"6231619", "info":{"authors":{"author":[{"@pid":"m/YvesMoinard","text":"Yves Moinard"},{"@pid":"37/4783","text":"Raymond Rolland"}]},"title":"Characterizations of Preferential Entailments.","venue":"Log. J. IGPL","volume":"10","number":"3","pages":"245-272","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/MoinardR02","doi":"10.1093/JIGPAL/10.3.245","ee":"https://doi.org/10.1093/jigpal/10.3.245","url":"https://dblp.org/rec/journals/igpl/MoinardR02"}, "url":"URL#6231619" }, { "@score":"1", "@id":"6231620", "info":{"authors":{"author":{"@pid":"24/5610","text":"Ralf Naumann"}},"title":"A Fibring Semantics for the Semantic-Morphological Interface in Natural Language.","venue":"Log. J. IGPL","volume":"10","number":"2","pages":"191-226","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Naumann02","doi":"10.1093/JIGPAL/10.2.191","ee":"https://doi.org/10.1093/jigpal/10.2.191","url":"https://dblp.org/rec/journals/igpl/Naumann02"}, "url":"URL#6231620" }, { "@score":"1", "@id":"6231621", "info":{"authors":{"author":{"@pid":"36/3314","text":"Rolf Nossum"}},"title":"Propositional Logic for Ground Semigroups of Context.","venue":"Log. J. IGPL","volume":"10","number":"3","pages":"273-297","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Nossum02","doi":"10.1093/JIGPAL/10.3.273","ee":"https://doi.org/10.1093/jigpal/10.3.273","url":"https://dblp.org/rec/journals/igpl/Nossum02"}, "url":"URL#6231621" }, { "@score":"1", "@id":"6231622", "info":{"authors":{"author":[{"@pid":"q/RuyQueiroz","text":"Ruy J. G. B. de Queiroz"},{"@pid":"55/4356","text":"Luiz Carlos Pereira"},{"@pid":"93/6371","text":"Edward Hermann Haeusler"}]},"title":"9th Workshop on Logic, Language, Information and Computation.","venue":"Log. J. IGPL","volume":"10","number":"6","pages":"679-688","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/QueirozPH02","doi":"10.1093/JIGPAL/10.6.679","ee":"https://doi.org/10.1093/jigpal/10.6.679","url":"https://dblp.org/rec/journals/igpl/QueirozPH02"}, "url":"URL#6231622" }, { "@score":"1", "@id":"6231623", "info":{"authors":{"author":[{"@pid":"61/5698","text":"Amílcar Sernadas"},{"@pid":"06/3694","text":"Cristina Sernadas"},{"@pid":"26/2338","text":"Alberto Zanardo"}]},"title":"Fibring Modal First-Order Logics: Completeness Preservation.","venue":"Log. J. IGPL","volume":"10","number":"4","pages":"413-451","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/SernadasSZ02","doi":"10.1093/JIGPAL/10.4.413","ee":"https://doi.org/10.1093/jigpal/10.4.413","url":"https://dblp.org/rec/journals/igpl/SernadasSZ02"}, "url":"URL#6231623" }, { "@score":"1", "@id":"6231624", "info":{"authors":{"author":[{"@pid":"s/JorgHSiekmann","text":"Jörg H. Siekmann"},{"@pid":"69/2172","text":"Graham Wrightson"}]},"title":"An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.","venue":"Log. J. IGPL","volume":"10","number":"1","pages":"85-103","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/SiekmannW02","doi":"10.1093/JIGPAL/10.1.85","ee":"https://doi.org/10.1093/jigpal/10.1.85","url":"https://dblp.org/rec/journals/igpl/SiekmannW02"}, "url":"URL#6231624" }, { "@score":"1", "@id":"6231625", "info":{"authors":{"author":{"@pid":"41/6961","text":"Neil Tennant"}},"title":"Ultimate Normal Forms for Parallelized Natural Deductions.","venue":"Log. J. IGPL","volume":"10","number":"3","pages":"299-337","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Tennant02","doi":"10.1093/JIGPAL/10.3.299","ee":"https://doi.org/10.1093/jigpal/10.3.299","url":"https://dblp.org/rec/journals/igpl/Tennant02"}, "url":"URL#6231625" }, { "@score":"1", "@id":"6231626", "info":{"authors":{"author":{"@pid":"08/503","text":"Jouko A. Väänänen"}},"title":"On the semantics of informational independence.","venue":"Log. J. IGPL","volume":"10","number":"3","pages":"339-352","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Vaananen02","doi":"10.1093/JIGPAL/10.3.339","ee":"https://doi.org/10.1093/jigpal/10.3.339","url":"https://dblp.org/rec/journals/igpl/Vaananen02"}, "url":"URL#6231626" }, { "@score":"1", "@id":"6231627", "info":{"authors":{"author":{"@pid":"53/5721","text":"Heinrich Wansing"}},"title":"Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema.","venue":"Log. J. IGPL","volume":"10","number":"4","pages":"457-458","year":"2002","type":"Journal Articles","access":"closed","key":"journals/igpl/Wansing02","doi":"10.1093/JIGPAL/10.4.457","ee":"https://doi.org/10.1093/jigpal/10.4.457","url":"https://dblp.org/rec/journals/igpl/Wansing02"}, "url":"URL#6231627" } ] } } } )