Results 111 to 120 of about 27,099 (296)
On intuitionistic modal epistemic logic
, 2016 Consider the language of modal propositional logic extended by one new unary operation \(K\) (`it is verified that'). Let \(IKT_ *\) denote the smallest modal system obtained by adding the modal axiom schema (\(*\)) \(A\leftrightarrow\diamondsuit KA\) to the intuitionistic version \(IKT\) of the normal modal propositional logic \(KT\).
openaire +2 more sources
Economic Anthropology, EarlyView.ABSTRACT As the concept of sustainability became mainstream in development discourses from its environmentalist origins, it increasingly came to resemble the unchecked capitalist logics that it was originally meant to critique: Rather than reorganizing the economy, sustainability could be achieved through the economy as philanthropy became modeled on ...
Caitlyn Bolton
wiley +1 more source
Tool support for reasoning in display calculi [PDF]
, 2016 We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel +4 more
core +2 more sources
Metaverse and Artificial Intelligence as Web 4.0: The Next Generation of the Internet
Systems Research and Behavioral Science, EarlyView.ABSTRACT This study utilizes systems thinking to explore and entwine an evolving metaverse scholarship to a relatively underexplored phenomenon of Web 4.0. We adopt a soft systems thinking framework to guide the interpretation of complex and evolving metaverse scholarship, using bibliometric mapping of 5587 publications sourced from Scopus.
Anton Klarin +3 more
wiley +1 more source
Metaphysical and absolute possibility [PDF]
, 2019 It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press,
Clarke-Doane, Justin
core
Reasoning About Epistemic States of Agents by Modal Logic Programming [PDF]
, 2006 Modal logic programming is one of appropriate approaches to deal with reasoning about epistemic states of agents. We specify here the least model semantics, the fixpoint semantics, and an SLD-resolution calculus for modal logic programs in the multimodal logic KD4Ig5a, which is intended for reasoning about belief and common belief of agents.
openaire +1 more source
Erving Goffman at 100: A Chameleon Seen as a Rorschach Test within a Kaleidoscope
Symbolic Interaction, EarlyView.The 100th anniversary of Erving Goffman's birth was in 2022. Drawing on his work, the Goffman archives, the secondary literature, and personal experiences with him and those in his university of Chicago cohort, I reflect on some implications of his work and life, and the inseparable issues of understanding society.
Gary T. Marx
wiley +1 more source
Rethinking Face‐to‐Face Interaction: Lessons from Studies of “Autistic Sociality”
Symbolic Interaction, EarlyView.Face‐to‐face interaction is a foundational concept in microsociology. This article surveys the social experiences of autistic people, who are commonly known for having a strained relationship with interactions face to face. By interpretively reviewing and synthesizing the broader literature on “autistic sociality,” the article provides a nuanced ...
Lars E. F. Johannessen
wiley +1 more source
Identification of Missing Knowledge in MBSE System Models Using Graph‐Based Machine Learning
Systems Engineering, EarlyView.ABSTRACT The design and development of complex aerospace systems pose significant challenges due to their growing complexity. Iterative design processes, guided by formal specifications, strive to refine initially vague characteristics through multiple stages.
Esma Karagoz +2 more
wiley +1 more source
Narrative‐Style Transcription: Optimizing Inference of Dialogic Discourse
TESOL Quarterly, EarlyView.Abstract In qualitative research, transcription is a significant stage of the data collection process often employed as a method of language data analysis. In this account, however, I underscore the interpretive dimension of transcription in the context of classroom practitioner research, and the decision‐making entailed in this approach. To illustrate
Clifford Kast
wiley +1 more source