Image de couverture de livre

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kubono, Yudai, Tojo, Satoshi
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On Translating Epistemic Operators in a Logic of Awareness
par: Kubono, Yudai
Publié: (2026)

Logic of Awareness for Nested Knowledge
par: Kubono, Yudai
Publié: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Logic of Awareness in Agent's Reasoning
par: Kubono, Yudai, et autres
Publié: (2023)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
par: Lyon, Tim S.
Publié: (2024)

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
par: Seppelt, Tim
Publié: (2023)

On Homomorphism Indistinguishability and Hypertree Depth
par: Scheidt, Benjamin
Publié: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
par: Barenbaum, Pablo
Publié: (2026)

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
par: Dolgorukov, Vitaliy, et autres
Publié: (2024)

Epistemic Skills: Logical Dynamics of Knowing and Forgetting
par: Liang, Xiaolong, et autres
Publié: (2024)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
par: Nemati, Hamed, et autres
Publié: (2025)

Stalnaker's Epistemic Logic in Isabelle/HOL
par: Guzman, Laura P. Gamboa, et autres
Publié: (2024)

Anonymous Public Announcements
par: Ågotnes, Thomas, et autres
Publié: (2025)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
par: Fandinno, Jorge, et autres
Publié: (2024)

Logic of (Common or Distributed) Knowledge
par: Shi, Chenwei
Publié: (2025)

Epistemic Logic Programs: Non-Ground and Counting Complexity
par: Eiter, Thomas, et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Formalizing Representation Theorems for a Logical Framework with Rewriting
par: Traversié, Thomas, et autres
Publié: (2025)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
par: Genco, Francesco A.
Publié: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Uniform Interpolation in Distributed Knowledge Modal Logics
par: Wang, Kexu, et autres
Publié: (2026)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Guarded Successor: A Novel Temporal Logic
par: Asor, Ohad
Publié: (2024)

On Knowledge Compilation For Two-Variable First-Order Logic
par: Meng, Qiaolan, et autres
Publié: (2026)

Epistemic Skills: Reasoning about Knowledge and Oblivion
par: Liang, Xiaolong, et autres
Publié: (2025)

An Epistemic Perspective on Agent Awareness
par: Naumov, Pavel, et autres
Publié: (2025)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)