Results 71 to 80 of about 25,998 (197)
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together
, 2022 Emiliano Lorini +2 more
openalex +2 more sources
Carnapian Modal and Epistemic Arithmetic [PDF]
, 2009 The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e.
Jan, Heylen
core
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
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
Expertise and information: an epistemic logic perspective. [PDF]
Synthese, 2023 Singleton J, Booth R.
europepmc +1 more source
The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. [PDF]
Minds Mach (Dordr), 2023 Cignarale G +3 more
europepmc +1 more source
Formal Analysis of Pilot Error with Agent Safety Logic [PDF]
In this paper, we show that modal logic is a valuable tool for the formal analysis of human errors in aviation safety. We develop a modal logic called Agent Safety Logic (ASL), based on epistemic logic, doxastic logic, and a safety logic grounded in a ...
Ahrenbach, Seth, Goodloe, Alwyn
core +1 more source
Pointwise intersection in neighbourhood modal logic
, 2018 We study the logic of neighbourhood models with pointwise intersection, as a means to characterize multi-modal logics. Pointwise intersection takes us from a set of neighbourhood sets $\mathcal{N}_i$ (one for each member $i$ of a set $G$, used to ...
Klein, Dominik, Van De Putte, Frederik
core
Language as a mechanism for reasoning about possibilities. [PDF]
Philos Trans R Soc Lond B Biol Sci, 2022 Grigoroglou M, Ganea PA.
europepmc +1 more source