Cover Image

Efficient Decision Procedures for RNmatrix Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Leme, Renato R., Olarte, Carlos, Pimentel, Elaine
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

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

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

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

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
by: Zhang, Cheng, et al.
Published: (2026)

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

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

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

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

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

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
by: Demri, Stephane, et al.
Published: (2023)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
by: Arias, Jaime, et al.
Published: (2024)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
by: Cristiá, Maximiliano, et al.
Published: (2021)

Intentic Semantics for Potentialist Truthmaking
by: Gorbow, Paul
Published: (2026)

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

Two Optimizations on the Stålmarck Procedure
by: Leonov, Sergei, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
by: Neves, Renato
Published: (2024)

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

Decidability and Complexity of Decision Problems for Affine Continuous VASS
by: Balasubramanian, A. R.
Published: (2024)

The Power of Generalized Clemens Semantics
by: Omori, Hitoshi, et al.
Published: (2024)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Topological Semantics for Common Inductive Knowledge
by: Namachivayam, Siddharth
Published: (2026)

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

The Adjacent Fragment and Quine's Limits of Decision
by: Bednarczyk, Bartosz, et al.
Published: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
by: Andriushchenko, Roman, et al.
Published: (2025)

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
by: Bertrand, Nathalie, et al.
Published: (2020)