Buchumschlag

Topological Semantics for Common Inductive Knowledge

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Namachivayam, Siddharth
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Theoretical Economics Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Limits of Tolerance
von: Miller, Alan D.
Veröffentlicht: (2024)

Coarse Descriptions and Cautious Preferences
von: Piermont, Evan, et al.
Veröffentlicht: (2024)

Dynamic Many Valued Logic Systems in Theoretical Economics
von: Lu, Daniel
Veröffentlicht: (2024)

A Strategic Topology on Information Structures
von: Bergemann, Dirk, et al.
Veröffentlicht: (2024)

Geometric Formalization of First-Order Stochastic Dominance in $N$ Dimensions: A Tractable Path to Multi-Dimensional Economic Decision Analysis
von: Li, Jingyuan
Veröffentlicht: (2025)

What aggregation rules can be classified as logical concepts?
von: Poliakov, Nikolay L.
Veröffentlicht: (2026)

Expected Utility from a Constructive Viewpoint
von: Prasad, Kislaya
Veröffentlicht: (2023)

Subjective Causality
von: Halpern, Joseph Y., et al.
Veröffentlicht: (2024)

Vague Knowledge: Information without Transitivity and Partitions
von: Xiao, Kerry
Veröffentlicht: (2025)

The use of knowledge in open-ended systems
von: Devereaux, Abigail, et al.
Veröffentlicht: (2024)

Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation
von: Streufert, Peter A.
Veröffentlicht: (2021)

Formalising Inductive and Coinductive Containers
von: Damato, Stefania, et al.
Veröffentlicht: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Impredicative Encodings of (Higher) Inductive Types
von: Awodey, Steve, et al.
Veröffentlicht: (2018)

Formal Power Series Representations in Probability and Expected Utility Theory
von: Pedersen, Arthur Paul, et al.
Veröffentlicht: (2025)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2023)

Logic of (Common or Distributed) Knowledge
von: Shi, Chenwei
Veröffentlicht: (2025)

Common Knowledge, Sailboats, and Publicity
von: Bozdag, Sena, et al.
Veröffentlicht: (2025)

Intentic Semantics for Potentialist Truthmaking
von: Gorbow, Paul
Veröffentlicht: (2026)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
von: van Collem, Simcha, et al.
Veröffentlicht: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
von: de Groot, Jim, et al.
Veröffentlicht: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Rewriting and Inductive Reasoning
von: Hajdu, Márton, et al.
Veröffentlicht: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

Equational and Inductive Reasoning for Maude in Athena
von: Sanabria, Mateo, et al.
Veröffentlicht: (2026)

Property Checking Without Inductive Invariants
von: Goldberg, Eugene
Veröffentlicht: (2016)

Knowledge and Common Knowledge of Strategies
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)