Cover Image

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Olarte, Carlos, Ramírez, Carlos, Rocha, Camilo, Valencia, Frank
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Constraint Opinion Model
by: Gadducci, Fabio, et al.
Published: (2025)

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

On Propositional Dynamic Logic and Concurrency
by: Acclavio, Matteo, et al.
Published: (2024)

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

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

Confluence of Logically Constrained Rewrite Systems Revisited
by: Schöpf, Jonas, et al.
Published: (2024)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Formalizing Representation Theorems for a Logical Framework with Rewriting
by: Traversié, Thomas, et al.
Published: (2025)

Automated Analysis of Logically Constrained Rewrite Systems using crest
by: Schöpf, Jonas, et al.
Published: (2025)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
by: Schöpf, Jonas, et al.
Published: (2023)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
by: Aoto, Takahito, et al.
Published: (2024)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
by: Takahata, Kanta, et al.
Published: (2025)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
by: Aoto, Takahito, et al.
Published: (2026)

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

Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)
by: Nishida, Naoki, et al.
Published: (2025)

Dynamic Separation Logic
by: de Boer, Frank S., et al.
Published: (2023)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Logic of Sets with Atoms
by: Masters, Jake
Published: (2025)

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

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
by: Nemati, Hamed, et al.
Published: (2025)

Towards Concurrent Quantitative Separation Logic
by: Fesefeldt, Ira, et al.
Published: (2022)

A Dependency Pair Framework for Relative Termination of Term Rewriting
by: Kassing, Jan-Christoph, et al.
Published: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
by: Baader, Franz, et al.
Published: (2024)

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

Equational and Inductive Reasoning for Maude in Athena
by: Sanabria, Mateo, et al.
Published: (2026)

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

Unifying Asynchronous Logics for Hyperproperties
by: Bombardelli, Alberto, et al.
Published: (2024)

Drag Rewriting
by: Dershowitz, Nachum, et al.
Published: (2024)

Opinion Update in a Subjective Logic Model for Social Networks
by: Alvim, Mário S., et al.
Published: (2024)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
by: Le, Quang Loc
Published: (2025)

Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
by: Li, James, et al.
Published: (2024)

Relational Hoare Logic for Realistically Modelled Machine Code
by: Mazzucato, Denis, et al.
Published: (2025)

Rewriting and Inductive Reasoning
by: Hajdu, Márton, et al.
Published: (2024)

Templates in Rewriting Induction
by: Hagens, Kasper, et al.
Published: (2026)

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

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

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
by: Freiman, Robert, et al.
Published: (2024)