Forensic archaeology, the application of archaeological methods in a criminal framework, has undergone a rapid process of acceptance and development. From the initial occasional involvement of archaeologists in the search for and recovery of murder victims in the late 1970s, to the general acceptance of archaeological methods, such as shallow level geophysics, this chapter provides a brief history of forensic archaeology in the United Kingdom and beyond. It outlines the ways in which an archaeologist’s understanding of formation processes and skills (...) in the interpretation of human behaviour from physical alterations to the landscape can be of benefit to different stages and types of investigation. Discussing the way in which the archaeologist can usefully contribute to the investigation of a crime, the chapter looks at the methods which have been successfully applied in a number of high-profile cases and the considerations which the forensic archaeologist must make which are not an issue for ‘traditional’ archaeology. In a discipline which has reached a critical point in its development with the acknowledgement that archaeological skills should regularly form an integral part of crime scene investigation and an increase in professional training, the authors explain how forensic archaeology is now moving to increased standardization and attempts at quality assurance. (shrink)

We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas.

Public announcement logic is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic, allows quantification over announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit (...) knowledge of a group. Thus, we study the extension of GAL with distributed knowledge, and in particular possible interaction properties between GAL operators and distributed knowledge. The perhaps surprising result is that, in fact, there are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge. We also consider several natural variants of GAL with distributed knowledge, as well as some other related logic, and compare their expressive power. (shrink)

In 2008 Science Magazine and the American Academy for the Advancement of Science hosted the first ever Dance Your PhD Contest in Vienna, Austria. Calls for submission to the second, third, and fourth annual Dance Your PhD contests followed suit, attracting hundreds of entries and featuring scientists based in the US, Canada, Australia, Europe and the UK. These contests have drawn significant media attention. While much of the commentary has focused on the novelty of dancing scientists and the function of (...) dance as an effective distraction for overworked researchers, this article takes seriously the relationship between movement and scientific inquiry and draws on ethnographic research among structural biologists to examine the ways that practitioners use their bodies to animate biological phenomena. It documents how practitioners transform their bodies into animating media and how they conduct body experiments to test their hypotheses. This ‘body-work’ helps them to figure out how molecules move and interact, and simultaneously offers a medium through which they can communicate the nuanced details of their findings among students and colleagues. This article explores the affective and kinaesthetic dexterities scientists acquire through their training, and it takes a close look at how this body-work is tacitly enabled and constrained through particular pedagogical techniques and differential relations of gender and power. This article argues that the Dance Your PhD contests, as well as other performative modalities, can expand and extend what it is possible for scientific researchers to see, say, imagine and feel. (shrink)

Objectivity plays a central role in Western news media, being considered the cornerstone of professionalism and quality. However, as traditionally and passively practiced, critiques of objectivity include journalists overlooking inherent subjectivities in newsgathering, the impacts of journalists’ ideology on news representation, replication of existing power structures, and portrayals of false balance. These critiques have led to increasing scholarly and professional interest in alternative forms of journalism, including constructive journalism – an approach intended to improve the quality and usefulness of news (...) content. We position constructive journalism as a series of techniques: solutions, future orientation, inclusiveness and diversity, empowerment, context, and co-creation, and consider the relationship of each to an active form of objectivity, clarifying the contested relation of constructive journalism to objective reporting. Further, we describe how constructive techniques help journalists ethically and transparently navigate subjectivity in news reporting, with an aim toward improving the accuracy and quality of news. (shrink)

