Copertina

Reasoning About Group Polarization: From Semantic Games to Sequent Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Freiman, Robert, Olarte, Carlos, Pimentel, Elaine, Fermüller, Christian G.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Efficient Decision Procedures for RNmatrix Semantics
di: Leme, Renato R., et al.
Pubblicazione: (2026)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
di: Leme, Renato, et al.
Pubblicazione: (2025)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Nested Sequents for Quasi-transitive Modal Logics
di: Marin, Sonia, et al.
Pubblicazione: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
di: Lyon, Tim S.
Pubblicazione: (2024)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

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

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
di: Acclavio, Matteo
Pubblicazione: (2023)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
di: Lyon, Tim S.
Pubblicazione: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

Testing for Renamability to Classes of Clause Sets
di: Brandl, Albert, et al.
Pubblicazione: (2025)

A Sequent Calculus For Trace Formula Implication
di: Heidler, Niklas, et al.
Pubblicazione: (2025)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
di: Wernhard, Christoph
Pubblicazione: (2026)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

An ecumenical view of proof-theoretic semantics
di: Nascimento, Victor, et al.
Pubblicazione: (2023)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
di: Litak, Tadeusz, et al.
Pubblicazione: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
di: Irani, Khashayar
Pubblicazione: (2025)

Nested Sequents for Provability Logic GLP
di: Shamkanov, Daniyar
Pubblicazione: (2014)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
di: Becker, Justus
Pubblicazione: (2025)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
di: Maniwa, Akinori, et al.
Pubblicazione: (2024)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
di: Cailler, Julie, et al.
Pubblicazione: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

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

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
di: Lyon, Tim S.
Pubblicazione: (2026)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
di: Accattoli, Beniamino
Pubblicazione: (2024)

Timed Strategies for Real-Time Rewrite Theories
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

Collusion Relations and their Applications to Balance Theory
di: Joinet, Jean-Baptiste, et al.
Pubblicazione: (2026)

Twist Sequent Calculi for S4 and its Neighbors
di: Kamide, Norihiro
Pubblicazione: (2024)

Glivenko's theorems from an ecumenical perspective
di: Pereira, Luiz Carlos, et al.
Pubblicazione: (2026)

A Constraint Opinion Model
di: Gadducci, Fabio, et al.
Pubblicazione: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2026)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)