The asymptotic distribution of response probabilities in the Audley-Jonckheere learning model

The asymptotic distributions of response probabilities in the Audley-Jonckheere learning model, as applied to the two-choice learning situation, are described for (1) the experimenter-controlled events model, (2) the subject-controlled events model, and (3) the experimenter-subject-controlled events model.     

Superintuitionistic Companions of Classical Modal Logics

This paper investigates partitions of lattices of modal logics based on superintuitionistic logics which are defined by forming, for each superintuitionistic logic L and classical modal logic , the set L[] of L-companions of . Here L[] consists of those modal logics whose non-modal fragments coincide with L and which axiomatize if the law of excluded middle p V p is added. Questions addressed are, for instance, whether there exist logics with the disjunction property in L[], whether L[] contains a smallest element, and whether L[] contains lower covers of . Positive solutions as concerns the last question show that there are (uncountably many) superclean modal logics based on intuitionistic logic in the sense of Vakarelov [28]. Thus a number of problems stated in [28] are solved. As a technical tool the paper develops the splitting technique for lattices of modal logics based on superintuitionistic logics and ap plies duality theory from [34].     

Simulation and Transfer Results in Modal Logic – A Survey

This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics.     

A single instrument: Engineering and engineering technology students demonstrating competence in ethics and professional standards

This paper details efforts by the Purdue School of Engineering and Technology at Indiana University Purdue University Indianapolis (IUPUI) to create a single instrument for honors science, technology, engineering and mathematics (STEM) students wishing to demonstrate competence in the IUPUI Principles of Undergraduate Learning (PUL’s) and Accreditation Board for Engineering and Technology (ABET) Engineering Accreditation Criterion (EAC) and Technology Accreditation Criterion (TAC) 2, a through k. Honors courses in Human Behavior, Ethical Decision-Making, Applied Leadership, International Issues and Leadership Theories and Processes were created along with a specific menu of activities and an assessment rubric based on PUL’s and ABET criteria to evaluate student performance in the aforementioned courses. Students who complete the series of 18 Honors Credit hours are eligible for an Honors Certificate in Leadership Studies from the Department of Organizational Leadership and Supervision. Finally, an accounting of how various university assessment criteria, in this case the IUPUI Principles of Undergraduate Learning, can be linked to ABET outcomes and prove student competence in both, using the aforementioned courses, menu of items, and assessment rubrics; these will be analyzed and discussed. An earlier version of this paper was presented at the 2005 conference, Ethics and Social Responsibility in Engineering and Technology, Linking Workplace Ethics and Education, co-hosted by Gonzaga University and Loyola Marymount University, Los Angeles, California, 9–10 June 2005. Timothy Diemer is a visiting assistant professor in the Dept. of Organizational Leadership and Supervision and director of international services in the Purdue School of Engineering and Technology at IUPUI. Stephen P. Hundley is an Associate Professor of Organizational Leadership and Supervision in the Purdue School of Engineering and Technology at IUPUI. Robert M. Wolter is a lecturer in the Dept. of Organizational Leadership and Supervision at IUPUI and teaches ‘Human Behavior in Organizations’ and ‘Applied Leadership’.     

Depth perception in virtual reality: distance estimations in peri- and extrapersonal space.

The present study investigated depth perception in virtual environments. Twenty-three participants verbally estimated ten distances between 40 cm and 500 cm in three different virtual environments in two conditions: (1) only one target was presented or (2) ten targets were presented at the same time. Additionally, the presence of a metric aid was varied. A questionnaire assessed subjective ratings about physical complaints (e.g., headache), the experience in the virtual world (e.g., presence), and the experiment itself (self-evaluation of the estimations). Results show that participants underestimate the virtual distances but are able to perceive the distances in the right metric order even when only very simple virtual environments are presented. Furthermore, interindividual differences and intraindividual stabilities can be found among participants, and neither the three different virtual environments nor the metric aid improved depth estimations. Estimation performance is better in peripersonal than in extrapersonal space. In contrast, subjective ratings provide a preferred space: a closed room with visible floor, ceiling, and walls.     

Willem Blok and Modal Logic

We present our personal view on W.J. Blok's contribution to modal logic.     

First Order Common Knowledge Logics

In this paper we investigate first order common knowledge logics; i.e., modal epistemic logics based on first order logic with common knowledge operators. It is shown that even rather weak fragments of first order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the first order part of which is based on constant symbols and the equality symbol only. Then formal properties of "quantifying into" epistemic contexts are investigated. The results are illustrated by means of epistemic representations of Nash Equilibria for finite games with mixed strategies.     

What is the upper part of the lattice of bimodal logics?

We define an embedding from the lattice of extensions ofT into the lattice of extensions of the bimodal logic with two monomodal operators ₁ and ₂, whose ₂-fragment isS5 and ₁-fragment is the logic of a two-element chain. This embedding reflects the fmp, decidability, completenes and compactness. It follows that the lattice of extension of a bimodal logic can be rather complicated even if the monomodal fragments of the logic belong to the upper part of the lattice of monomodal logics.Presented byWolfgang Rautenberg