Copertina

Inferentialist Public Announcement Logic: Base-extension Semantics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Eckhardt, Timo, Pym, David J.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Base-extension Semantics for S5 Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
di: Collinson, Matthew, et al.
Pubblicazione: (2026)

Inferentialist Resource Semantics
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

A Note on an Inferentialist Approach to Resource Semantics
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

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

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Bifurcation Logic: Separation Through Ordering
di: Galmiche, Didier, et al.
Pubblicazione: (2025)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

Dynamic Hypersequents for Public Announcement Logic
di: Lerouvillois, Clara, et al.
Pubblicazione: (2025)

A Note on the Practice of Logical Inferentialism
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Causality and Decision-making: A Logical Framework for Systems and Security Modelling
di: Chakraborty, Pinaki, et al.
Pubblicazione: (2025)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
di: Galmiche, Didier, et al.
Pubblicazione: (2024)

Anonymous Public Announcements
di: Ågotnes, Thomas, et al.
Pubblicazione: (2025)

Polytopological Semantics for Intuitionistic Modal Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Continuations and Completeness in Proof-theoretic Semantics
di: Gu, Tao, et al.
Pubblicazione: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
di: de Groot, Jim, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Hypergraph Semantics for Doxastic Logics
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2025)

On an Inferential Semantics for Intuitionistic Sentential Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2025)

The Undecidability of Quantified Announcements
di: Ågotnes, Thomas, et al.
Pubblicazione: (2024)

Reconciliation of Approaches to the Semantics of Logics without Distribution
di: Hartonas, Chrysafis
Pubblicazione: (2021)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

Dynamic Cantor Derivative Logic
di: Fernández-Duque, David, et al.
Pubblicazione: (2021)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
di: Jana, Purbita, et al.
Pubblicazione: (2025)

Satisfiability of Quantified Boolean Announcements
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2022)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
di: Kojima, Ryota, et al.
Pubblicazione: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

Synchronous Team Semantics for Temporal Logics
di: Krebs, Andreas, et al.
Pubblicazione: (2024)

Owicki--Gries Logic for Timestamp Semantics
di: Abe, Tatsuya
Pubblicazione: (2025)

Logic of the Great, Logic of the Wise 2
di: Fedorchenko, Mikhail
Pubblicazione: (2026)