This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference (...) for both the pure logician and the theoretical computer scientist. (shrink)

This paper examines voluntary corporate social responsibility (CSR) reporting as a form of moral discourse. It explores how alternative stakeholder perspectives lead to differing perceptions of the process and content of responsible reporting. We contrast traditional stakeholder theory, which views stakeholders as external parties having a social contract with corporations, with an emerging perspective, which views interaction among corporations and constituents as relational in nature. This moves the stakeholder from an external entity to one that is integral to corporate activity. (...) We explore how these alternative stakeholder perspectives give rise to different normative demands for stakeholder engagement, managerial processes, and communication. We discuss models of CSR reporting and accountability: EMAS, the ISO 14000 series, SA8000, AA1000, the Global Reporting Initiative, and the Copenhagen Charter. We explore how these models relate to the stakeholder philosophies and find that they are largely consistent with the traditional atomistic view but fall far short of the demands for moral engagement prescribed by a relational stakeholder perspective. Adopting a relational view requires stakeholder engagement not only in prescribing reporting requirements, but also in discourse relating to core aspects of the corporation such as mission, values, and management systems. Habermas’ theory of communicative action provides guidelines for engaging stakeholders in this moral discourse. (shrink)

We give a sound and complete axiomatization for the full computation tree logic, CTL*, of R-generable models. This solves a long standing open problem in branching time temporal logic.

Short overview of the From Small Beginnings Project and its relevance for resisting eugenics in contemporary society.

We give a Hilbert style axiomatization for the set of formulas in the temporal language with Until and Since which are valid over the real number flow of time. The axiomatization, which is orthodox in the sense of only having the usual temporal rules of inference, is complete with respect to single formulas.

In this paper we shall introduce a simple temporal logic suitable for reasoning about the temporal aspects of parallel universes, parallel processes, distributed systems, or multiple agents. We will use a variant of the mosaic method to prove decidability of this logic. We also show that the logic does not have the finite model property. This shows that the mosaic method is sometimes a stronger way of establishing decidability.

It is shown that the decision problem for the temporal logic with until and since connectives over real-numbers time is PSPACE-complete. This is the most practically useful dense time temporal logic.

By its nature, comparative education values diversity. Respectfully studying how different groups pursue education provides opportunities to learn about the variety of human experience, expand the boundaries of the field, and ultimately re-understand ourselves. At its core, the field leverages the dynamic space between life as culturally located and being human. This chapter contributes value to comparative education from an Oceanic viewpoint. Oceania is the world region with more water and languages than any other. Because of its diversity and colonial (...) histories, Oceania is a site of creative tension between regionalism and self-determination. Unsurprisingly, conflict exists in the region. However, a key need in our ‘sea of islands’ for sustainability is to live well together. Faced with the uncertainties of the future such as climate change, mutual understanding and support is at a premium. The collaboration of writers; Solomon Islander, Tongan, and Anglo-Welsh, embodies this, as does the chapter’s woven mat-based structure. The thrust of this chapter is that through walking backwards into the future and embracing solidarity through diversity, we can promote a sustainable educational journey that offers the hope of continuity in the face of the challenges ahead. (shrink)

We present a Hilbert style axiomatisation for the set of formulas in the temporal language with F and P which are valid over non-transitive cyclical flows of time. We also give a simpler axiomatisation using the slightly controversial 'irreflexivity rule' and go on to prove the decidability of any temporal logic over cyclical time provided it uses only connectives with first-order tables.

We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.

Studies of change detection suggest that people tend to overestimate their ability to detect visual changes. In a recent laboratory study of change detection and human intention, Beck et al., found that individuals have an inadequate understanding that intention can improve change detection performance and that its importance increases with scene complexity. We note that these findings may be specific to unfamiliar situations such as those generated routinely in studies of change detection. In two questionnaire studies, we demonstrate that when (...) participants consider real world scenarios such as driving, people are well aware that the intention to detect changes improves detection performance, especially in complex scenes. We suggest several reasons why change detection findings like Beck et al.’s do not generalize to real world situations. More broadly, we suggest a possible way to bridge the gap between lab and life. (shrink)

