: Most-Cited Full-Text Articles http://logcom.oxfordjournals.org/ Most-cited rankings are recalculated at the beginning of the month and are based on citations to articles on this journal site from articles in other HighWire-hosted journals. 2009-11-14 <![CDATA[Merging Information Under Constraints: A Logical Framework]]> http://logcom.oxfordjournals.org/cgi/content/short/12/5/773?rss=1&ssource=mfc Oct 1, 2002; 12:773-808
Articles]]> Sebastien Konieczny, Ramon Pino Perez 2002-10-01 10.1093/logcom/12.5.773 Oxford University Press <![CDATA[Admissible Rules of Modal Logics]]> http://logcom.oxfordjournals.org/cgi/content/short/15/4/411?rss=1&ssource=mfc Aug 1, 2005; 15:411-431
Original Articles]]> Emil Jerabek 2005-08-01 10.1093/logcom/exi029 Oxford University Press <![CDATA[Internalizing labelled deduction]]> http://logcom.oxfordjournals.org/cgi/content/short/10/1/137?rss=1&ssource=mfc Feb 1, 2000; 10:137-168
Articles]]> P Blackburn 2000-02-01 10.1093/logcom/10.1.137 Oxford University Press <![CDATA[Fibring of logics as a categorial construction]]> http://logcom.oxfordjournals.org/cgi/content/short/9/2/149?rss=1&ssource=mfc Apr 1, 1999; 9:149-179
Articles]]> A Sernadas, C Sernadas, C Caleiro 1999-04-01 10.1093/logcom/9.2.149 Oxford University Press <![CDATA[Sequent Calculi for Normal Modal Propositional Logics]]> http://logcom.oxfordjournals.org/cgi/content/short/4/2/125?rss=1&ssource=mfc Apr 1, 1994; 4:125-142
Articles]]> HEINRICH WANSING 1994-04-01 10.1093/logcom/4.2.125 Oxford University Press <![CDATA[Defaults as Generalized Quantifiers]]> http://logcom.oxfordjournals.org/cgi/content/short/5/4/473?rss=1&ssource=mfc Aug 1, 1995; 5:473-494
Articles]]> KARL SCHLECHTA 1995-08-01 10.1093/logcom/5.4.473 Oxford University Press <![CDATA[Fibring Logics with Topos Semantics]]> http://logcom.oxfordjournals.org/cgi/content/short/13/4/595?rss=1&ssource=mfc Aug 1, 2003; 13:595-624
Articles]]> Marcelo E. Coniglio, Amilcar C. Sernadas, Cristina S. Sernadas 2003-08-01 10.1093/logcom/13.4.595 Oxford University Press <![CDATA[On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks]]> http://logcom.oxfordjournals.org/cgi/content/short/13/3/377?rss=1&ssource=mfc Jun 1, 2003; 13:377-403
Articles]]> Claudette Cayrol, Sylvie Doutre, Jerome Mengin 2003-06-01 10.1093/logcom/13.3.377 Oxford University Press <![CDATA[Fibring Labelled Deduction Systems]]> http://logcom.oxfordjournals.org/cgi/content/short/12/3/443?rss=1&ssource=mfc Jun 1, 2002; 12:443-473
Articles]]> Joao Rasga, Amilcar Sernadas, Cristina Sernadas, Luca Vigano 2002-06-01 10.1093/logcom/12.3.443 Oxford University Press <![CDATA[On Product Logic with Truth-constants]]> http://logcom.oxfordjournals.org/cgi/content/short/16/2/205?rss=1&ssource=mfc Apr 1, 2006; 16:205-225
Original Articles]]> Petr Savicky, Roberto Cignoli, Francesc Esteva, Lluis Godo, Carles Noguera 2006-04-01 10.1093/logcom/exi075 Oxford University Press <![CDATA[The Taming of the Cut. Classical Refutations with Analytic Cut]]> http://logcom.oxfordjournals.org/cgi/content/short/4/3/285?rss=1&ssource=mfc Jun 1, 1994; 4:285-319
Articles]]> MARCELLO D'' AGOSTINO, MARCO MONDADORI 1994-06-01 10.1093/logcom/4.3.285 Oxford University Press <![CDATA[Counting Objects]]> http://logcom.oxfordjournals.org/cgi/content/short/5/3/325?rss=1&ssource=mfc Jun 1, 1995; 5:325-345
Articles]]> WIEBE VAN DER HOEK, MAARTEN DE RIJKE 1995-06-01 10.1093/logcom/5.3.325 Oxford University Press <![CDATA[Persuasion and Value in Legal Argument]]> http://logcom.oxfordjournals.org/cgi/content/short/15/6/1075?rss=1&ssource=mfc Dec 1, 2005; 15:1075-1097
Original Articles]]> Trevor Bench-Capon, Katie Atkinson, Alison Chorley 2005-12-01 10.1093/logcom/exi058 Oxford University Press <![CDATA[Completeness and Cut-elimination in the Intuitionistic Theory of Types]]> http://logcom.oxfordjournals.org/cgi/content/short/15/6/821?rss=1&ssource=mfc Dec 1, 2005; 15:821-854
Original Articles]]> Mary DeMarco, Jame Lipton 2005-12-01 10.1093/logcom/exi055 Oxford University Press <![CDATA[On the Relationship Between Abduction and Deduction]]> http://logcom.oxfordjournals.org/cgi/content/short/1/5/661?rss=1&ssource=mfc Oct 1, 1991; 1:661-690
Articles]]> LUCA CONSOLE, DANIELE THESEIDER DUPRE, PIETRO TORASSO 1991-10-01 10.1093/logcom/1.5.661 Oxford University Press <![CDATA[An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers]]> http://logcom.oxfordjournals.org/cgi/content/short/1/2/229?rss=1&ssource=mfc Dec 1, 1990; 1:229-259
Articles]]> D. M. GABBAY, I. M. HODKINSON 1990-12-01 10.1093/logcom/1.2.229 Oxford University Press <![CDATA[Ground Nonmonotonic Modal Logic S5: New Results]]> http://logcom.oxfordjournals.org/cgi/content/short/15/5/787?rss=1&ssource=mfc Oct 1, 2005; 15:787-813
Original Articles]]> Mauricio Osorio Galindo, Juan Antonio Navarro Perez, Jose R. Arrazola Ramirez, Veronica Borja Macias 2005-10-01 10.1093/logcom/exi042 Oxford University Press <![CDATA[Logic as a Vector System]]> http://logcom.oxfordjournals.org/cgi/content/short/15/5/751?rss=1&ssource=mfc Oct 1, 2005; 15:751-765
Original Articles]]> Jonathan Westphal, Jim Hardy 2005-10-01 10.1093/logcom/exi040 Oxford University Press <![CDATA[The Foundations of Specification]]> http://logcom.oxfordjournals.org/cgi/content/short/15/5/623?rss=1&ssource=mfc Oct 1, 2005; 15:623-662
Original Articles]]> Raymond Turner 2005-10-01 10.1093/logcom/exi052 Oxford University Press <![CDATA[Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness]]> http://logcom.oxfordjournals.org/cgi/content/short/15/1/21?rss=1&ssource=mfc Feb 1, 2005; 15:21-40
Original Articles]]> Michael L. Anderson, Donald R. Perlis 2005-02-01 10.1093/logcom/exh034 Oxford University Press <![CDATA[About Folding-Unfolding Cuts and Cuts Modulo]]> http://logcom.oxfordjournals.org/cgi/content/short/11/3/419?rss=1&ssource=mfc Jun 1, 2001; 11:419-429
Articles]]> Gilles Dowek 2001-06-01 10.1093/logcom/11.3.419 Oxford University Press <![CDATA[Natural Deduction for Hybrid Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/14/3/329?rss=1&ssource=mfc Jun 1, 2004; 14:329-353
Articles]]> Torben Brauner 2004-06-01 10.1093/logcom/14.3.329 Oxford University Press <![CDATA[Fuzzy Logics with Noncommutative Conjuctions]]> http://logcom.oxfordjournals.org/cgi/content/short/13/4/469?rss=1&ssource=mfc Aug 1, 2003; 13:469-479
Articles]]> Petr Hajek 2003-08-01 10.1093/logcom/13.4.469 Oxford University Press <![CDATA[A Modal Logic for Coalitional Power in Games]]> http://logcom.oxfordjournals.org/cgi/content/short/12/1/149?rss=1&ssource=mfc Feb 1, 2002; 12:149-166
Articles]]> Marc Pauly 2002-02-01 10.1093/logcom/12.1.149 Oxford University Press <![CDATA[Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations]]> http://logcom.oxfordjournals.org/cgi/content/short/7/5/605?rss=1&ssource=mfc Oct 1, 1997; 7:605-631
Articles]]> HASSAN BEZZAZI, DAVID MAKINSON, RAMON PINO PEREZ 1997-10-01 10.1093/logcom/7.5.605 Oxford University Press <![CDATA[Nominal Algebra and the HSP Theorem]]> http://logcom.oxfordjournals.org/cgi/content/short/19/2/341?rss=1&ssource=mfc Apr 1, 2009; 19:341-367
Original Articles]]> Murdoch J. Gabbay 2009-04-01 Oxford University Press <![CDATA[Algorithmic Randomness of Closed Sets ]]> http://logcom.oxfordjournals.org/cgi/content/short/17/6/1041?rss=1&ssource=mfc Dec 1, 2007; 17:1041-1062
Original Articles]]> George Barmpalias, Paul Brodhead, Douglas Cenzer, Seyyed Dashti, Rebecca Weber 2007-12-01 10.1093/logcom/exm033 Oxford University Press <![CDATA[One-and-a-halfth-order Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/18/4/521?rss=1&ssource=mfc Aug 1, 2008; 18:521-562
Original Articles]]> Murdoch J. Gabbay, Aad Mathijssen 2008-08-01 Oxford University Press <![CDATA[Complexity and Definability Issues in LFormula]]> http://logcom.oxfordjournals.org/cgi/content/short/17/2/311?rss=1&ssource=mfc Apr 1, 2007; 17:311-331
Original Articles]]> Enrico Marchioni, Franco Montagna 2007-04-01 Oxford University Press <![CDATA[Classificatory Aspects of Counts-as: An Analysis in Modal Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/16/5/613?rss=1&ssource=mfc Oct 1, 2006; 16:613-643
Original Articles]]> Davide Grossi, John-Jules CH. Meyer, Frank Dignum 2006-10-01 Oxford University Press <![CDATA[Logics with Common Weak Completions]]> http://logcom.oxfordjournals.org/cgi/content/short/16/6/867?rss=1&ssource=mfc Dec 1, 2006; 16:867-890
Original Articles]]> Mauricio Osorio Galindo, Juan Antonio Navarro Perez, Jose R. Arrazola Ramirez, Veronica Borja Macias 2006-12-01 Oxford University Press <![CDATA[On Weakly Cancellative Fuzzy Logics]]> http://logcom.oxfordjournals.org/cgi/content/short/16/4/423?rss=1&ssource=mfc Aug 1, 2006; 16:423-450
Original Articles]]> Franco Montagna, Carles Noguera, Rostislav Horcik 2006-08-01 Oxford University Press <![CDATA[Introduction to Cirquent Calculus and Abstract Resource Semantics]]> http://logcom.oxfordjournals.org/cgi/content/short/16/4/489?rss=1&ssource=mfc Aug 1, 2006; 16:489-532
Original Articles]]> Giorgi Japaridze 2006-08-01 Oxford University Press <![CDATA[A Unified View of Belief Revision and Update]]> http://logcom.oxfordjournals.org/cgi/content/short/4/5/797?rss=1&ssource=mfc Oct 1, 1994; 4:797-810
Articles]]> ALVARO DEL VAL, YOAV SHOHAM 1994-10-01 10.1093/logcom/4.5.797 Oxford University Press <![CDATA[State Constraints Revisited]]> http://logcom.oxfordjournals.org/cgi/content/short/4/5/655?rss=1&ssource=mfc Oct 1, 1994; 4:655-677
Articles]]> FANGZEN LIN, RAY REITER 1994-10-01 10.1093/logcom/4.5.655 Oxford University Press <![CDATA[Rewrite-based Equational Theorem Proving with Selection and Simplification]]> http://logcom.oxfordjournals.org/cgi/content/short/4/3/217?rss=1&ssource=mfc Jun 1, 1994; 4:217-247
Articles]]> LEO BACHMAIR, HARALD GANZINGER 1994-06-01 10.1093/logcom/4.3.217 Oxford University Press <![CDATA[A Deductive System for Existential Least Fixpoint Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/3/2/197?rss=1&ssource=mfc Jan 1, 1993; 3:197-213
Articles]]> K. COMPTON 1993-01-01 10.1093/logcom/3.2.197 Oxford University Press <![CDATA[Lazy Theories of Operations and Types]]> http://logcom.oxfordjournals.org/cgi/content/short/3/1/77?rss=1&ssource=mfc Feb 1, 1993; 3:77-102
Articles]]> RAYMOND TURNER 1993-02-01 10.1093/logcom/3.1.77 Oxford University Press <![CDATA[An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/3/1/63?rss=1&ssource=mfc Feb 1, 1993; 3:63-75
Articles]]> JORG HUDELMAIER 1993-02-01 10.1093/logcom/3.1.63 Oxford University Press <![CDATA[Some Results on Classical Preferential Models]]> http://logcom.oxfordjournals.org/cgi/content/short/2/6/675?rss=1&ssource=mfc Dec 1, 1992; 2:675-686
Articles]]> KARL SCHLECHTA 1992-12-01 10.1093/logcom/2.6.675 Oxford University Press <![CDATA[Logic Programming with Focusing Proofs in Linear Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/2/3/297?rss=1&ssource=mfc Jun 1, 1992; 2:297-347
Articles]]> JEAN-MARC ANDREOLI 1992-06-01 10.1093/logcom/2.3.297 Oxford University Press <![CDATA[A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution]]> http://logcom.oxfordjournals.org/cgi/content/short/7/4/429?rss=1&ssource=mfc Aug 1, 1997; 7:429-456
Articles]]> MICHAEL FISHER 1997-08-01 10.1093/logcom/7.4.429 Oxford University Press <![CDATA[On the Independent Axiomatizability of Modal and Intermediate Logics]]> http://logcom.oxfordjournals.org/cgi/content/short/5/3/287?rss=1&ssource=mfc Jun 1, 1995; 5:287-302
Articles]]> ALEXANDER CHAGROV, MICHAEL ZAKHARYASCHEV 1995-06-01 10.1093/logcom/5.3.287 Oxford University Press <![CDATA[Value-based Argumentation Frameworks as Neural-symbolic Learning Systems]]> http://logcom.oxfordjournals.org/cgi/content/short/15/6/1041?rss=1&ssource=mfc Dec 1, 2005; 15:1041-1058
Original Articles]]> Artur S. D''Avila Garcez, Dov M. Gabbay, Luis C. Lamb 2005-12-01 10.1093/logcom/exi057 Oxford University Press <![CDATA[Complete Problems Involving Boolean Labelled Structures and Projection Transactions]]> http://logcom.oxfordjournals.org/cgi/content/short/1/6/861?rss=1&ssource=mfc Dec 1, 1991; 1:861-882
Articles]]> IAIN A. STEWART 1991-12-01 10.1093/logcom/1.6.861 Oxford University Press <![CDATA[Negative Operations on Proofs and Labels]]> http://logcom.oxfordjournals.org/cgi/content/short/15/4/517?rss=1&ssource=mfc Aug 1, 2005; 15:517-537
Original Articles]]> Tatiana Yavorskaya (Sidon) 2005-08-01 10.1093/logcom/exi026 Oxford University Press <![CDATA[Non-deterministic Multiple-valued Structures]]> http://logcom.oxfordjournals.org/cgi/content/short/15/3/241?rss=1&ssource=mfc Jun 1, 2005; 15:241-261
Original Articles]]> Arnon Avron, Iddo Lev 2005-06-01 10.1093/logcom/exi001 Oxford University Press <![CDATA[Relating the {lambda}{sigma}- and {lambda}s-styles of explicit substitutions]]> http://logcom.oxfordjournals.org/cgi/content/short/10/3/349?rss=1&ssource=mfc Jun 1, 2000; 10:349-380
Articles]]> F Kamareddine, A Rios 2000-06-01 10.1093/logcom/10.3.349 Oxford University Press <![CDATA[Ten Philosophical Problems in Belief Revision]]> http://logcom.oxfordjournals.org/cgi/content/short/13/1/37?rss=1&ssource=mfc Feb 1, 2003; 13:37-49
Articles]]> Sven Ove Hansson 2003-02-01 10.1093/logcom/13.1.37 Oxford University Press <![CDATA[The Lattice of Lambda Theories]]> http://logcom.oxfordjournals.org/cgi/content/short/14/3/373?rss=1&ssource=mfc Jun 1, 2004; 14:373-394
Articles]]> Stefania Lusin, Antonino Salibra 2004-06-01 10.1093/logcom/14.3.373 Oxford University Press