callback( { "result":{ "query":":facetid:toc:\"db/journals/igpl/igpl16.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"65.46" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"29", "@dc":"29", "@oc":"29", "@id":"43454598", "text":":facetid:toc:db/journals/igpl/igpl16.bht" } }, "hits":{ "@total":"29", "@computed":"29", "@sent":"29", "@first":"0", "hit":[{ "@score":"1", "@id":"5265725", "info":{"authors":{"author":[{"@pid":"47/424","text":"Thomas Ågotnes"},{"@pid":"16/5873","text":"Michal Walicki"}]},"title":"Complete Axiomatisations of Properties of Finite Sets.","venue":"Log. J. IGPL","volume":"16","number":"3","pages":"293-313","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/AgotnesW08","doi":"10.1093/JIGPAL/JZN008","ee":"https://doi.org/10.1093/jigpal/jzn008","url":"https://dblp.org/rec/journals/igpl/AgotnesW08"}, "url":"URL#5265725" }, { "@score":"1", "@id":"5265726", "info":{"authors":{"author":[{"@pid":"48/3495","text":"Tarek Sayed Ahmed"},{"@pid":"40/2069","text":"Basim Samir"}]},"title":"The Class SNr3CAk is Not Closed Under Completions.","venue":"Log. J. IGPL","volume":"16","number":"5","pages":"427-429","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/AhmedS08","doi":"10.1093/JIGPAL/JZN019","ee":"https://doi.org/10.1093/jigpal/jzn019","url":"https://dblp.org/rec/journals/igpl/AhmedS08"}, "url":"URL#5265726" }, { "@score":"1", "@id":"5265727", "info":{"authors":{"author":[{"@pid":"18/3145","text":"Mohammad Ardeshir"},{"@pid":"26/2084","text":"Bardyaa Hesaam"}]},"title":"An Introduction to Basic Arithmetic.","venue":"Log. J. IGPL","volume":"16","number":"1","pages":"1-13","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/ArdeshirH08","doi":"10.1093/JIGPAL/JZM013","ee":"https://doi.org/10.1093/jigpal/jzm013","url":"https://dblp.org/rec/journals/igpl/ArdeshirH08"}, "url":"URL#5265727" }, { "@score":"1", "@id":"5265728", "info":{"authors":{"author":[{"@pid":"59/209","text":"Seyed Mohammad Bagheri"},{"@pid":"06/1788","text":"Massoud Pourmahdian"}]},"title":"Elementary Amalgamation and Joint Embedding Property for Intermediate Logics.","venue":"Log. J. IGPL","volume":"16","number":"6","pages":"561-583","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/BagheriP08","doi":"10.1093/JIGPAL/JZN022","ee":"https://doi.org/10.1093/jigpal/jzn022","url":"https://dblp.org/rec/journals/igpl/BagheriP08"}, "url":"URL#5265728" }, { "@score":"1", "@id":"5265729", "info":{"authors":{"author":[{"@pid":"90/5256","text":"Owen Barnett"},{"@pid":"03/4790","text":"Jeff B. Paris"}]},"title":"Maximum Entropy Inference with Quantified Knowledge.","venue":"Log. J. IGPL","volume":"16","number":"1","pages":"85-98","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/BarnettP08","doi":"10.1093/JIGPAL/JZM028","ee":"https://doi.org/10.1093/jigpal/jzm028","url":"https://dblp.org/rec/journals/igpl/BarnettP08"}, "url":"URL#5265729" }, { "@score":"1", "@id":"5265730", "info":{"authors":{"author":[{"@pid":"32/3731","text":"Benjamín René Callejas Bedregal"},{"@pid":"39/4378","text":"Anderson Paiva Cruz"}]},"title":"A Characterization of Classic-Like Fuzzy Semantics.","venue":"Log. J. IGPL","volume":"16","number":"4","pages":"357-370","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/BedregalC08","doi":"10.1093/JIGPAL/JZN012","ee":"https://doi.org/10.1093/jigpal/jzn012","url":"https://dblp.org/rec/journals/igpl/BedregalC08"}, "url":"URL#5265730" }, { "@score":"1", "@id":"5265731", "info":{"authors":{"author":{"@pid":"b/WBibel","text":"Wolfgang Bibel"}},"title":"Transition Logic Revisited.","venue":"Log. J. IGPL","volume":"16","number":"4","pages":"317-334","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Bibel08","doi":"10.1093/JIGPAL/JZN009","ee":"https://doi.org/10.1093/jigpal/jzn009","url":"https://dblp.org/rec/journals/igpl/Bibel08"}, "url":"URL#5265731" }, { "@score":"1", "@id":"5265732", "info":{"authors":{"author":[{"@pid":"90/3960","text":"Miguel Couceiro"},{"@pid":"h/LauriHella","text":"Lauri Hella"},{"@pid":"32/457","text":"Jari Kivelä"}]},"title":"Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic.","venue":"Log. J. IGPL","volume":"16","number":"1","pages":"43-73","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/CouceiroHK08","doi":"10.1093/JIGPAL/JZM018","ee":"https://doi.org/10.1093/jigpal/jzm018","url":"https://dblp.org/rec/journals/igpl/CouceiroHK08"}, "url":"URL#5265732" }, { "@score":"1", "@id":"5265733", "info":{"authors":{"author":[{"@pid":"21/4578","text":"Luís Cruz-Filipe"},{"@pid":"61/5698","text":"Amílcar Sernadas"},{"@pid":"06/3694","text":"Cristina Sernadas"}]},"title":"Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.","venue":"Log. J. IGPL","volume":"16","number":"2","pages":"121-153","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Cruz-FilipeSS08","doi":"10.1093/JIGPAL/JZM057","ee":"https://doi.org/10.1093/jigpal/jzm057","url":"https://dblp.org/rec/journals/igpl/Cruz-FilipeSS08"}, "url":"URL#5265733" }, { "@score":"1", "@id":"5265734", "info":{"authors":{"author":[{"@pid":"64/550","text":"Marcello D'Agostino"},{"@pid":"50/3312","text":"Marcelo Finger"},{"@pid":"g/DovMGabbay","text":"Dov M. Gabbay"}]},"title":"Cut-Based Abduction.","venue":"Log. J. IGPL","volume":"16","number":"6","pages":"537-560","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/DAgostinoFG08","doi":"10.1093/JIGPAL/JZN020","ee":"https://doi.org/10.1093/jigpal/jzn020","url":"https://dblp.org/rec/journals/igpl/DAgostinoFG08"}, "url":"URL#5265734" }, { "@score":"1", "@id":"5265735", "info":{"authors":{"author":{"@pid":"d/DidierDubois","text":"Didier Dubois"}},"title":"On Ignorance and Contradiction Considered as Truth-Values.","venue":"Log. J. IGPL","volume":"16","number":"2","pages":"195-216","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Dubois08","doi":"10.1093/JIGPAL/JZN003","ee":"https://doi.org/10.1093/jigpal/jzn003","url":"https://dblp.org/rec/journals/igpl/Dubois08"}, "url":"URL#5265735" }, { "@score":"1", "@id":"5265736", "info":{"authors":{"author":[{"@pid":"g/DovMGabbay","text":"Dov M. Gabbay"},{"@pid":"p/AmirPnueli","text":"Amir Pnueli"}]},"title":"A Sound and Complete Deductive System for CTL* Verification.","venue":"Log. J. IGPL","volume":"16","number":"6","pages":"499-536","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/GabbayP08","doi":"10.1093/JIGPAL/JZN018","ee":"https://doi.org/10.1093/jigpal/jzn018","url":"https://dblp.org/rec/journals/igpl/GabbayP08"}, "url":"URL#5265736" }, { "@score":"1", "@id":"5265737", "info":{"authors":{"author":[{"@pid":"g/EvanGoris","text":"Evan Goris"},{"@pid":"78/3933","text":"Joost J. Joosten"}]},"title":"Modal Matters for Interpretability Logics.","venue":"Log. J. IGPL","volume":"16","number":"4","pages":"371-412","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/GorisJ08","doi":"10.1093/JIGPAL/JZN013","ee":"https://doi.org/10.1093/jigpal/jzn013","url":"https://dblp.org/rec/journals/igpl/GorisJ08"}, "url":"URL#5265737" }, { "@score":"1", "@id":"5265738", "info":{"authors":{"author":{"@pid":"35/7020","text":"Lloyd Humberstone"}},"title":"Replacing Modus Ponens With One-Premiss Rules.","venue":"Log. J. IGPL","volume":"16","number":"5","pages":"431-451","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Humberstone08","doi":"10.1093/JIGPAL/JZN017","ee":"https://doi.org/10.1093/jigpal/jzn017","url":"https://dblp.org/rec/journals/igpl/Humberstone08"}, "url":"URL#5265738" }, { "@score":"1", "@id":"5265739", "info":{"authors":{"author":[{"@pid":"11/5793","text":"Ryo Ishigaki"},{"@pid":"07/5721","text":"Ryo Kashima"}]},"title":"Sequent Calculi for Some Strict Implication Logics.","venue":"Log. J. IGPL","volume":"16","number":"2","pages":"155-174","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/IshigakiK08","doi":"10.1093/JIGPAL/JZM058","ee":"https://doi.org/10.1093/jigpal/jzm058","url":"https://dblp.org/rec/journals/igpl/IshigakiK08"}, "url":"URL#5265739" }, { "@score":"1", "@id":"5265740", "info":{"authors":{"author":{"@pid":"54/1001","text":"Emil Jerábek"}},"title":"Independent Bases of Admissible Rules.","venue":"Log. J. IGPL","volume":"16","number":"3","pages":"249-267","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Jerabek08","doi":"10.1093/JIGPAL/JZN004","ee":"https://doi.org/10.1093/jigpal/jzn004","url":"https://dblp.org/rec/journals/igpl/Jerabek08"}, "url":"URL#5265740" }, { "@score":"1", "@id":"5265741", "info":{"authors":{"author":[{"@pid":"56/6220","text":"Costas D. Koutras"},{"@pid":"37/6255","text":"Christos Nomikos"},{"@pid":"96/4302","text":"Pavlos Peppas"}]},"title":"On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief.","venue":"Log. J. IGPL","volume":"16","number":"6","pages":"591-604","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/KoutrasNP08","doi":"10.1093/JIGPAL/JZN024","ee":"https://doi.org/10.1093/jigpal/jzn024","url":"https://dblp.org/rec/journals/igpl/KoutrasNP08"}, "url":"URL#5265741" }, { "@score":"1", "@id":"5265742", "info":{"authors":{"author":{"@pid":"41/426","text":"Iris Loeb"}},"title":"Indecomposability of R and R\\{0} in Constructive Reverse Mathematics.","venue":"Log. J. IGPL","volume":"16","number":"3","pages":"269-273","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Loeb08","doi":"10.1093/JIGPAL/JZN006","ee":"https://doi.org/10.1093/jigpal/jzn006","url":"https://dblp.org/rec/journals/igpl/Loeb08"}, "url":"URL#5265742" }, { "@score":"1", "@id":"5265743", "info":{"authors":{"author":{"@pid":"00/2953","text":"Linh Anh Nguyen"}},"title":"Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.","venue":"Log. J. IGPL","volume":"16","number":"2","pages":"175-193","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Nguyen08","doi":"10.1093/JIGPAL/JZM059","ee":"https://doi.org/10.1093/jigpal/jzm059","url":"https://dblp.org/rec/journals/igpl/Nguyen08"}, "url":"URL#5265743" }, { "@score":"1", "@id":"5265744", "info":{"authors":{"author":[{"@pid":"86/2823","text":"Zoran Ognjanovic"},{"@pid":"86/6716","text":"Aleksandar Perovic"},{"@pid":"27/812","text":"Miodrag Raskovic"}]},"title":"Logics with the Qualitative Probability Operator.","venue":"Log. J. IGPL","volume":"16","number":"2","pages":"105-120","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/OgnjanovicPR08","doi":"10.1093/JIGPAL/JZM031","ee":"https://doi.org/10.1093/jigpal/jzm031","url":"https://dblp.org/rec/journals/igpl/OgnjanovicPR08"}, "url":"URL#5265744" }, { "@score":"1", "@id":"5265745", "info":{"authors":{"author":[{"@pid":"12/7069","text":"Igor Carboni Oliveira"},{"@pid":"00/3799","text":"Walter Alexandre Carnielli"}]},"title":"The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.","venue":"Log. J. IGPL","volume":"16","number":"6","pages":"585-590","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/OliveiraC08","doi":"10.1093/JIGPAL/JZN023","ee":"https://doi.org/10.1093/jigpal/jzn023","url":"https://dblp.org/rec/journals/igpl/OliveiraC08"}, "url":"URL#5265745" }, { "@score":"1", "@id":"5265746", "info":{"authors":{"author":[{"@pid":"08/5512","text":"Jeffrey S. Olson"},{"@pid":"51/3269","text":"James G. Raftery"},{"@pid":"78/1981","text":"Clint J. van Alten"}]},"title":"Structural Completeness in Substructural Logics.","venue":"Log. J. IGPL","volume":"16","number":"5","pages":"453-495","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/OlsonRA08","doi":"10.1093/JIGPAL/JZN014","ee":"https://doi.org/10.1093/jigpal/jzn014","url":"https://dblp.org/rec/journals/igpl/OlsonRA08"}, "url":"URL#5265746" }, { "@score":"1", "@id":"5265747", "info":{"authors":{"author":[{"@pid":"14/2354","text":"Francis Jeffry Pelletier"},{"@pid":"40/1647","text":"Andrew Hartline"}]},"title":"Ternary Exclusive Or.","venue":"Log. J. IGPL","volume":"16","number":"1","pages":"75-83","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/PelletierH08","doi":"10.1093/JIGPAL/JZM027","ee":"https://doi.org/10.1093/jigpal/jzm027","url":"https://dblp.org/rec/journals/igpl/PelletierH08"}, "url":"URL#5265747" }, { "@score":"1", "@id":"5265748", "info":{"authors":{"author":[{"@pid":"26/4367","text":"Sandra Marques Pinto"},{"@pid":"54/5038","text":"M. Teresa Oliveira-Martins"},{"@pid":"84/6136","text":"M. Céu Pinto"}]},"title":"Congruences on Dynamic Algebras.","venue":"Log. J. IGPL","volume":"16","number":"1","pages":"15-31","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/PintoOP08","doi":"10.1093/JIGPAL/JZM014","ee":"https://doi.org/10.1093/jigpal/jzm014","url":"https://dblp.org/rec/journals/igpl/PintoOP08"}, "url":"URL#5265748" }, { "@score":"1", "@id":"5265749", "info":{"authors":{"author":{"@pid":"41/1053","text":"Tomasz Polacik"}},"title":"Back and Forth Between First-Order Kripke Models.","venue":"Log. J. IGPL","volume":"16","number":"4","pages":"335-355","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Polacik08","doi":"10.1093/JIGPAL/JZN011","ee":"https://doi.org/10.1093/jigpal/jzn011","url":"https://dblp.org/rec/journals/igpl/Polacik08"}, "url":"URL#5265749" }, { "@score":"1", "@id":"5265750", "info":{"authors":{"author":{"@pid":"74/2589","text":"Gemma Robles"}},"title":"The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant.","venue":"Log. J. IGPL","volume":"16","number":"3","pages":"275-291","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Robles08","doi":"10.1093/JIGPAL/JZN007","ee":"https://doi.org/10.1093/jigpal/jzn007","url":"https://dblp.org/rec/journals/igpl/Robles08"}, "url":"URL#5265750" }, { "@score":"1", "@id":"5265751", "info":{"authors":{"author":[{"@pid":"74/2589","text":"Gemma Robles"},{"@pid":"94/1615","text":"José M. Méndez"}]},"title":"The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant.","venue":"Log. J. IGPL","volume":"16","number":"1","pages":"33-41","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/RoblesM08","doi":"10.1093/JIGPAL/JZM015","ee":"https://doi.org/10.1093/jigpal/jzm015","url":"https://dblp.org/rec/journals/igpl/RoblesM08"}, "url":"URL#5265751" }, { "@score":"1", "@id":"5265752", "info":{"authors":{"author":{"@pid":"99/772","text":"George Voutsadakis"}},"title":"Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions.","venue":"Log. J. IGPL","volume":"16","number":"3","pages":"233-248","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Voutsadakis08","doi":"10.1093/JIGPAL/JZN002","ee":"https://doi.org/10.1093/jigpal/jzn002","url":"https://dblp.org/rec/journals/igpl/Voutsadakis08"}, "url":"URL#5265752" }, { "@score":"1", "@id":"5265753", "info":{"authors":{"author":{"@pid":"18/4396","text":"M. Zayed"}},"title":"An Application of Model Theory to Semimodules.","venue":"Log. J. IGPL","volume":"16","number":"1","pages":"99-102","year":"2008","type":"Journal Articles","access":"closed","key":"journals/igpl/Zayed08","doi":"10.1093/JIGPAL/JZM029","ee":"https://doi.org/10.1093/jigpal/jzm029","url":"https://dblp.org/rec/journals/igpl/Zayed08"}, "url":"URL#5265753" } ] } } } )