Studies of change blindness indicate that more intentional monitoring of changes is necessary to successfully detect changes as scene complexity increases. However, there have been conflicting reports as to whether people are aware of this relation between intention and successful change detection as scene complexity increases. Here we continue our dialogue with [Beck, M. R., Levin, D. T., & Angelone, B. . Change blindness blindness: Beliefs about the roles of intention and scene complexity in change detection. Consciousness and Cognition, 16, (...) 31–51; Beck, M. R., Levin, D. T., & Angelone, B. . Metacognitive errors in change detection: Lab and life converge. Consciousness and Cognition, 16, 58–62] by reporting two experiments that show participants do in fact intuit that more intentional monitoring is needed to detect changes as scene complexity increases. We also discuss how this dialogue illustrates the need for psychological studies to be grounded in measurements taken from real world situations rather than laboratory experiments or questionnaires. (shrink)

The National Summit on Legal Preparedness for Obesity Prevention and Control was conceived by the Centers for Disease Control and Prevention as a strategic conference to review the current status of legal preparedness for obesity prevention and control, identify potential gaps, and develop specific action options for improving the contribution law can make to reduce the health threat posed by obesity. Working with the collaborating partners and planning committe, the host committe planned and modeled after the Summit CDC’s 2007 conference (...) on public health emergency legal preparedness that resulted in the National Action Agenda for Public Health Emergency Legal Preparedness. The summit was a working meeting that offered invited participants a structured opportunity to deliberate about the laws and legal issues that impact obesity prevention and control from a public health perspective. (shrink)

The National Summit on Legal Preparedness for Obesity Prevention and Control was conceived by the Centers for Disease Control and Prevention as a strategic conference to review the current status of legal preparedness for obesity prevention and control, identify potential gaps, and develop specific action options for improving the contribution law can make to reduce the health threat posed by obesity. Working with the collaborating partners and planning committe, the host committe planned and modeled after the Summit CDC’s 2007 conference (...) on public health emergency legal preparedness that resulted in the National Action Agenda for Public Health Emergency Legal Preparedness. The summit was a working meeting that offered invited participants a structured opportunity to deliberate about the laws and legal issues that impact obesity prevention and control from a public health perspective. (shrink)

This article is currently available as a free download on ingentaconnect.

Adaptive preferences have been extensively studied in decision theory and feminist political theory, but not in experimental philosophy. In feminist contexts, the term is used to discuss cases in which women seem to accept abusive treatment and other conditions of oppression. According to one class of theories, women who accept abusive behavior are cognitively deficient: irrational, lacking autonomy, or not acting in accordance with their identity. Other theories deny this, saying that under certain conditions, accepting abuse can be a sound (...) response, given available alternatives. We survey lay opinions about a case in which a woman endures domestic violence and find that people often attribute adaptive attitudes and tend to see them as rational, free, and reflective of identity. We also examine lay normative judgments, including options about the right course of action, and the locus of blame, finding, for example, some tendency to blame the victim in such cases. Such attitudes are impacts by gender and political orientation. We also manipulated the cultural setting of our vignette, but found no impact. (shrink)

Some of the dialogue in the Star Wars films has become deservedly iconic, instantly recognizable even to people unfamiliar with the series. Several human characters speak two or more languages. This chapter examines whether Chewbacca's noises work like a language. It considers a typical exchange between Chewbacca and Han Solo. The conclusion that these noises are not real language is so obvious as to be unnecessary: Chewbacca does not speak. The Star Wars films and Expanded Universe materials teem with processes, (...) objects, and entities that are unique to their fictional setting, are without counterparts in real life, and would need to be learned by someone encountering them for the first time. Conversely, if more and more people do start to use a word in a new way, eventually the newer usage will become its accepted meaning, either coexisting with an older meaning or superseding it. (shrink)

