Cover Image

Probabilistic Disjunctive Normal Forms in Temporal Logic and Automata Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kuznetsov, Alexander
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Formal Languages and Automata Theory Probability 03B48, 03B44, 90B50, 65G99
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
by: Lin, Deren, et al.
Published: (2022)

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

Openness And Partial Adjacency In One Variable TPTL
by: Krishna, Shankara Narayanan, et al.
Published: (2024)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Finite-Horizon First-Order Rank Profiles of Regular Languages
by: Bazarova, Madina, et al.
Published: (2026)

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

Degree of Kripke-incompleteness of Tense Logics
by: Chen, Qian
Published: (2025)

Pretabular Tense Logics over S4t
by: Chen, Qian
Published: (2024)

Implicit automata in λ-calculi III: affine planar string-to-string functions
by: Pradic, Cécilia, et al.
Published: (2024)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

Multidimensional tilings and MSO logic
by: Pallen, Rémi, et al.
Published: (2025)

Convex Team Logics
by: Anttila, Aleksi, et al.
Published: (2025)

A Logic For Fresh Labelled Transition Systems
by: Bandukara, Mohamed H, et al.
Published: (2025)

Lambek pregroups are Frobenius spiders in preorders
by: Pavlovic, Dusko
Published: (2021)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
by: Coniglio, Marcelo E., et al.
Published: (2025)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

Sparse regular subsets of the reals
by: Bell, Jason, et al.
Published: (2023)

A Dichotomy for $k$-automatic expansions of Presburger Arithmetic
by: Bell, Jason, et al.
Published: (2025)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
by: Nichols, David
Published: (2017)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Modal Semantics for Reasoning with Probability and Uncertainty
by: Guallart, Nino
Published: (2024)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

The Principles of Probability: From Formal Logic to Measure Theory to the Principle of Indifference
by: Swanson, Jason
Published: (2025)

Robust Probabilistic Temporal Logics
by: Zimmermann, Martin
Published: (2023)

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)

ST and TS as Product and Sum
by: Blomet, Quentin, et al.
Published: (2024)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

NL Is Strictly Contained in P
by: Flum, Santiago, et al.
Published: (2023)

Strong completeness of a first-order temporal logic for real time
by: Goldblatt, Robert
Published: (2023)

An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
by: Hirsch, Robin
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)