Image de couverture de livre

Dependence Logics in Temporal Settings

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Baltag, Alexandru, van Benthem, Johan, Li, Dazhu
Format:	Preprint
Publié:	2022
Sujets:	Logic in Computer Science Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Knowability as continuity: a topological account of informational dependence
par: Baltag, Alexandru, et autres
Publié: (2024)

Definability and Interpolation in Philosophy
par: van Benthem, Johan
Publié: (2026)

Group Knowledge of Hypothetical Values
par: Baltag, Alexandru, et autres
Publié: (2025)

Interleaving Logic and Counting
par: van Benthem, Johan, et autres
Publié: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
par: Li, Dazhu, et autres
Publié: (2025)

A modal approach towards substitutions
par: Tu, Yaxin, et autres
Publié: (2025)

When do modal definability and preservation theorems transfer to the finite?
par: van Benthem, Johan, et autres
Publié: (2026)

Guarded Successor: A Novel Temporal Logic
par: Asor, Ohad
Publié: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
par: Alexandru, Baltag, et autres
Publié: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
par: Ikeda, Mitsumasa, et autres
Publié: (2023)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Logic of Sets with Atoms
par: Masters, Jake
Publié: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

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

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Logic meets Wigner's Friend (and their Friends)
par: Baltag, Alexandru, et autres
Publié: (2023)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

Semantics for Linear-time Temporal Logic with Finite Observations
par: Amjad, Rayhana, et autres
Publié: (2024)

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
par: Diéguez, Martín, et autres
Publié: (2026)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
par: Gu, Tao, et autres
Publié: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
par: Pshenitsyn, Tikhon
Publié: (2023)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)