This paper compares the recently proposed Robust Full Computational Tree Logic to model robustness in concurrent systems with other computational tree logic -based logics. RoCTL* extends CTL* with the addition of the operators Obligatory and Robustly, which quantify over failure-free paths and paths with one more failure respectively. This paper focuses on examining the succinctness and expressiveness of RoCTL* by presenting translations to and from RoCTL*. The core result of this paper is to show that RoCTL* is expressively equivalent to (...) CTL* but is non-elementarily more succinct. That is, RoCTL* does not add any expressive power over CTL*, but can represent some properties using vastly reduced formulae. We present a translation from RoCTL* into CTL* that preserves truth but may result in non-elementary growth in the length of the translated formula, as each nested Robustly operator may result in an extra exponential blowup. However, we show that this translation is optimal in the sense th.. (shrink)

We consider the problem of pricing in a network industry focussing in particular on the issue of cross-network pricing (e.g. cross-network cell phone charges). Economic theory tells us in relation to cross-network pricing that collusion or network monopoly may yield welfare as well as profit benefits although any welfare benefits from cross-network collusion may be more than offset by a reduction in competition elsewhere. To address this, we introduce a new regulatory concept: the independent profit-maximising agent. The agent sets prices (...) on cross-network goods taking either (i) a complete, or (ii) an arbitrarily small, share of the associated profit. We examine welfare and profits with and without agent type (i) and (ii) with collusion (network monopoly) between the non-agent firms and without collusion (independent network duopoly). We show that splitting up the network monopoly (creating independent network duopoly) may be inferior for both society and firm(s) compared with a network monopoly ‘regulated’ by an agent and that society always prefers any of the four agent regimes over network monopoly and network duopoly. Indeed, employing the agent may reduce welfare losses by a large proportion while having relatively little effect on profit. (shrink)

We introduce a new way of defining metric temporal logic on a real-numbers flow of time. The idea is based on having semantics which allow us to refer to a single universal clock of arbitrary precision in order to impose metric constraints. This gives us a new metric temporal logic which is very expressive, is natural to use, can be applied in very general situations, affords a wide range of useful abbreviations and operators, has a PSPACE decision procedure, and has (...) the promise of being amenable to standard reasoning techniques. Thus it has many advantages over the existing metric temporal logics. We provide a decision procedure via conversion to a non-metric temporal logic, hence doing metric reasoning with no clocks. (shrink)

This article examines the implications of the change from competences to standards for initial teacher training. It analyses the implicit interpretation of quality and standards of practice in Teacher Training Agency (TTA) documentation and compares it to that of the Management Charter Initiative in their new management standards. The TTA approach is challenged as incomplete.

In a chronically migrant world, the academy is no exception. Academic migrants, who shift to another space and another world view, feature in the educational landscape of every continent. However, a global lens may not be useful in understanding their experiences, nor in seeking to support them in their endeavours. This dispatch discusses ways of understanding the intersections of space, movement and world view derived from Pacific thinking of various sources. The discussion is grounded in the activities of Leadership Pacific (...) (LP). This is not a program but a cause-based movement. It provides a safe space for storying as learning and leadership. LP has grown from a single group to become a fluid, welcoming and ever-morphing network of inter-locking clusters across the region. Responding to the need for a village-like web of caring and reciprocal relationships, LP fills the gap experienced by many Pacific-origin academic migrants when faced with academic practices and relationships. Through its people-centred storying pedagogy, LP provides an alternative space in which indigenous ways of knowing and being can be at home and the racism inherent in a mono-cultural understanding of academia is challenged. It welcomes both Pacific-origin academic migrants and those academics who seek alignment with a village-like people-centred approach to relationships. The LP experience, which now includes an international conference, provides a model of contextualised action that may be helpful in supporting academic migrants from other regions. Long-term, the influence of movements such as LP has the potential to shift deep-seated universal assumptions of what movement and space might mean for the academy, and of ethical forms of response to the needs and potentials of the academically migrant. (shrink)

Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable (...) for any advanced student and researcher in pure and applied modal logic. (shrink)