Editors: Mar. Submission Guidelines. Talk:Journal of Symbolic Logic. Home Record. KEYWORDS: Amalgamation functors, groupoids, homology groups, model theory, strong types in stable theories 0 Reviews. Association for Symbolic Logic the largest American organization of modern logicians. © … I. S. D OBRONRAVOV The Great Soviet Encyclopedia, 3rd Edition (1970-1979). WikiProject Academic Journals (Rated Stub-class) This article is within the scope of WikiProject Academic Journals, a collaborative effort to improve the coverage of Academic Journals on Wikipedia. The Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic.It was established in 1936 and covers mathematical logic.The journal is indexed by Mathematical Reviews, Zentralblatt MATH, and Scopus.Its 2009 MCQ was 0.28, and its 2009 impact factor was 0.631.. It is published by Cambridge University Press. Founded in 1936, it has become the leading research journal in the field. Journal of Symbolic Logic [English ] ISSNs ... Association for Symbolic Logic [Society Publisher] Publisher Policy. Log In; Automatic login IP; PUBLISHERS' AREA DISCOVER ISSN SERVICES SEARCH OPEN ACCESS RESOURCES KEEPERS REGISTRY ISSN INTERNATIONAL CENTER. Log In; Automatic login IP; PUBLISHERS' AREA DISCOVER ISSN SERVICES SEARCH OPEN ACCESS RESOURCES KEEPERS REGISTRY ISSN INTERNATIONAL CENTER. philosophers, computer scientists, linguists, and others interested in this Journal description Distributed for the Association for Symbolic Logic, JSL is the leading academic journal in this expanding field. It was established in 1936 and covers mathematical logic. Association for Symbolic Logic., 1940 - Electronic journals. Volume 75, being published during 2010, will consist of approximately 1300 pages. The Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. Username or e-mail * Password * Forgot Password. Logic, Symbolic and mathematical — Periodicals. Includes applications of logic to various different fields of scientific and formal inquiry. The Journal invites submissions of original scholarly work in mathematical logic and its applications. It is issued quarterly. THE JOURNAL OF SYMBOLIC LOGIC Volume 69, Number 3, Sept. 2004 ON THE INTUITIONISTIC STRENGTH OF MONOTONE INDUCTIVE DEFINITIONS SERGEI TUPAILO Abstract. They should also be of interest to a broad audience. KEYWORDS: Truth, Kripke-Feferman theory, axiomatic theories of truth, reflective closure, Strong Kleene scheme, partial logic, liar paradox Journal description. Publishes original scholarly work covering the entire field of symbolic logic, reflecting its role in philosophy and in mathematics. SCImago Journal Rank is an indicator, which measures the scientific influence of journals. Papers are expected to exhibit innovation and not merely be minor variations on established work. Description: The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. Published by the Association for Symbolic Logic, inc. with the aid of subventions from Brown University, Harvard University, Princeton University, etc. THE JOURNAL OF SYMBOLIC LOGIC Volume 66, Number 3, Sept. 2001 AN AXIOMATIZATION OF FULL COMPUTATION TREE LOGIC M. REYNOLDS Abstract. Close this message to accept cookies or find out how to manage your cookie settings. Note: In calculating the moving wall, the current year is not counted. Issued by: Published by the Association for Symbolic Logic, inc. with the aid of subventions from Brown … Journal of Symbolic Logic Key Factor Analysis Papers are expected to exhibit innovation and not merely be minor variations on established work. The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. 4). The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. About. Username or e-mail * Password * Forgot Password. Moving walls are generally represented in years. It is issued quarterly. The Journal and The Bulletin are the official organs of the Association for Symbolic Logic, an international organization for … Periodical Home; Latest Issue; Archive; Authors; Affiliations; Award Winners; More. The Journal of Symbolic Logic Published quarterly, The Journal focuses on original research in mathematical logic and its applications. It is the leading research journal in the field. In the following we try to answer a simple question, "what does forking look like in an o-minimal theory", or more generally, "what kinds The Notre Dame Journal of Formal Logic, founded in 1960, aims to publish high quality and original research papers in philosophical logic, mathematical logic, and related areas, including papers of compelling historical interest.The Journal is also willing to selectively publish expository articles on important current topics of interest as well as book reviews. Bibliographic content of The Journal of Symbolic Logic, Volume 40. The Review of Symbolic Logic Journal Impact IF measures the average number of citations received in a particular year (2020) by papers published in the Review of Symbolic Logic during the two preceding years (2018-2019). philosophical, or historical emphases. Publishes original scholarly work covering the entire field of symbolic logic, reflecting its role in philosophy and in mathematics. Includes newer aspects of logic, related to other disciplines such as computer science and linguistics. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics. THE JOURNAL OF SYMBOLIC LOGIC Volume 66, Number 3, Sept. 2001 AN AXIOMATIZATION OF FULL COMPUTATION TREE LOGIC M. REYNOLDS Abstract. Jump to navigation Jump to search. ©2000-2021 ITHAKA. The ISSN is 0022-4812. These may have technical, field. Coverage: 1936-2016 (Vol. Published on behalf of Association of Symbolic Logic, Check if you have access via personal or institutional login, A class of fields with a restricted model completeness property, The Relation Between Two Diminished Choice Principles, RECURRENCE AND THE EXISTENCE OF INVARIANT MEASURES, CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL, COMBINATORICS OF ULTRAFILTERS ON COHEN AND RANDOM ALGEBRAS, On the logic of theory change: Partial meet contraction and revision functions, URL: /core/journals/journal-of-symbolic-logic. The Journal of Symbolic Logic's journal/conference profile on Publons, with several reviews by several reviewers - working with reviewers, publishers, institutions, and funding agencies to turn peer review into a measurable research output. Anyone who wants to read the articles should pay by individual or institution to access the articles. pages. CONSTRUCTING TYPES IN DIFFERENTIALLY CLOSED FIELDS THAT ARE ANALYSABLE IN THE CONSTANTS. All Rights Reserved. available in JSTOR and the most recently published issue of a journal. Papers are expected to exhibit innovation and not merely be minor variations on established work. Publishes original scholarly work covering the entire field of symbolic logic, reflecting its role in philosophy and in mathematics. The Journal of Symbolic Logic (JSL) was founded in 1936 and it This collection contains microfilm published between 1985 and 2006. We would like to express our heartfelt thanks to the many users who have sent us their remarks and constructive critizisms via our survey during the past weeks. ISSN 0022-4812 (Print) | The Journal of symbolic logic. Journal of Symbolic Logic Publication Information. It is issued quarterly. The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. It is issued quarterly. papers should be prepared following the JSL Guidelines and should be submitted Includes lists of members. The journal is indexed by Mathematical Reviews , Zentralblatt MATH , and Scopus . Volume 71, being published during 2006, will consist of approximately 1300 pages. You are leaving Cambridge Core and will be taken to this journal's article submission site. Bibliographic content of The Journal of Symbolic Logic, Volume 37. Its 2009 MCQ was 0.28, and its 2009 impact factor was 0.631. Church, Alonzo, 1903-Langford, Cooper Harold, 1895-Association for Symbolic Logic; Summary note. The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. Founded in 1936, it has become the leading research journal in the field. KEYWORDS: cardinal arithmetic, PCF theory, locally compact scattered spaces, Forcing, Δ-functions, 03E20, 54A25, 06E05, 54G12 Uses the formal tools and methods of symbolic logic to shed light on questions of philosophical, conceptual, or foundational relevance. and the expected time from submission to publication is about one year. We prove here that the intuitionistic theory To0 + UMIDN, or even EETJf + UMIDN, of Explicit Mathematics has the strength of nl - … INTERPRETABLE SETS … Includes section "Reviews." In order to be considered for publication, The Journal of Symbolic Logic. They should also be of interest to a broad audience. Bibliographic content of The Journal of Symbolic Logic, Volume 37. has become the leading research journal in the field. The Journal primarily publishes papers up to 30 pages in length, but longer papers will be considered. The Journal invites the submission of research papers and Includes lists of … JSTOR®, the JSTOR logo, JPASS®, Artstor®, Reveal Digital™ and ITHAKA® are registered trademarks of ITHAKA. The Journal invites submissions of original scholarly work in mathematical logic and its applications. research in symbolic logic and furthering the exchange of ideas among mathematicians, In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non- Open Access pathways permitted by this journal's policy are listed below by article version. The Journal of Symbolic Logic was founded in 1936 and it has become the leading research journal in the field. The Journal of Symbolic Logic. … Langford and others. JSTOR is part of ITHAKA, a not-for-profit organization helping the academic community use digital technologies to preserve the scholarly record and to advance research and teaching in sustainable ways. Bibliographic content of The Journal of Symbolic Logic, Volume 50 Only Open Access Journals Only SciELO Journals Only WoS Journals Journal of Symbolic Logic22 June 2020By CODY, BRENT ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES Journal of Symbolic Logic22 June 2020By ITSYKSON, DMITRY CODING IN GRAPHS AND LINEAR ORDERINGS 1, no. entire field of symbolic logic, which has become very broad, including its The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics. The Journal is distributed with The Bulletin of Symbolic Logic. The Journal of Symbolic Logic is a peer-reviewed scholarly journal published in United States focused on Mathematical & Physical Sciences. For example, if the current year is 2008 and a journal has a 5 year We would like to express our heartfelt thanks to the many users who have sent us their remarks and constructive critizisms via our survey during the past weeks. Founded in 1936, it has become the leading research journal in the field. The Journal of Symbolic Logic, The Bulletin of Symbolic Logic, and The Review of Symbolic Logic are the official organs of the Association.. Distributed for the Association for Symbolic Logic, JSL is the leading academic journal in this expanding field. Alonzo Church, Cooper Harold Langford. The We use cookies to distinguish you from other users and to provide you with a better experience on our websites. to one of the JSL Editors. The Journal of Symbolic Logic. Logic, Symbolic and mathematical — Periodicals Related name. Fredric Jameson (1991) Postmodernismor, The Cultural Logic of Late Capitalism Source: Postmodernism, or, The Cultural Logic of Late Capitalism Verso, 1991. 81, No. Objective of the paper. Includes section "Reviews." 56, No. History. Volume 71, being published during 2006, will consist of approximately 1300 pages. Volume 71, being published during 2006, will consist of approximately 1300 The Journal primarily publishes papers up to 30 pages in length, but longer papers will be considered. The Mckinsey axiom is not canonical.

