:facetid:toc:\"db/journals/logcom/logcom18.bht\"OK:facetid:toc:db/journals/logcom/logcom18.bhtParosh Aziz AbdullaAhmed BouajjaniJulien d'OrsoMonotonic and Downward Closed Games.J. Log. Comput.181153-1692008Journal Articlesclosedjournals/logcom/AbdullaBd0810.1093/LOGCOM/EXM062https://doi.org/10.1093/logcom/exm062https://dblp.org/rec/journals/logcom/AbdullaBd08URL#5284952Jirí AdámekStephen L. BloomStefan MiliusOn Algebras with Iteration.J. Log. Comput.1861047-10852008Journal Articlesclosedjournals/logcom/AdamekBM0810.1093/LOGCOM/EXN035https://doi.org/10.1093/logcom/exn035https://dblp.org/rec/journals/logcom/AdamekBM08URL#5284953Ariel ArbiserThe Expansion Problem in Lambda Calculi with Explicit Substitution.J. Log. Comput.186849-8832008Journal Articlesclosedjournals/logcom/Arbiser0810.1093/LOGCOM/EXN007https://doi.org/10.1093/logcom/exn007https://dblp.org/rec/journals/logcom/Arbiser08URL#5284954Matthias BaazNorbert PreiningQuantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega.J. Log. Comput.184649-6682008Journal Articlesclosedjournals/logcom/BaazP0810.1093/LOGCOM/EXN004https://doi.org/10.1093/logcom/exn004https://dblp.org/rec/journals/logcom/BaazP08URL#5284955Trevor J. M. Bench-CaponHenry PrakkenIntroducing the Logic and Law Corner.J. Log. Comput.1811-122008Journal Articlesclosedjournals/logcom/Bench-CaponP0810.1093/LOGCOM/EXM060https://doi.org/10.1093/logcom/exm060https://dblp.org/rec/journals/logcom/Bench-CaponP08URL#5284956Guilherme BittencourtCombining Syntax and Semantics through Prime Form Representation.J. Log. Comput.18113-332008Journal Articlesclosedjournals/logcom/Bittencourt0810.1093/LOGCOM/EXM051https://doi.org/10.1093/logcom/exm051https://dblp.org/rec/journals/logcom/Bittencourt08URL#5284957Maria Paola BonacinaMnacho EchenimOn Variable-inactivity and Polynomial tau-Satisfiability Procedures.J. Log. Comput.18177-962008Journal Articlesclosedjournals/logcom/BonacinaE0810.1093/LOGCOM/EXM055https://doi.org/10.1093/logcom/exm055https://dblp.org/rec/journals/logcom/BonacinaE08URL#5284958Richard Booth 0001Alexander NittkaReconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs.J. Log. Comput.185755-7822008Journal Articlesclosedjournals/logcom/BoothN0810.1093/LOGCOM/EXM091https://doi.org/10.1093/logcom/exm091https://dblp.org/rec/journals/logcom/BoothN08URL#5284959Torben BraünerAdding Intensional Machinery to Hybrid Logic.J. Log. Comput.184631-6482008Journal Articlesclosedjournals/logcom/Brauner0810.1093/LOGCOM/EXN005https://doi.org/10.1093/logcom/exn005https://dblp.org/rec/journals/logcom/Brauner08URL#5284960Walter Alexandre CarnielliJoão RasgaCristina SernadasPreservation of Interpolation Features by Fibring.J. Log. Comput.181123-1512008Journal Articlesclosedjournals/logcom/CarnielliRS0810.1093/LOGCOM/EXM061https://doi.org/10.1093/logcom/exm061https://dblp.org/rec/journals/logcom/CarnielliRS08URL#5284961Loïc ColsonDavid Michel 0001Pedagogical Second-order Propositional Calculi.J. Log. Comput.184669-6952008Journal Articlesclosedjournals/logcom/ColsonM0810.1093/LOGCOM/EXN001https://doi.org/10.1093/logcom/exn001https://dblp.org/rec/journals/logcom/ColsonM08URL#5284962Luís Cruz-FilipeJoão RasgaAmílcar SernadasCristina SernadasComplete Axiomatization of Discrete-Measure Almost-Everywhere Quantification.J. Log. Comput.186885-9112008Journal Articlesclosedjournals/logcom/Cruz-FilipeRSS0810.1093/LOGCOM/EXN014https://doi.org/10.1093/logcom/exn014https://dblp.org/rec/journals/logcom/Cruz-FilipeRSS08URL#5284963Giovanna D'AgostinoGiacomo LenziA Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames.J. Log. Comput.184601-6142008Journal Articlesclosedjournals/logcom/DAgostinoL0810.1093/LOGCOM/EXM085https://doi.org/10.1093/logcom/exm085https://dblp.org/rec/journals/logcom/DAgostinoL08URL#5284964James P. DelgrandeJérôme LangHans RottPreface.J. Log. Comput.1856972008Journal Articlesclosedjournals/logcom/DelgrandeLR0810.1093/LOGCOM/EXM095https://doi.org/10.1093/logcom/exm095https://dblp.org/rec/journals/logcom/DelgrandeLR08URL#5284965Hans P. van DitmarschJi RuanRineke VerbruggeSum and Product in Dynamic Epistemic Logic.J. Log. Comput.184563-5882008Journal Articlesclosedjournals/logcom/DitmarschRV0810.1093/LOGCOM/EXM081https://doi.org/10.1093/logcom/exm081https://dblp.org/rec/journals/logcom/DitmarschRV08URL#5284966Didier DuboisThree Scenarios for the Revision of Epistemic States.J. Log. Comput.185721-7382008Journal Articlesclosedjournals/logcom/Dubois0810.1093/LOGCOM/EXM092https://doi.org/10.1093/logcom/exm092https://dblp.org/rec/journals/logcom/Dubois08URL#5284967Myroslava O. DzikovskaJames F. AllenMary D. SwiftLinking Semantic and Knowledge Representations in a Multi-Domain Dialogue System.J. Log. Comput.183405-4302008Journal Articlesclosedjournals/logcom/DzikovskaAS0810.1093/LOGCOM/EXM067https://doi.org/10.1093/logcom/exm067https://dblp.org/rec/journals/logcom/DzikovskaAS08URL#5284968Jan van EijckSequentially Indexed Grammars.J. Log. Comput.182205-2282008Journal Articlesclosedjournals/logcom/Eijck0810.1093/LOGCOM/EXM009https://doi.org/10.1093/logcom/exm009https://dblp.org/rec/journals/logcom/Eijck08URL#5284969Eduardo FerméMartín KrevnerisMaurício D. Luís ReisAn Axiomatic Characterization of Ensconcement-Based Contraction.J. Log. Comput.185739-7532008Journal Articlesclosedjournals/logcom/FermeKR0810.1093/LOGCOM/EXM093https://doi.org/10.1093/logcom/exm093https://dblp.org/rec/journals/logcom/FermeKR08URL#5284970Chris FoxMaribel FernándezShalom LappinLambda Calculus, Type Theory, and Natural Language II.J. Log. Comput.1822032008Journal Articlesclosedjournals/logcom/FoxFL0810.1093/LOGCOM/EXM090https://doi.org/10.1093/logcom/exm090https://dblp.org/rec/journals/logcom/FoxFL08URL#5284971Murdoch James GabbayAad MathijssenOne-and-a-halfth-order Logic.J. Log. Comput.184521-5622008Journal Articlesclosedjournals/logcom/GabbayM0810.1093/LOGCOM/EXM064https://doi.org/10.1093/logcom/exm064https://dblp.org/rec/journals/logcom/GabbayM08URL#5284972Mauricio Javier Osorio GalindoJosé R. Arrazola RamírezJosé Luis CarballidoLogical Weak Completions of Paraconsistent Logics.J. Log. Comput.186913-9402008Journal Articlesclosedjournals/logcom/GalindoRC0810.1093/LOGCOM/EXN015https://doi.org/10.1093/logcom/exn015https://dblp.org/rec/journals/logcom/GalindoRC08URL#5284973Antony GaltonExperience and History: Processes and their Relation to Events.J. Log. Comput.183323-3402008Journal Articlesclosedjournals/logcom/Galton0810.1093/LOGCOM/EXM079https://doi.org/10.1093/logcom/exm079https://dblp.org/rec/journals/logcom/Galton08URL#5284974Dimitar P. GuelevA Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic.J. Log. Comput.184615-6232008Journal Articlesclosedjournals/logcom/Guelev0810.1093/LOGCOM/EXN002https://doi.org/10.1093/logcom/exn002https://dblp.org/rec/journals/logcom/Guelev08URL#5284975Olga GurevichRichard S. CrouchTracy Holloway KingValeria de PaivaDeverbal Nouns in Knowledge Representation.J. Log. Comput.183385-4042008Journal Articlesclosedjournals/logcom/GurevichCKP0810.1093/LOGCOM/EXM070https://doi.org/10.1093/logcom/exm070https://dblp.org/rec/journals/logcom/GurevichCKP08URL#5284976J. Roger HindleyM. H. Newman's Typability Algorithm for Lambda-calculus.J. Log. Comput.182229-2382008Journal Articlesclosedjournals/logcom/Hindley0810.1093/LOGCOM/EXM001https://doi.org/10.1093/logcom/exm001https://dblp.org/rec/journals/logcom/Hindley08URL#5284977Mirjana Isakovic IlicCut Elimination and Decidability for Classical Lambek Logic.J. Log. Comput.181171-1992008Journal Articlesclosedjournals/logcom/Ilic0810.1093/LOGCOM/EXM063https://doi.org/10.1093/logcom/exm063https://dblp.org/rec/journals/logcom/Ilic08URL#5284978Giorgi JaparidzeCirquent Calculus Deepened.J. Log. Comput.186983-10282008Journal Articlesclosedjournals/logcom/Japaridze0810.1093/LOGCOM/EXN019https://doi.org/10.1093/logcom/exn019https://dblp.org/rec/journals/logcom/Japaridze08URL#5284979Yi Jin 0006Michael ThielscherReinforcement Belief Revision.J. Log. Comput.185783-8132008Journal Articlesclosedjournals/logcom/JinT0810.1093/LOGCOM/EXM094https://doi.org/10.1093/logcom/exm094https://dblp.org/rec/journals/logcom/JinT08URL#5284980Hyuckchul JungJames F. AllenLucian GalescuNathanael ChambersMary D. SwiftWilliam TaysomUtilizing Natural Language for One-Shot Task Learning.J. Log. Comput.183475-4932008Journal Articlesclosedjournals/logcom/JungAGCST0810.1093/LOGCOM/EXM071https://doi.org/10.1093/logcom/exm071https://dblp.org/rec/journals/logcom/JungAGCST08URL#5284981Ryo KashimaKeishi OkamotoGeneral Models and Completeness of First-Order Modal µ-calculus.J. Log. Comput.184497-5072008Journal Articlesclosedjournals/logcom/KashimaO0810.1093/LOGCOM/EXM077https://doi.org/10.1093/logcom/exm077https://dblp.org/rec/journals/logcom/KashimaO08URL#5284982Daniel Lehmann 0001A Presentation of Quantum Logic Based on an and then Connective.J. Log. Comput.18159-762008Journal Articlesclosedjournals/logcom/Lehmann0810.1093/LOGCOM/EXM054https://doi.org/10.1093/logcom/exm054https://dblp.org/rec/journals/logcom/Lehmann08URL#5284983Isaac LeviDegrees of Belief.J. Log. Comput.185699-7192008Journal Articlesclosedjournals/logcom/Levi0810.1093/LOGCOM/EXM096https://doi.org/10.1093/logcom/exm096https://dblp.org/rec/journals/logcom/Levi08URL#5284984Enrico MarchioniOn Computational Complexity of Semilinear Varieties.J. Log. Comput.186941-9582008Journal Articlesclosedjournals/logcom/Marchioni0810.1093/LOGCOM/EXN017https://doi.org/10.1093/logcom/exn017https://dblp.org/rec/journals/logcom/Marchioni08URL#5284985Carlo MeghiniNicolas SpyratosSynthesizing Monadic Predicates.J. Log. Comput.186831-8472008Journal Articlesclosedjournals/logcom/MeghiniS0810.1093/LOGCOM/EXN006https://doi.org/10.1093/logcom/exn006https://dblp.org/rec/journals/logcom/MeghiniS08URL#5284986Eduardo MizrajiVector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates.J. Log. Comput.18197-1212008Journal Articlesclosedjournals/logcom/Mizraji0810.1093/LOGCOM/EXM057https://doi.org/10.1093/logcom/exm057https://dblp.org/rec/journals/logcom/Mizraji08URL#5284987Morteza MoniriOn the Hierarchy of Intuitionistic Bounded Arithmetic.J. Log. Comput.184625-6302008Journal Articlesclosedjournals/logcom/Moniri0810.1093/LOGCOM/EXN003https://doi.org/10.1093/logcom/exn003https://dblp.org/rec/journals/logcom/Moniri08URL#5284988Glyn MorrillMario FaddaProof Nets for Basic Discontinuous Lambek Calculus.J. Log. Comput.182239-2562008Journal Articlesclosedjournals/logcom/MorrillF0810.1093/LOGCOM/EXM089https://doi.org/10.1093/logcom/exm089https://dblp.org/rec/journals/logcom/MorrillF08URL#5284989Maria NoginAleksey NoginOn Dynamic Topological Logic of the Real Line.J. Log. Comput.1861029-10452008Journal Articlesclosedjournals/logcom/NoginN0810.1093/LOGCOM/EXN034https://doi.org/10.1093/logcom/exn034https://dblp.org/rec/journals/logcom/NoginN08URL#5284990Mladen PavicicNorman D. MegillStandard Logics Are Valuation-Nonmonotonic.J. Log. Comput.186959-9822008Journal Articlesclosedjournals/logcom/PavicicM0810.1093/LOGCOM/EXN018https://doi.org/10.1093/logcom/exn018https://dblp.org/rec/journals/logcom/PavicicM08URL#5284991Anselmo PeñasÁlvaro RodrigoValentín SamaFelisa VerdejoTesting the Reasoning for Question Answering Validation.J. Log. Comput.183459-4742008Journal Articlesclosedjournals/logcom/PenasRSV0810.1093/LOGCOM/EXM072https://doi.org/10.1093/logcom/exm072https://dblp.org/rec/journals/logcom/PenasRSV08URL#5284992Carl PollardHyperintensions.J. Log. Comput.182257-2822008Journal Articlesclosedjournals/logcom/Pollard0810.1093/LOGCOM/EXM003https://doi.org/10.1093/logcom/exm003https://dblp.org/rec/journals/logcom/Pollard08URL#5284993Allan RamsayDebora FieldSpeech Acts, Epistemic Planning and Grice's Maxims.J. Log. Comput.183431-4572008Journal Articlesclosedjournals/logcom/RamsayF0810.1093/LOGCOM/EXM073https://doi.org/10.1093/logcom/exm073https://dblp.org/rec/journals/logcom/RamsayF08URL#5284994Vladimir V. RybakovMulti-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification.J. Log. Comput.184509-5192008Journal Articlesclosedjournals/logcom/Rybakov0810.1093/LOGCOM/EXM078https://doi.org/10.1093/logcom/exm078https://dblp.org/rec/journals/logcom/Rybakov08URL#5284995Evgeny Yu. SherkhonovModal Operators over Constructive Logic.J. Log. Comput.186815-8292008Journal Articlesclosedjournals/logcom/Sherkhonov0810.1093/LOGCOM/EXN016https://doi.org/10.1093/logcom/exn016https://dblp.org/rec/journals/logcom/Sherkhonov08URL#5284996Jana Z. SukkariehNatural Language and Knowledge Representation.J. Log. Comput.183319-3212008Journal Articlesclosedjournals/logcom/Sukkarieh0810.1093/LOGCOM/EXM068https://doi.org/10.1093/logcom/exm068https://dblp.org/rec/journals/logcom/Sukkarieh08URL#5284997Raymond TurnerComputable Models.J. Log. Comput.182283-3182008Journal Articlesclosedjournals/logcom/Turner0810.1093/LOGCOM/EXM002https://doi.org/10.1093/logcom/exm002https://dblp.org/rec/journals/logcom/Turner08URL#5284998Francisco J. Valverde-AlbaceteExtracting Frame-Semantics Knowledge using Lattice Theory.J. Log. Comput.183361-3842008Journal Articlesclosedjournals/logcom/Valverde-Albacete0810.1093/LOGCOM/EXM069https://doi.org/10.1093/logcom/exm069https://dblp.org/rec/journals/logcom/Valverde-Albacete08URL#5284999Thomas VetterleinAnalytic Calculi for Logics of Ordinal Multiples of Standard t-Norms.J. Log. Comput.18135-572008Journal Articlesclosedjournals/logcom/Vetterlein0810.1093/LOGCOM/EXM053https://doi.org/10.1093/logcom/exm053https://dblp.org/rec/journals/logcom/Vetterlein08URL#5285000Shenghui Wang 0001David E. RydeheardJeff Z. PanThe Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies.J. Log. Comput.183341-3592008Journal Articlesclosedjournals/logcom/WangRP0810.1093/LOGCOM/EXM074https://doi.org/10.1093/logcom/exm074https://dblp.org/rec/journals/logcom/WangRP08URL#5285001Heinrich WansingEditorial and call for papers.J. Log. Comput.184495-4962008Journal Articlesclosedjournals/logcom/Wansing0810.1093/LOGCOM/EXM076https://doi.org/10.1093/logcom/exm076https://dblp.org/rec/journals/logcom/Wansing08URL#5285002Ernst ZimmermannLambek Calculus in Natural Deduction.J. Log. Comput.184589-6002008Journal Articlesclosedjournals/logcom/Zimmermann0810.1093/LOGCOM/EXM084https://doi.org/10.1093/logcom/exm084https://dblp.org/rec/journals/logcom/Zimmermann08URL#5285003