This research aspires to represent the subversion of pre-defined gender roles in the novels; The Shadow of the Crescent Moon by Fatima Bhutto, Butterfly Season by Natasha Ahmed, and Stained by Abda Khan. The researchers aim to depict the destabilization of gender-based stereotyped identity from the Pakistani perspective. The selected method of study is Feminist Analysis by Tyson, which examines literature as a medium to represent feminist issues, whereas; the theoretical angle of “Matrix of Domination” from Collins’ Feminist/Gender theory (...) is used as a principle to analyze and depict the subversion of pre-defined gender roles in the selected novels. This study aims to establish the notion of gender as a social construct that could be subverted through literary discourses that have the potential to challenge the power-based gender roles within a patriarchal society. In this regard, different critical works of prominent theorists and writers have been discussed briefly in the literature review to project the significance of the works by contemporary Pakistani women writers as a medium to subvert identities formed by their society. Gender is also a means of power through which the dominant seeks to control the subordinate. The objective of this research is to suggest that gender is socially constructed, therefore, it can be deconstructed through literature. The selected novels exemplify the current gender inclinations of today’s Pakistan with the pen of female writers. Stereotyped gender identity is a socially constructed vice that divides humans into segments, hence it is required of the contemporary discourses to decenter such power discourses that perpetuate hegemonic boundaries and restrict the women into social shackles of imposed identities. (shrink)

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book (...) is a most welcome addition to our series. The Editors CONTENTS PREFACE IX JOHAN VAN BENTHEM AND NATASHA ALECHINA Modal Quantification over Structured Domains PATRICK BLACKBURN AND WILFRIED MEYER-VIOL Modal Logic and Model-Theoretic Syntax 29 RUY J. G. B. DE QUEIROZ AND DOV M. GABBAY The Functional Interpretation of Modal Necessity 61 VLADIMIR V. RYBAKOV Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic 93 JERRY SELIGMAN The Logic of Correct Description 107 DIMITER VAKARELOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline 195 EDWARD N. ZALTA 249 The Modal Object Calculus and its Interpretation NAME INDEX 281 SUBJECT INDEX 285 PREFACE Intensional logic has many faces. In this preface we identify some prominent ones without aiming at completeness. (shrink)

The generic ultrafilter${\cal G}_2 $forced by${\cal P}\left/\left$was recently proved to be neither maximum nor minimum in the Tukey order of ultrafilters, but it was left open where exactly in the Tukey order it lies. We prove${\cal G}_2 $that is in fact Tukey minimal over its projected Ramsey ultrafilter. Furthermore, we prove that for each${\cal G}_2 $, the collection of all nonprincipal ultrafilters Tukey reducible to the generic ultrafilter${\cal G}_k $forced by${\cal P}\left/{\rm{Fin}}^{ \otimes k} $forms a chain of lengthk. Essential to (...) the proof is the extraction of a dense subsetεkfrom +which we prove to be a topological Ramsey space. The spacesεk,k≥ 2, form a hierarchy of high dimensional Ellentuck spaces. New Ramsey-classification theorems for equivalence relations on fronts on εkare proved, extending the Pudlák–Rödl Theorem for fronts on the Ellentuck space, which are applied to find the Tukey and Rudin–Keisler structures below${\cal G}_k $. (shrink)

This paper describes how to ethically conduct research with Black populations at the intersection of COVID-19 and the Black Lives Matter movement. We highlight the issues of historical mistrust in the USA and how this may impact Black populations’ participation in COVID-19 vaccination trials. We provide recommendations for researchers to ethically engage Black populations in research considering the current context. Our recommendations include understanding the impact of ongoing trauma, acknowledging historical context, ensuring diverse research teams and engaging in open and (...) honest conversations with Black populations to better address their needs. The core of our recommendation is recognising the impact of trauma in our research and health care practices. (shrink)

Gender differences in children’s and adults’ time use are well documented, but few have examined the intervening period—young adulthood. Because many Americans navigate higher education in young adulthood, college time use provides insight into how gendered behaviors evolve during this critical life stage. Using three years of time use data from the National Longitudinal Survey of Freshmen and latent transition analysis, I examine gender differences in time use within and across the college years for those in selective institutions. Among students (...) whose time use is consistent throughout college, I find that women exhibit academically-oriented time use more often, and men exhibit socially oriented time use more often. However, many men transition from social time use at the beginning of college to academic time use toward the end—to the extent that gender gaps in academic time use converge by the third year. I argue that men and women construct distinct college pathways, and that men, in particular, must reroute their time use to accommodate gendered expectations for the transition to adulthood. (shrink)

