Results 1 to 10 of about 478 (206)

Bisimulation Quotient in Inquisitive Modal Logic

Logics
Inquisitive modal logic InqML⊞ is a natural generalization of basic modal logic, with ⊞ as a primitive modal operator. In this paper, we study the bisimulation quotients in the logic InqML⊞.
Stipe Marić
exaly   +4 more sources

Inquisitive Neighborhood Logic [PDF]

Journal of Logic, Language and Information
Abstract We explore an inquisitive modal logic designed to reason about neighborhood models. This logic is based on an inquisitive strict conditional operator $$\Rrightarrow $$ ⇛
Ivano Ciardelli, Ciardelli Ivano
exaly   +6 more sources

Bisimulation in Inquisitive Modal Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ivano Ciardelli, Martin Otto
doaj   +5 more sources

Propositional inquisitive logic: a survey [PDF]

Computer Science Journal of Moldova, 2016
This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj   +3 more sources

Jigsaw Semantics

The Baltic International Yearbook of Cognition, Logic and Communication, 2010
In the last decade the enterprise of formal semantics has been under attack from several philosophical and linguistic perspectives, and it has certainly suffered from its own scattered state, which hosts quite a variety of paradigms which may seem to be ...
Paul J. E. Dekker
doaj   +1 more source

A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic

Bulletin of the Section of Logic
This paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms and the Split Property.
Andreas Fjellstad
doaj   +1 more source

Contextualizing GMRC and Values Education for Ilokano Schools Through Nakem: Toward a Localized Moral Education Framework

Sociological Education
Despite the Philippine Department of Education's mandate for curriculum contextualization, the MATATAG GMRC and Values Education curriculum has largely been implemented without systematic philosophical engagement with the indigenous moral frameworks of ...
Leonardo Tejano
doaj   +1 more source

Overcoming institutionalised barriers to digital health systems: an autoethnographic case study of the judicialization of a digital health tool. [PDF]

BMC Med Inform Decis Mak, 2022
Mureyi D.
europepmc   +1 more source

Survey on Blockchain-Based Data Storage Security for Android Mobile Applications. [PDF]

Sensors (Basel), 2023
Musa HS, Krichen M, Altun AA, Ammi M.
europepmc   +1 more source

The fertility of moral ambiguity in precision medicine. [PDF]

Med Health Care Philos, 2023
Knox JBL, Svendsen MN.
europepmc   +1 more source