Results 11 to 20 of about 27,099 (296)
Modality Definition Synthesis for Epistemic Intuitionistic Logic via a\n Theorem Prover [PDF]
, 2019 We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic by starting from the sequent calculus {\bf G4IP} that we extend with operator definitions providing an embedding in intuitionistic propositional logic ({\bf IPC}). With help of a candidate definition formula generator, we discover epistemic operators for which axioms and theorems ...
Paul Tarau
+5 more sources
Reasoning on Constrained Epistemic Action Modal Logic
International Journal of Hybrid Information Technology, 2015 This paper put forward constrained epistemic action model logic (EAML), which extended the action modal logic and reason epistemic default logic in the dynamic epistemic theory framework. In this paper, the constrained epistemic default logic and action model logic was combined to model the dynamic cognitive update process by introducing a cognitive ...
Zhiling Hong
openalex +2 more sources
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended\n Version) [PDF]
, 2019 Logics for social networks have been studied in recent literature. This paper presents a framework based on *dynamic term-modal logic* (DTML), a quantified variant of dynamic epistemic logic (DEL). In contrast with DEL where it is commonly known to whom agent names refer, DTML can represent dynamics with uncertainty about agent identity.
Andrés Occhipinti Liberman +1 more
+6 more sources
Intuitionistic modal logics: epistemic reasoning with distributed knowledge [PDF]
In this article, we add a diamond to the parametrized box-based propositional language of intuitionistic doxastic logic and intuitionistic epistemic logic introduced by Artemov and Protopopescu. The main results of this article are the proofs of completeness with respect to their appropriate relational semantics of the resulting intuitionistic doxastic
Philippe Balbiani
openalex +3 more sources
Quantifier-free epistemic term-modal logic with assignment operator [PDF]
Journal of Logic and Computation, 2021 Logics for social networks have been studied in recent literature. This paper presents a framework based on dynamic term-modal logic (\(\mathsf {DTML}\)), a quantified variant of dynamic epistemic logic (\(\mathsf {DEL}\)). In contrast with \(\mathsf {DEL}\) where it is commonly known to whom agent names refer, \(\mathsf {DTML}\) can represent dynamics
Yanjing Wang, Yu Wei, Jeremy Seligman
openalex +3 more sources
Modalities in the realm of questions: axiomatizing inquisitive epistemic logic [PDF]
, 2014 Building on ideas from inquisitive semantics, the recently proposed framework of in-quisitive epistemic logic (IEL) provides the tools to model and reason about scenarios in which agents do not only have information, but also entertain issues. This frame-work has been shown to allow for a generalization to issues of important notions, such as common ...
Ivano Ciardelli
openalex +2 more sources
An Inductive Modal Approach for the Logic of Epistemic Inconsistency
, 2021 The purpose of this paper is twofold. First we want to extent a specific paranormal modal logic in such a way as obtain a paraconsistent and paracomplete multimodal logic able to formalize the notions of plausibility and certainty. With this logic at hand, and this is our second purpose, we shall use a modified version of Reiter‘s default logic to ...
Ricardo Sousa Silvestre
openalex +2 more sources
A Bi-Modal Characterization of Epistemic Logic
Annals of the Japan Association for Philosophy of Science, 1978 Arata Ishimoto
openalex +4 more sources
Intuitionistic epistemic logic with two modal operators
SynthesePhilippe Balbiani
openalex +2 more sources
A basic epistemic logic and its algebraic model
Intermaths, 2023 In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the existence of algebraic models for modal logics, considering that there are so many different modal logics, so it is not usual to give an algebraic model ...
Hércules de Araujo Feitosa +2 more
doaj +3 more sources