Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Venema, Yde
109  Ergebnisse:
Personensuche X
?
1

PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS:

AFSHARI, BAHAREH ; ENQVIST, SEBASTIAN ; LEIGH, GRAHAM E...
The Journal of Symbolic Logic.  , 2023
Link: https://doi.org/10.1017/..
 
?
2

Focus-Style Proofs for the Two-Way Alternation-Free $$\mu $..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Rooduijn, Jan ; Venema, Yde - p. 318-335 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Proof Systems for the Modal $$\mu $$-Calculus Obtained by D..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Dekker, Maurice ; Kloibhofer, Johannes ; Marti, Johannes. - p. 242-259 , 2023
Link: https://doi.org/10.1007/..
 
?
4

COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY D..:

BELLAS ACOSTA, IGNACIO ; VENEMA, YDE
The Review of Symbolic Logic.  17 (2022)  1 - p. 1-35 , 2022
Link: https://doi.org/10.1017/..
 
?
5

Coalgebraic Geometric Logic: Basic Theory:

Bezhanishvili, Nick ; de Groot, Jim ; Venema, Yde
Logical Methods in Computer Science.  18, Issue 4 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
6

Size measures and alphabetic equivalence in the μ-calculus:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
Kupke, Clemens ; Marti, Johannes ; Venema, Yde - p. 1-13 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

A Focus System for the Alternation-Free $$\mu $$-Calculus:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Marti, Johannes ; Venema, Yde - p. 371-388 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Model theory of monadic predicate logic with the infinity q..:

Carreiro, Facundo ; Facchini, Alessandro ; Venema, Yde.
Archive for Mathematical Logic.  61 (2021)  3-4 - p. 465-502 , 2021
Link: https://doi.org/10.1007/..
 
?
9

The Power of the Weak:

Carreiro, Facundo ; Facchini, Alessandro ; Venema, Yde.
ACM Transactions on Computational Logic.  21 (2020)  2 - p. 1-47 , 2020
Link: https://doi.org/10.1145/..
 
?
10

The Power of the Weak:

Carreiro, Facundo ; Facchini, Alessandro ; Venema, Yde.
ACM Transactions on Computational Logic (TOCL).  21 (2020)  2 - p. 1-47 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Closure Ordinals of the Two-Way Modal $$\mu $$-Calculus:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Milanese, Gian Carlo ; Venema, Yde - p. 498-515 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Completeness for game logic:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,
Enqvist, Sebastian ; Hansen, Helle Hvid ; Kupke, Clemens.. - p. 1-13 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Completeness for μ-calculi: A coalgebraic approach:

Enqvist, Sebastian ; Seifan, Fatemeh ; Venema, Yde
Annals of Pure and Applied Logic.  170 (2019)  5 - p. 578-641 , 2019
Link: https://doi.org/10.1016/..
 
?
14

Parity games and automata for game logic:

, In: Dynamic Logic. New Trends and Applications / edited by Alexandre Madeira, Mário Benevides
Hansen, Helle Hvid ; Kupke, Clemens ; Marti, Joahnnes.. (2018)  - p. 115-132
Link: https://doi.org/10.1007/..
 
?
15

Completeness of Flat Coalgebraic Fixpoint Logics:

Schröder, Lutz ; Venema, Yde
ACM Transactions on Computational Logic.  19 (2018)  1 - p. 1-34 , 2018
Link: https://doi.org/10.1145/..
 
1-15