It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.

ABSTRACT In this paper we define two logics, KLn and BLn, and present tableau-based decision procedures for both. KLn is a temporal logic of knowledge. Thus, in addition to the usual connectives of linear discrete temporal logic, it contains a set of unary modal connectives for representing the knowledge possessed by agents. The logic BLn is somewhat similar; it is a temporal logic that contains connectives for representing the beliefs of agents. In addition to a complete formal definition of the (...) two logics and their decision procedures, the paper includes a brief review of their applications in AI and mainstream computer science, correctness proofs for the decision procedures, a number of worked examples illustrating the decision procedures, and some pointers to further work. (shrink)

The paper describes tableaux based proof methods for temporal logics of knowledge allowing non-trivial interaction axioms between the modal and temporal components, namely those of synchrony and no learning and synchrony and perfect recall. The interaction axioms allow the description of how knowledge evolves over time and makes reasoning in such logics theoretically more complex. Such logics can be used to specify systems that involve the knowledge of processes or agents and which change over time, for example agent based systems, (...) knowledge games or security protocols. Soundness, completeness and termination results for the tableaux are proved. (shrink)

s for the Second Workshop on Implementing Machine Ethics.

Researchers have iterated that the future of synthetic biology and biotechnology lies in novel consumer applications of crossing biology with engineering. However, if the new biology’s future is to be sustainable, early and serious efforts must be made towards social sustainability. Therefore, the crux of new applications of synthetic biology and biotechnology is public understanding and acceptance. The RASVaccine is a novel recombinant design not found in nature that re-engineers a common bacteria to produce a strong immune response in humans. (...) Synthesis of the RASVaccine has the potential to improve public health as an inexpensive, non-injectable product. But how can scientists move forward to create a dialogue of creating a ‘common sense’ of this new technology in order to promote social sustainability? This paper delves into public issues raised around these novel technologies and uses the RASVaccine as an example of meeting the public with a common sense of its possibilities and limitations. (shrink)

Researchers have iterated that the future of synthetic biology and biotechnology lies in novel consumer applications of crossing biology with engineering. However, if the new biology’s future is to be sustainable, early and serious efforts must be made towards social sustainability. Therefore, the crux of new applications of synthetic biology and biotechnology is public understanding and acceptance. The RASVaccine is a novel recombinant design not found in nature that re-engineers a common bacteria to produce a strong immune response in humans. (...) Synthesis of the RASVaccine has the potential to improve public health as an inexpensive, non-injectable product. But how can scientists move forward to create a dialogue of creating a ‘common sense’ of this new technology in order to promote social sustainability? This paper delves into public issues raised around these novel technologies and uses the RASVaccine as an example of meeting the public with a common sense of its possibilities and limitations. (shrink)

We provide a translation from SNFPLTL, a normal form for propositional linear time temporal logic, into alternating automata on infinite words, and vice versa. We show this translation has the property that the set of SNFPLTL clauses is satisfiable if and only if the alternating automaton has an accepting run. As there is no direct method known for checking the non-emptiness of alternating automata, the translation to SNFPLTL, together with a temporal proof on the resulting SNFPLTL clauses, provides an indirect (...) non-emptiness check for alternating automata. (shrink)

We here describe research into the formal specification and implementation of resource-bounded agents. In particular, we provide an overview of our work on incorporating resource limitations into executable agent specifications. In addition, we outline future directions, highlighting both their promise and their problems.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Altars Where We Worship: The Religious Significance of Popular Culture eds. by Juan M. Floyd-Thomas, Stacey M. Floyd-Thomas, and Mark G. ToulouseMichael R. Fisher Jr.The Altars Where We Worship: The Religious Significance of Popular Culture Juan M. Floyd-Thomas, Stacey M. Floyd-Thomas, and Mark G. Toulouse LOUISVILLE: WESTMINSTER JOHN KNOX PRESS, 2016. 250 pp. $25.00The Altars Where We Worship: The Religious Significance of Popular Culture is notable for (...) interested readers of religion and contemporary popular culture. The authors expand scholarly understandings of religion and the sacred, but [End Page 194] more important, the spaces where they appear in society by providing analysis of the religious nature of six aspects of American culture. These "meaning-making" aspects of popular culture function as "altars of worship." They are the body and sex, big business, entertainment, politics, sports, and science and technology. How religious devotion and worship are manifest in everyday life of Americans is fully examined. This book offers an alternative entry to classical secularization debates that have garnered the attention of religious scholars across fields of study. Resisting polarized battle lines in which secularization debates have positioned the death of religion on one hand, and its resilience in industrialized societies on the other hand, this book considers the idiosyncratic nature of secularization by foregrounding historical, national, and local differences that exist in various contexts.The authors argue that "religion is important to Americans. But the religion we practice is often not the religion we confess" (1, emphasis in the original). According to them, Americans basically believe in a serviceable, friendly "God" who meets their every desire and need. In contemporary American culture, the objects that are deemed to fulfill Americans' desires and passions become their God(s) and thus their religion(s). They support their argument by citing studies by the Pew Research Center on "America's Changing Religious Landscape" and "'Nones' on the Rise," which indicate a decrease in religious affiliation among adults and a notable tension between Americans' professed religious beliefs and their actual religious practices. Given these trends, they contend that Americans discover and produce religious meaning in places outside traditional or conventional sacred spaces. Consequently, they confess, Americans have "laid our fair share, if not our all" (186) on the six altars of American popular culture. Thus, though studies indicate a trending decline in traditional religious affiliations, for the authors, this does not "sound the death knell of religion" (185). Religion, they insist, exists in different shapes and practices.In The Religious Experience of Mankind (1969), the religious historian Ninian Smart offers a seven-dimensional scheme for the interpretation of religion: doctrinal, mythological, ethical, ritual, experiential, institutional, and material. This scheme is adopted in the book as a framing device for interpreting the religious nature of popular culture. The sevenfold scheme is paralleled in each of the six chapters dedicated to a particular altar. Making their case, the authors draw on and weave thinkers from across disciplines and over time as critical interlocutors—from Friedrich Nietzsche, Rudolf Otto, Paul Tillich, and Robert Bella to Cornel West, Audre Lord, and bell hooks, among many others—in examining the religious significance of popular culture.Although a truly engaging and provocative book, The Altars Where We Worship is not without challenges. Some readers may find certain categories of analysis underdeveloped. For example, what makes big business or politics sites of popular culture? This line of inquiry may raise questions for readers about what constitutes popular culture in general. Such challenges, however, do not [End Page 195] detract from the overall accomplishments and contributions this book offers the study of religion in the United States.Michael R. Fisher Jr.Vanderbilt UniversityCopyright © 2018 Society of Christian Ethics... (shrink)