Results 91 to 100 of about 27,099 (296)
Modal Linear Logic in Higher Order Logic, an experiment in Coq
, 2003 The sequent calculus of classical modal linear logic KDT 4lin is coded in the higher order logic using the proof assistant COQ. The encoding has been done using two-level meta reasoning in Coq.
Sadrzadeh, Mehrnoosh
core +1 more source
Public Administration and Development, EarlyView.ABSTRACT In its quest for development, Ghana must address socioeconomic challenges not of its own making, use resources it does not have, and apply externally imposed technocratic knowledge‐based solutions largely incompatible with Ghanaians' lived experience.
Jessica Kritz, Peter F. Haruna
wiley +1 more source
FIVE STEPS TO RESPONSIBILITY - DOI: 10.12818/P.0304-2340.2013v63p125
Revista da Faculdade de Direito da Universidade Federal de Minas Gerais, 2014 Responsibility has entered the academic discourse of logicians hardly more than few decades ago. I suggest a logical concept of responsibility which employs ideas both from a number of theories belonging to different branches of logic as well from other
Elena Lisanyuk
doaj +4 more sources
Non-Transitive Self-Knowledge: Luminosity via Modal μ-Automata [PDF]
This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing self-knowledge on the model of fixed points in monadic second-order modal logic, i.e. the modal $\mu$
Khudairi, Hasen
core
Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic that Avoid Fitch’s Paradox [PDF]
, 2014 1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed ...
Dragomir, Alexandru
core
Some Epistemic Extensions of G\"odel Fuzzy Logic
, 2021 In this paper, we introduce some epistemic extensions of G\"odel fuzzy logic whose Kripke-based semantics have fuzzy values for both propositions and accessibility relations such that soundness and completeness hold.
Borzooei, R. A. +3 more
core
Communal sustainable development goals, belonging and involvement: Engaging with the SDGs
People and Nature, EarlyView.Abstract This study examines sustainable development from the cosmovisions of Indigenous Peoples and other Traditional Communities (IoTCs) in western Bahia, a region in the Brazilian savanna of the Cerrado. It adopts a feminist decolonial and post‐development approach to address issues of epistemic violence. Employing participatory arts‐based research,
Taís Sonetti‐González +6 more
wiley +1 more source
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 Ascriptions of belief and other doxastic propositional attitudes are commonly interpreted as quantifying over a set of possible worlds constituting doxastic alternatives for the belief experiencer.
Michael Hegarty
doaj +1 more source
Journal of Field Robotics, EarlyView.ABSTRACT Personal autonomous vehicles can sense their surrounding environment, plan their route, and drive with little or no involvement of human drivers. Despite the latest technological advancements and the hopeful announcements made by leading entrepreneurs, to date no personal vehicle is approved for road circulation in a “fully” or “semi ...
Xingshuai Dong +13 more
wiley +1 more source
Certain Verbs Are Syntactically Explicit Quantifiers
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 Quantification over individuals, times, and worlds can in principle be made explicit in the syntax of the object language, or left to the semantics and spelled out in the meta-language.
Anna Szabolcsi
doaj +1 more source