:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Tu, Yaxin, Ghosh, Sujata, Liu, Fenrong, Li, Dazhu
Format:	Preprint
Published:	2025
Subjects:	Logic Logic in Computer Science
Online Access:	https://arxiv.org/abs/2507.12320
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

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

Formula size game and model checking for modal substitution calculus
by: Ahvonen, Veeti, et al.
Published: (2025)

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

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

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Interpolation for the two-way modal mu-calculus
by: Kloibhofer, Johannes, et al.
Published: (2025)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
by: Ghosh, Avijeet, et al.
Published: (2025)

Are Large Random Graphs Always Safe to Hide?
by: Chakraborty, Sourav, et al.
Published: (2025)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

Oracle modalities
by: Swan, Andrew W
Published: (2024)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

Variable binding and substitution for (nameless) dummies
by: Hirschowitz, André, et al.
Published: (2022)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
by: Su, Youan
Published: (2025)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
by: Dowek, Gilles, et al.
Published: (2023)

Minimal modal logics, constructive modal logics and their relations
by: Dalmonte, Tiziano
Published: (2023)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

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

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

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

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Guarded Successor: A Novel Temporal Logic
by: Asor, Ohad
Published: (2024)

A note on Stone-Čech compactification in ZFA
by: Przybyłek, Michał R.
Published: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

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

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)