Cover Image

The Modal Cube Revisited: Semantics without Worlds (Technical Report)

Fuente: arXiv

Saved in:

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

Similar Items

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

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)

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

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

Modal Logics -- RNmatrices vs. Nmatrices
by: Coniglio, Marcelo E., et al.
Published: (2024)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

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

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

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

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

A taxonomy for controlling (in)consistency
by: Coniglio, Marcelo E., et al.
Published: (2026)

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

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

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

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)

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

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

Cubing for Tuning
by: Wu, Haoze, et al.
Published: (2025)

The Transpension Type: Technical Report
by: Nuyts, Andreas
Published: (2020)

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

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
by: Leme, Renato, et al.
Published: (2023)

Technical Report: Time-Bounded Resilience
by: Kirigin, Tajana Ban, et al.
Published: (2024)

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

Temporal Team Semantics Revisited
by: Gutsfeld, Jens Oliver, et al.
Published: (2021)

The Power of Regular Constraint Propagation (Technical Report)
by: Hague, Matthew, et al.
Published: (2025)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
by: Coniglio, M. E., et al.
Published: (2026)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
by: Ho, Hsi-Ming, et al.
Published: (2024)

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

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
by: Holík, Lukáš, et al.
Published: (2025)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
by: Peters, Kirstin, et al.
Published: (2024)

Univalence without function extensionality
by: Cavallo, Evan, et al.
Published: (2026)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Deciding Boolean Separation Logic via Small Models (Technical Report)
by: Dacík, Tomáš, et al.
Published: (2024)

Modal definability in Euclidean modal logics
by: Balbiani, Philippe, et al.
Published: (2025)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)