This paper investigates when it is possible for a partial ordering P to force Pκ(λ) \ V to be stationary in VP. It follows from a result of Gitik that whenever P adds a new real, then Pκ(λ) \ V is stationary in VP for each regular uncountable cardinal κ in VP and all cardinals λ > κ in VP [4]. However, a covering theorem of Magidor implies that when no new ω-sequences are added, large cardinals become necessary [7]. The (...) following is equiconsistent with a proper class of ω₁-Erdős cardinals: If P is N₁-Cohen forcing, then Pκ(λ) \ V is stationary in VP, for all regular κ ≥ N₂ and all λ > κ. The following is equiconsistent with an ω₁-Erdős cardinal: If P is N₁-Cohen forcing, then PN₂ (N₃) \ V is stationary in VP. The following is equiconsistent with κ measurable cardinals: If P is κ-Cohen forcing, then Pκ + (Nκ \ V is stationary in VP. (shrink)

Conscience and Conscientious Objection of Health Care Professionals Refocusing the Issue Content Type Journal Article Pages 351-364 DOI 10.1007/s10730-009-9113-x Authors Natasha T. Morton, The University of Western Ontario Ontario Canada N6A 5B9 Kenneth W. Kirkwood, Arthur and Sonia Labatt Health Sciences Building London Ontario Canada N6A 5B9 Journal HEC Forum Online ISSN 1572-8498 Print ISSN 0956-2737 Journal Volume Volume 21 Journal Issue Volume 21, Number 4.

Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every regular cardinal κ, κ + is greater than κ + of HOD. The proof uses a very general lemma showing that homogeneity is preserved through certain reverse Easton iterations.

Refugees and asylum seekers may experience challenges related to pre-arrival experiences, structural disadvantage after migration and during resettlement requiring the need for special protection when participating in research. The aim was to review if and how people with refugee and asylum seeker backgrounds have had their need for special protection addressed in national and international research ethics guidelines. A systematic search of grey literature was undertaken. The search yielded 2187 documents of which fourteen met the inclusion criteria. Few guidelines addressed (...) specific ethical considerations for vulnerable groups much less people with refugee and asylum seeker backgrounds. One guideline explicitly addressed vulnerability for refugees and asylums seekers. To ensure members of ethics committees and researchers consider the potential challenges of conducting research with these groups, guidelines may need to be supplemented with a refugee and asylum seeker specific research ethics framework. Such a framework may be necessary to optimally protect people with refugee and asylum seeker backgrounds in research. (shrink)

Colleges and universities exist within a political arena where external demands for accountability materialize within a market-driven environment. As a result, government agencies pressure colleges and universities to rely on assessment and transparent reporting to become more market-driven assuming that the competition within the market, led by public choice and institutional selection, will drive improvements in learning and will also self-govern the institutions. This article explores how Foucault informs our conception of neoliberal governmentality through political rationality and technologies of self-governance (...) in order to inform our understanding of accountability in higher education and to challenge institutions to develop a counter dialogue which meets institutional obligations to the public and market. (shrink)

Initially coined by Weizenbaum in 1976, ‘alien' thought refers to the radical difference with which ‘thinking machines’ approach the process of thinking. The contemporary paradox of over-determination and indeterminacy—caused largely by algorithmic decision-making in the civic realm—makes these differences both more entangled and more difficult to navigate. In this essay, I trace over-determination to Leibniz and Turing’s axiomatic procedures and to instrumental rationality, and I trace indeterminacy to the mid-twentieth century co-development of computers and neurosciences to advance the following proposition: (...) understanding alien thought requires understanding incomputability, temporal swarming, and inscriptive-significational errance. Understanding these phenomena in turn requires understanding thinking by doing, distributed thinking, and ontological indeterminacy. All are present in machinic operations as well as in the twentieth century experimental artistic practices of artists such as Duchamp, Cage, and Xu. These practices rely on indeterminate procedures and function as diagrammatic machines. A diagrammatic machine is neither abstract nor particular; neither an idea that is determining in the supreme instance, nor an infrastructure that is determining in the last instance, but rather instantiates a real yet to come (Deleuze and Guattari in A thousand plateaus: capitalism and schizophrenia: Trans. Massumi B, University of Minnesota Press, Minneapolis, 1987). In this essay, indeterminate artistic practices are used as an entry into alien thought and its correlates—infinity and complexity—by way of aesthetic analogy. (shrink)

The Higher School Certificate is a certificate that recognises the successful completion of secondary education in New South Wales, Australia. The most recent enrolment information available suggests that at least 13,472 students undertaking the NSW Higher School Certificate in 2019 conducted research projects that involved human participants. During the course of their high school education current HSC students are taught research design principles and statistics so that they are equipped to plan a research project and determine the meaning of the (...) outcome; however, the students are not systematically taught the application of research ethics during their high school years. This article contends that the NSW HSC curriculum be expanded to include instruction in and application of the fundamentals of research ethics to these high school projects to ensure that all participants involved in these projects are accorded respect and protection as intended by the Australian National Statement on Ethical Conduct in Human Research. (shrink)

This paper establishes a connection between structure sensitive categorial inference and classical modal logic. The embedding theorems for non-associative Lambek Calculus and the whole class of its weak Sahlqvist extensions demonstrate that various resource sensitive regimes can be modelled within the framework of unimodal temporal logic. On the semantic side, this requires decomposition of the ternary accessibility relation to provide its correlation with standard binary Kripke frames and models.

Coalition announcement logic is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

Analogues of Ramsey’s Theorem for infinite structures such as the rationals or the Rado graph have been known for some time. In this context, one looks for optimal bounds, called degrees, for the number of colors in an isomorphic substructure rather than one color, as that is often impossible. Such theorems for Henson graphs however remained elusive, due to lack of techniques for handling forbidden cliques. Building on the author’s recent result for the triangle-free Henson graph, we prove that for (...) each [Formula: see text], the k-clique-free Henson graph has finite big Ramsey degrees, the appropriate analogue of Ramsey’s Theorem. We develop a method for coding copies of Henson graphs into a new class of trees, called strong coding trees, and prove Ramsey theorems for these trees which are applied to deduce finite big Ramsey degrees. The approach here provides a general methodology opening further study of big Ramsey degrees for ultrahomogeneous structures. The results have bearing on topological dynamics via work of Kechris, Pestov, and Todorcevic and of Zucker. (shrink)

The universal homogeneous triangle-free graph, constructed by Henson [A family of countable homogeneous graphs, Pacific J. Math.38(1) (1971) 69–83] and denoted H3, is the triangle-free analogue of the Rado graph. While the Ramsey theory of the Rado graph has been completely established, beginning with Erdős–Hajnal–Posá [Strong embeddings of graphs into coloured graphs, in Infinite and Finite Sets. Vol.I, eds. A. Hajnal, R. Rado and V. Sós, Colloquia Mathematica Societatis János Bolyai, Vol. 10 (North-Holland, 1973), pp. 585–595] and culminating in work (...) of Sauer [Coloring subgraphs of the Rado graph, Combinatorica26(2) (2006) 231–253] and Laflamme–Sauer–Vuksanovic [Canonical partitions of universal structures, Combinatorica26(2) (2006) 183–205], the Ramsey theory of H3 had only progressed to bounds for vertex colorings [P. Komjáth and V. Rödl, Coloring of universal graphs, Graphs Combin.2(1) (1986) 55–60] and edge colorings [N. Sauer, Edge partitions of the countable triangle free homogenous graph, Discrete Math.185(1–3) (1998) 137–181]. This was due to a lack of broadscale techniques. We solve this problem in general: For each finite triangle-free graph G, there is a finite number T(G) such that for any coloring of all copies of G in H3 into finitely many colors, there is a subgraph of H3 which is again universal homogeneous triangle-free in which the coloring takes no more than T(G) colors. This is the first such result for a homogeneous structure omitting copies of some nontrivial finite structure. The proof entails developments of new broadscale techniques, including a flexible method for constructing trees which code H3 and the development of their Ramsey theory. (shrink)

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the (...) Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

Sex work is highly gendered, with 80 percent of sex workers being female, and the vast majority of buyers of sex being male. It is often taken for granted that this is how it is, and implicit in much of the debate around sex work is the assumption that it is inherently gendered. In this paper, I question this assumption, drawing on sociological research to challenge arguments which purport that it is inconceivable that women would ever want to pay for (...) sex, or that sex work would exist under conditions of gender equality. I argue that gendered sexual norms likely are a significant reason for why sex work is so gendered, but sex work would probably continue to exist under conditions of gender equality, due to the diversity in motivations people have for buying and selling sex. Acknowledging that sex work is not inherently gendered is important for (at least) two reasons. First, it is probable that the gendered nature of sex work contributes to the stigma and bad treatment that sex workers, particularly female ones, face. Secondly, if sex work is not inherently gendered, this will have implications for how we should think about it, morally, practically, and legally. (shrink)

In some cultures, people tend to believe that it is very important to be sexually exclusive in romantic relationships and idealise monogamous romantic relationships; but there is a tension in this ideal. Sex is generally considered to have value, and usually when we love someone we want to increase the amount of value in their lives, not restrict it without good reason. There is thus a call, not yet adequately responded to by philosophers, for greater clarity in the reasons §why (...) it might be reasonable for a couple to adopt a policy of sexual exclusivity. This article argues that we cannot justify the demand for sexual exclusivity by a need to protect the relationship from the risk of one partner ‘trading-up’, or by appealing to jealousy. However, sexual exclusivity can be intelligible if it supports the romantic relationship and helps to distinguish it from other relationships. Nonetheless, sexual exclusivity ought not to be the hegemonic social norm that it currently is in some societies because this diminishes the potential value it might have and gives the idea of faithfulness the wrong focus. (shrink)

A Turing degree a is said to be almost everywhere dominating if, for almost all $X \in 2^{\omega}$ with respect to the "fair coin" probability measure on $2^{\omega}$ , and for all g: $\omega \rightarrow \omega$ Turing reducible to X, there exists f: $\omega \rightarrow \omega$ of Turing degree a which dominates g. We study the problem of characterizing the almost everywhere dominating Turing degrees and other, similarly defined classes of Turing degrees. We relate this problem to some questions in (...) the reverse mathematics of measure theory. (shrink)

Natasha McKeever argues that prima facie, a friends-with-benefits relationship can be, at the same time, a good friendship. This is because sex is compatible with friendship in that it can complement and potentially even strengthen the three core characteristics of friendship: mutual liking, mutual caring, and mutual sharing. She acknowledges that, by generating uncertainty and having the potential to generate feelings of romantic love, sex does pose risks to friendship. However, she argues that while these risks are significant considerations, (...) they can be mitigated and managed and so do not provide strong reasons against friends-with-benefits relationships. (shrink)

In a review of the cell biology and heredity studies of 1900–1910, Bernardino Fantini argues that the choice of an experimental subject or organism was crucial in opening up new discoveries and new theories for specific fields of research.69 Thinking on a broader level, Bütschli expressed a similar view when he stated that an understanding of the true nature and structure of the “elementary organism” was crucial to the whole of biology. In this article we have traced the impact of (...) Bütschli's unicellular model of protozoa up to the general acceptance of the eukaryotic cell as nature's primary organism. We have also seen that Bütschli's vision in the Studien gave birth to Protistenforschung and Zellforschung, sister sciences whose task it was to further and integrate knowledge of the living cell. Of necessity, we have confined ourselves to German scientific developments. However, our attempt to recapture and define the unity and meaning of a biology of the “cell-microcosm” has given us pause to reconsider the development and nature of Wilhelmian biological science. (shrink)

(2013). Open Access Digital Data Sharing: Principles, Policies and Practices☆. Social Epistemology: Vol. 27, No. 1, pp. 47-67. doi: 10.1080/02691728.2012.760663.

The text defines the fundamental terms relevant to the process of sampling, elaborates the characteristics of individual samples, selection strategies, and the key methodological issues and dilemmas of the researchers during the procedures of sampling. The selection of a sample is an essential aspect when planning the methodology of empirical research and has a key role in ensuring the reliability and validity of research results. Researchers should carefully consider the characteristics of the population and the specific research objectives and accordingly (...) choose the sampling strategy. Representative samples minimize bias and provide a higher level of confidence when generalizing results to a larger population. Non-representative samples are valuable when the selection of a representative sample is impractical or impossible. They involve different forms of bias but offer flexibility, cost-effectiveness and practicality. Non-representative samples are applicable in qualitative studies and in the research with populations that are hard to reach. However, it is important to be aware of their limitations and the justification for generalization findings outside the specific sample. Regardless of the used strategy, researchers must strive for transparency, clearly documenting the unit selection procedure and stress the potential limitations as key elements to ensure the reliability and validity of the research results. (shrink)

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory and communication bandwidth) are bounded. The framework allows us to investigate, for example, whether a goal can be achieved if a particular agent, perhaps possessing key information or inferential capabilities, is unable (or unwilling) to contribute more than a given portion of its (...) available computational resources or bandwidth to the problem. We present a novel temporal epistemic logic, BMCL-CTL , which allows us to describe a set of reasoning agents with bounds on time, memory and the number of messages they can exchange. The bounds on memory and communication are expressed as axioms in the logic. As an example, we show how to axiomatise a system of agents which reason using resolution and prove that the resulting logic is sound and complete. We then show how to encode a simple system of reasoning agents specified in BMCL-CTL in the description language of the Mocha model checker (Alur et al., Proceedings of the tenth international conference on computer-aided verification (CAV) , 1998), and verify that the agents can achieve a goal only if they are prepared to commit certain time, memory and communication resources. (shrink)

England and Wales are moving toward a model of ‘opt out’ for use of personal confidential data in health research. Existing research does not make clear how acceptable this move is to the public. While people are typically supportive of health research, when asked to describe the ideal level of control there is a marked lack of consensus over the preferred model of consent. This study sought to investigate a relatively unexplored difference between the consent model that people prefer and (...) that which they are willing to accept. It also sought to explore any reasons for such acceptance. (shrink)

We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results which show how to relate Kripke models to algebraic models and these in turn to the (...) appropriate categorical models for these logics. (shrink)