Results 61 to 70 of about 5,005 (305)
Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
Mathematics, 2020 Public announcement logic is a logic that studies epistemic updates. In this paper, we propose a sound and complete labelled natural deduction system for public announcement logic with the common knowledge operator (PAC). The completeness of the proposed
Muhammad Farhan Mohd Nasir +2 more
doaj +1 more source
, 2019 Abstract Standard possible-worlds epistemic logic gives rise to the problem of logical omniscience. There are attempts to deal with the problem without using impossible worlds. A number of these approaches are discussed in this chapter and all are found wanting.
Francesco Berto, Mark Jago
openaire +1 more source
British Educational Research Journal, EarlyView.Abstract The latest reform of initial teacher education (ITE) in France, introduced in 2021, aims to make teacher training less theoretical and therefore more ‘practical’. New elements, such as the replacement of the Écoles Supérieures pour le Professorat et l'Éducation (ÉSPÉs) by the Instituts Nationaux Supérieurs du Professorat et de l'Education ...
Eric Maleyrot, Thérèse Perez‐Roux
wiley +1 more source
From Epistemic Norms to Logical Rules: Epistemic Models for Logical Expressivists
Journal of Philosophical Logic, 2023 AbstractIn this paper I construct a system of semantics for classical and intuitionistic propositional logic based on epistemic norms governing belief expansion. Working in the AGM-framework of belief change, I give a generalisation of Gärdenfors’ notion of belief systems which can be defined without reference to a logical consequence operator by using
openaire +2 more sources
British Educational Research Journal, EarlyView.Abstract This article examines how UK and US universities manage racial equality regimes through governance structures that prioritise institutional reputation over substantive racial justice reform. Drawing on Bourdieu's field, habitus and capital theory, the study demonstrates how universities neutralise racial justice efforts through bureaucratic ...
David Roberts
wiley +1 more source
From Potential to Actual Knowledge: A New Framework in Probabilistic Epistemic Logic
Studies in Logic, Grammar and RhetoricIn this paper we address the issue of improbable knowledge within probabilistic epistemic logic. This problem occurs when an agent possesses knowledge of a certain proposition despite the evidential probability of that knowledge being exceedingly low ...
Wójcik Arkadiusz
doaj +1 more source
British Educational Research Journal, EarlyView.Abstract This article examines the emotional experiences and processes of stigmatisation encountered by families benefiting from the Shock Plan Against Segregation and for Inclusion, Equal Opportunities and Educational Success (SP), implemented in Barcelona.
Andrea Jover +3 more
wiley +1 more source
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. We
Thorsten Engesser +3 more
doaj +1 more source
A Probabilistic Temporal Epistemic Logic [PDF]
, 2021 Zoran Ognjanović +2 more
openalex +1 more source
Towards a material‐dialogic theory of climate teacher education: A global North–South dialogue
British Educational Research Journal, EarlyView.Abstract This paper develops a novel theoretical stance for reimagining initial teacher education (ITE) through genuine North–South dialogue that challenges dominant Global North paradigms in teacher education. Drawing on collaborative inquiry between researchers from England and Chile, we synthesise material‐dialogic space theory (derived from Global ...
Lindsay Hetherington +1 more
wiley +1 more source