Národní úložiště šedé literatury Nalezeno 3 záznamů.  Hledání trvalo 0.00 vteřin. 
A general framework for logics of questions
Punčochář, Vít
This paper provides an overview of basic inquisitive semantics and its generalization proposed in (Punčochář, submitted). It is shown that the generalization allows to model questions over any of a large class of non-classical logics and so avoids paradoxes of material implication and irrelevance in the logic of questions. Moreover, it is advocated that the general framework does not lose any of the characteristic features of basic inquisitive semantics that are needed for modeling of questions.
Substructural logics for pooling information
Sedlár, Igor ; Punčochář, Vít
This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on intersection of sets of possible worlds. Our account is based on information models for substructural logics and pooling is represented by fusion of information states. This approach yields a representation of\npooling related to structured communication within groups of agents. It is shown that the generalized account avoids some problematic features of the intersection-based approach. Our main technical result is a sound and complete axiomatization of a substructural epistemic logic with an operator expressing pooling.\n
Knowledge is a Diamond
Punčochář, Vít
In the standard epistemic logic, the knowledge operator is represented as a box operator, a universal quantifier over a set of possible worlds. There is an alternative approach to the semantics of knowledge, according to which an agent a knows a proposition iff a has a reliable (e.g. sensory) evidence that supports the proposition. In this interpretation, knowledge is viewed rather as an existential, i.e. a diamond modality. In this paper, we will propose a formal semantics for substructural logics that allows to model knowledge on the basis of this intuition. The framework is strongly motivated by a similar semantics introduced by (Bílková, Majer, Peliš, 2016). However, as we will argue, our framework overcomes some unintuitive features of the semantics from (Bílková, Majer, Peliš, 2016). Most importantly, knowledge does not distribute over disjunction in our logic.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.