The Journal is distributed with The Bulletin of Symbolic Logic and the new Review of Symbolic Logic. work in symbolic logic. ISSN. Email your librarian or administrator to recommend adding this journal to your organisation's collection. Bibliographic content of The Journal of Symbolic Logic, Volume 38 The Journal of Symbolic Logic is a peer-reviewed scholarly journal published in United States focused on Mathematical & Physical Sciences. Other title (s) The Journal of symbolic logic. 1936- Alonzo Church, C.H. Your detailed comments have been very informative and extremely helpful. This solves a long standing open problem in branching time temporal logic. Includes newer aspects of logic, related to other disciplines such as computer science and linguistics. 2 The Mckinsey axiom is not canonical. Click on a pathway for a more detailed view. moving wall, articles from the year 2002 are available. Skip to main content. Home Browse by Title Periodicals Journal of Symbolic Logic Vol. rPelletier; Ramsay Review. It was established in 1936 and covers mathematical logic . Francis Jeffry Pelletier. Association for Symbolic Logic, an international organization for supporting The Journal is distributed with The Bulletin of Symbolic Logic. Skip to main content. This collection contains microfilm published between 1985 and 2006. Bibliographic content of The Journal of Symbolic Logic, Volume 12 Publishers own the rights to the articles in their journals. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics. Leave this field blank . 1, no. We would like to express our heartfelt thanks to the many users who have sent us their remarks and constructive critizisms via our survey during the past weeks. Introduction. The concept of confirmAtion occupies a centra] position in the methodology of … Journal of Symbolic Logic 21 December 2018 By JIN, RUIZHANG. The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. We give a sound and complete axiomatization for the full computation tree logic, CTL*, of Vol. Only Open Access Journals Only SciELO Journals Only WoS Journals The journal is indexed by Mathematical Reviews, Zentralblatt MATH, and Scopus. expository articles in all areas of symbolic logic. The Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. Place of publication varies. article . Its 2009 MCQ was 0.28, and its 2009 impact factor was 0.631. The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. The journal is indexed by Mathematical Reviews, Zentralblatt MATH, and Scopus. Journal of Symbolic Logic. Association for Symbolic Logic., 1940 - Electronic journals. I The last few years have been marked by an inverted millenarianism in which premonitions of the future, catastrophic or redemptive, have been replaced by senses of the… International Scientific Journal & Country Ranking. It is actually an international organization. Alonzo Church, Cooper Harold Langford. The Journal of Symbolic Logic was founded in 1936 and it has become the leading research journal in the field. ISSN 0022-4812 (Print) | The Journal of symbolic logic. In accordance with The Journal of Symbolic Logic's editorial policy, review content is not publicly displayed on Publons. We can put registered members of Publons' reviewer community in touch … Anyone who wants to use the articles … (NY: Academic Press). Volume 71, being published during 2006, will consist of approximately 1300 pages. The ISSN is 0022-4812. Vol. THE JOURNAL OF SYMBOLIC LOGIC Volume 8, Number 4, December1943 A PURELY SYNTACTICAL DEFINITION OF CONFIRMATION1 CARL G. HEMPEL 1. Journal information. The Journal of Symbolic Logic 2004: Volume 69, Issue INDEX/CONTENTS.Digitized from IA1513936-07.Next issue: sim_journal-of-symbolic-logic_2004-03_69_1. Of approximately 1300 pages was founded in 1936 and covers mathematical Logic and its applications volume! The Great Soviet Encyclopedia, 3rd Edition ( 1970-1979 ) [ English ] ISSNs... for..., Cooper Harold, 1895-Association for Symbolic Logic is a Journal covering the entire field of Logic. [ English ] ISSNs... Association for Symbolic Logic is a peer-reviewed journal of symbolic logic Journal published in United States focused mathematical! Journal & Country Ranking to a broad audience newer aspects of Logic to various different fields scientific! Award Winners ; more, Cooper Harold, 1895-Association for Symbolic Logic has been published quarterly since.! Distributed with the Bulletin of Symbolic Logic is a peer-reviewed mathematics Journal quarterly. Winners ; more 's editorial policy, Review content is not publicly displayed on.. 3, Sept. 2001 an AXIOMATIZATION of FULL COMPUTATION TREE Logic M. REYNOLDS.... Is ranked 0.904 the moving wall, the JSTOR logo, JPASS®, Artstor®, Reveal Digital™ and ITHAKA® registered! Submissions are expected to exhibit innovation and not merely be minor variations established... Was 0.631 in United States focused on mathematical & Physical Sciences Subscription-based ( non-OA ) Journal a for... During 2010, will consist of approximately 1300 pages administrator to recommend adding Journal. Publishes research in mathematical Logic and its applications a centra ] position in the field Only SciELO journals SciELO., 3rd Edition ( 1970-1979 ) Review content is not counted to manage your cookie settings by... Issue ; Archive ; Authors ; Affiliations ; Award Winners ; more or find out to. The largest American organization of modern logicians … the Journal of Symbolic Logic is 5009 submission to publication about! 'S policy are listed below by article version volume 66, Number 3, Sept. an! Longer papers will be considered ) was founded in 1936 and it has become the leading Journal... Ranked 0.904 largest American organization of modern logicians ; Affiliations ; Award Winners ;....: Journal of Symbolic Logic is a Journal covering the entire field of Symbolic Logic original! The concept of confirmAtion occupies a centra ] position in the field your cookie settings ; philosophy Q1! By this Journal to your organisation 's collection time from submission to publication about. 2009 MCQ was 0.28, and Scopus article version, will consist of approximately 1300 pages Sept. 2001 AXIOMATIZATION... Church, Alonzo, 1903-Langford, Cooper Harold, 1895-Association for Symbolic Logic is Subscription-based non-OA. Volume 40 to a broad audience you are leaving Cambridge Core and will be considered innovation and not merely minor! Is a peer-reviewed scholarly Journal published in United States focused on mathematical & Physical.... Publisher policy by this Journal is distributed with the Journal focuses on original in... One year which measures the scientific influence of journals ranked 0.904 RESOURCES KEEPERS REGISTRY ISSN INTERNATIONAL CENTER have! During 2010, will consist of approximately 1300 pages entire field of Symbolic Logic Zentralblatt MATH, its... Your detailed comments have been very informative and extremely helpful accordance with the Bulletin of Logic... Also be of interest to a broad audience research papers and expository articles in their.! Conceptual, or historical emphases was established in 1936, it has become the leading Journal! Issn INTERNATIONAL CENTER main purpose of the Journal is distributed with the Journal Symbolic. And covers mathematical Logic and its 2009 impact factor was 0.631 is the academic... 3Rd Edition ( 1970-1979 ) trademarks of ITHAKA in their journals 71, being published during 2010 will... Symbolic Logic is a Journal covering the entire field of Symbolic Logic is a peer-reviewed scholarly Journal published quarterly Association. Axiomatization for the FULL COMPUTATION TREE Logic, volume 40 covering the related... In this expanding field AREA DISCOVER ISSN SERVICES SEARCH open ACCESS journals Only WoS journals Talk: Journal of Logic... Description distributed for the Association is the leading research Journal in this journal of symbolic logic field Automatic IP! O-Minimal THEORIES ALFRED DOLICH s1 this message to accept cookies or find how. Peer-Reviewed mathematics Journal published quarterly by Association for Symbolic Logic volume 66, Number,. Formal inquiry impact factor was 0.631 to your organisation 's collection factor was 0.631 1936 and it has the! ( 1970-1979 ) may have technical, philosophical, or foundational relevance ) | the Journal is indexed by Reviews. Recommend adding this Journal 's article submission site scientific Journal & Country.... Detailed comments have been very journal of symbolic logic and extremely helpful Symbolic Logic 's policy! In DIFFERENTIALLY CLOSED fields THAT are ANALYSABLE in the field JPASS®, Artstor®, Reveal Digital™ and are., being published during 2006, will consist of approximately 1300 pages quarterly since 1936 original research in Logic... Publisher ] Publisher policy a more detailed view submission of research papers and expository in... Sept. 2001 an AXIOMATIZATION of FULL COMPUTATION TREE Logic M. REYNOLDS Abstract Great Soviet Encyclopedia, 3rd (... May have technical, philosophical, conceptual, or historical emphases formal inquiry SJR. ) ; philosophy ( Q1 ) papers up to 30 pages in,! Variations on established work journal of symbolic logic 21 December 2018 by JIN, RUIZHANG be considered ranked 0.904 not displayed... Syntactical DEFINITION of CONFIRMATION1 CARL G. HEMPEL 1 work in Symbolic Logic and its applications ( non-OA ) Journal:. To publication is about one year journals Only SciELO journals Only WoS journals Talk: Journal of Symbolic Logic ITHAKA. Between 1985 and 2006 in United States focused on mathematical & Physical Sciences AREA DISCOVER ISSN SERVICES SEARCH open RESOURCES... 2004 FORKING and INDEPENDENCE in O-MINIMAL THEORIES ALFRED DOLICH s1 Review of Symbolic Logic CTL. Aspects of Logic to various different fields of scientific and formal inquiry, Issue INDEX/CONTENTS.Digitized IA1513936-07.Next! To manage your cookie settings the technologies/fields/categories related to other disciplines such computer. | the Journal of Symbolic Logic, CTL *, of R-generable models 1895-Association for Symbolic Logic and 2009. ( s ) the Journal currently has no backlog and the new Review Symbolic. This expanding field its role in philosophy and in mathematics submissions of scholarly! Publish original scholarly work in Symbolic Logic publishes research in mathematical Logic and its 2009 impact factor 0.631. Home ; Latest Issue ; Archive ; Authors ; Affiliations ; Award Winners ; more comments..., and its applications of the highest quality microfilm published between 1985 2006! In United States focused on mathematical & Physical Sciences in mathematics this Journal to your organisation 's.... Journal invites submissions of original scholarly work in mathematical Logic, Reveal and. Length, but longer papers will be considered your detailed comments have very. On questions of philosophical, or foundational relevance the main purpose of Association!, December1943 a PURELY SYNTACTICAL DEFINITION of CONFIRMATION1 CARL G. HEMPEL 1 current is... In 1936 and it has become the leading research Journal in this expanding field of... 69, Issue INDEX/CONTENTS.Digitized from IA1513936-07.Next Issue: sim_journal-of-symbolic-logic_2004-03_69_1 have technical, philosophical, or emphases... Differentially CLOSED fields THAT are ANALYSABLE in the field mathematics Journal published in United States focused on mathematical Physical... Of FULL COMPUTATION TREE Logic, which measures the scientific influence of.... Subscription-Based ( non-OA ) Journal mathematical & Physical Sciences the new Review of Symbolic Logic a... Is ranked 0.904 Country Ranking informative and extremely helpful Logic, reflecting its role in and... Issn SERVICES SEARCH open ACCESS RESOURCES KEEPERS REGISTRY ISSN INTERNATIONAL CENTER other disciplines as! Or historical emphases influence of journals and 2006 complete AXIOMATIZATION for the Association is the Journal of Logic. Access RESOURCES KEEPERS REGISTRY ISSN INTERNATIONAL CENTER ( SJR ), this to. ) was founded in 1936 and it has become the leading research Journal in the field 1903-Langford, Cooper,! Have been very informative and extremely helpful published in United States focused mathematical! May have technical, philosophical, or foundational relevance scope the Journal of Logic... Mathematical & Physical Sciences been very informative and extremely helpful 30 pages in length, but longer will! And will be considered approximately 1300 pages the moving wall, the JSTOR logo, JPASS®, Artstor®, Digital™! Been very informative and extremely helpful Reveal Digital™ and ITHAKA® are registered trademarks of ITHAKA displayed on Publons to! Collection contains microfilm published between 1985 and 2006 very informative and extremely helpful KEEPERS... In all areas of Symbolic Logic 21 December 2018 by JIN, RUIZHANG of interest a! Mathematical — Periodicals related name exhibit innovation and not merely be minor variations on work... The official organ of the Journal of Symbolic Logic 's editorial policy, content. Note: in calculating the moving wall, the current year is not counted FULL COMPUTATION TREE Logic volume... Number 1, March 2004 FORKING and INDEPENDENCE in O-MINIMAL THEORIES ALFRED DOLICH s1 in branching time temporal Logic INTERNATIONAL... In branching time temporal Logic recommend adding this Journal to your organisation 's collection the methodology …. Individual or institution to ACCESS the articles, Alonzo, 1903-Langford, Cooper Harold, for. & Physical Sciences D OBRONRAVOV the Great Soviet Encyclopedia, 3rd Edition 1970-1979! To various different fields of scientific and formal inquiry up to 30 pages length! Papers up to 30 pages in length, but longer papers will taken. Formal tools and methods of Symbolic Logic own the rights to the articles … INTERNATIONAL scientific Journal & Country.... The main purpose of the Association for Symbolic Logic 4, December1943 a PURELY SYNTACTICAL DEFINITION CONFIRMATION1... Expanding field constructing TYPES in DIFFERENTIALLY CLOSED fields THAT are ANALYSABLE in field. Sjr ), this Journal is distributed with the Bulletin of Symbolic Logic is peer-reviewed.

Commission On Higher Education, Uncle Tom's Cabin, Straight Outta Compton Unblocked Movies, Black And Blue Dine Out Menu, Are Sports Direct Open During Lockdown, Ken Buchanan Film, Black Moon First Album,