Results 131 to 140 of about 1,524,096 (164)

Infinitary Action Logic with Multiplexing

Studia Logica, 2022
Stanislav Speranski, Stepán Kuznetsov
exaly   +2 more sources

Investigations on Higher-Order Infinitary Logic [PDF]

International Conference on Formal Structures for Computation and Deduction
Higher-order logic and infinitary logic are two extensions of first-order logic that allow greater expressivity. Both features have not been investigated together yet.
Thomas Traversié, Olivier Hermant, M. Aiguier   +2 more
semanticscholar   +2 more sources

Complexity of Commutative Infinitary Action Logic

Lecture Notes in Computer Science, 2020
Stepán Kuznetsov
exaly   +2 more sources

Affine systems of equations and counting infinitary logic [PDF]

Theoretical Computer Science, 2009
We study the definability of constraint satisfaction problems (CSPs) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over a finite Abelian group, a tractable CSP that was previously known not to ...
Albert Atserias, Andrei Bulatov, Anuj Dawar   +2 more
exaly   +2 more sources

Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic

Journal of Logic and Computation, 2021
Neighbourhood semantics for intuitionistic logic extended with countable conjunctions and disjunctions is introduced and shown equivalent to topological semantics, with an indirect completeness proof as payoff.
Matteo Tesi, Sara Negri
semanticscholar   +1 more source

On structural proof theory of the modal logic K+ extended with infinitary derivations

Logic Journal of the IGPL, 2023
We consider an extension of the modal logic of transitive closure $\textsf{K}^{+}$ with certain infinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs.
Daniyar S. Shamkanov
semanticscholar   +1 more source

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing

Logic Journal of the IGPL, 2023
In 2023, Kuznetsov and Speranski introduced infinitary action logic with multiplexing $!^{m}\nabla \textrm{ACT}_{\omega }$ and proved that the derivability problem for it lies between the $\omega $ level and the $\omega ^{\omega }$ level of the ...
Tikhon Pshenitsyn
semanticscholar   +1 more source

First-Order logic and its Infinitary Quantifier Extensions over Countable Words

International Symposium on Fundamentals of Computation Theory, 2021
We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic characterizations of one variable fragment of FO as well as boolean closure ...
B. Adsul, Saptarshi Sarkar, A. Sreejith
semanticscholar   +1 more source

Infinitary calculus for first-order logic of probability with distribution on the domain

Journal of Logic and Computation
We study the axiomatizability of the one-sorted variant of first-order logic of probability with distribution on the domain, $\mathscr{L}$, which was proposed by Abadi and Halpern (1994, Inf. Comput., 112, 1–36).
A. V. Grefenshtein
semanticscholar   +1 more source