UB Paderborn / Katalog / Suche / in CDI

Automata and fixed point logic: A coalgebraic perspective

Information and computation, 2006-04, Vol.204 (4), p.637-678

Venema, Yde

2006

Volltextzugriff (PDF)

Model theory of monadic predicate logic with the infinity quantifier

Archive for mathematical logic, 2022-05, Vol.61 (3-4), p.465-502

2022

Volltextzugriff (PDF)

Coalgebraic Geometric Logic: Basic Theory

Logical methods in computer science, 2022-01, Vol.18, Issue 4

2022

Volltextzugriff (PDF)

Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties

Logical methods in computer science, 2018-02, Vol.14, Issue 1

2018

Volltextzugriff (PDF)

DISJUNCTIVE BASES: NORMAL FORMS AND MODEL THEORY FOR MODAL LOGICS

Logical methods in computer science, 2019-01, Vol.15 (1)

2019

Volltextzugriff (PDF)

Multi-Dimensional Modal Logic

1, 1996

Volltextzugriff (PDF)

An expressive completeness theorem for coalgebraic modal mu-calculi

Logical methods in computer science, 2017-01, Vol.13 (2)

2017

Volltextzugriff (PDF)

Lax extensions of coalgebra functors and their logic

Journal of computer and system sciences, 2015-08, Vol.81 (5), p.880-900

2015

Volltextzugriff (PDF)

Completeness for the coalgebraic cover modality

Logical methods in computer science, 2012-07, Vol.8, Issue 3

2012

Volltextzugriff (PDF)

A Sahlqvist theorem for distributive modal logic

Annals of pure and applied logic, 2005, Vol.131 (1), p.65-102

2005

Volltextzugriff (PDF)

MacNeille completions and canonical extensions

Transactions of the American Mathematical Society, 2006-02, Vol.358 (2), p.573-590

2006

Volltextzugriff (PDF)

Filtration and canonical completeness for continuous modal mu-calculi

Electronic proceedings in theoretical computer science, 2021, Vol.346, p.211-226

2021

Volltextzugriff (PDF)

MacNeille completions of lattice expansions

Algebra universalis, 2007-10, Vol.57 (2), p.143-193

2007

Volltextzugriff (PDF)

Completeness for the modal μ-calculus: Separating the combinatorics from the dynamics

Theoretical computer science, 2018-05, Vol.727, p.37-100

2018

Volltextzugriff (PDF)

Canonical varieties with no canonical axiomatisation

Transactions of the American Mathematical Society, 2005-11, Vol.357 (11), p.4579-4605

2005

Volltextzugriff (PDF)

Coalgebraic Geometric Logic: Basic Theory

Logical methods in computer science, 2022-12, Vol.18, Issue 4

2022

Volltextzugriff (PDF)

Completeness for μ-calculi: A coalgebraic approach

Annals of pure and applied logic, 2019-05, Vol.170 (5), p.578-641

2019

Volltextzugriff (PDF)

On the size of disjunctive formulas in the μ-calculus

Electronic proceedings in theoretical computer science, 2021, Vol.346, p.291-307

2021

Volltextzugriff (PDF)

Completeness of Flat Coalgebraic Fixpoint Logics

ACM transactions on computational logic, 2018-02, Vol.19 (1), p.1-34

2018

Volltextzugriff (PDF)

The Power of the Weak

ACM transactions on computational logic, 2020-04, Vol.21 (2), p.1-47

2020

Volltextzugriff (PDF)

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality

Applied categorical structures, 2017-06, Vol.25 (3), p.381-401

2017

Volltextzugriff (PDF)

PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS

The Journal of symbolic logic, 2023, p.1-50

2023

Volltextzugriff (PDF)

COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND

The review of symbolic logic, 2024-03, Vol.17 (1), p.1-35

2024

Volltextzugriff (PDF)

Completeness for flat modal fixpoint logics

Annals of pure and applied logic, 2010-10, Vol.162 (1), p.55-82

2010

Volltextzugriff (PDF)

Proof systems for Moss' coalgebraic logic

Theoretical computer science, 2014-09, Vol.549, p.36-60

2014

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Automata and fixed point logic: A coalgebraic perspective

Model theory of monadic predicate logic with the infinity quantifier

Coalgebraic Geometric Logic: Basic Theory

Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties

DISJUNCTIVE BASES: NORMAL FORMS AND MODEL THEORY FOR MODAL LOGICS

Multi-Dimensional Modal Logic

An expressive completeness theorem for coalgebraic modal mu-calculi

Lax extensions of coalgebra functors and their logic

Completeness for the coalgebraic cover modality

A Sahlqvist theorem for distributive modal logic

MacNeille completions and canonical extensions

Filtration and canonical completeness for continuous modal mu-calculi

MacNeille completions of lattice expansions

Completeness for the modal μ-calculus: Separating the combinatorics from the dynamics

Canonical varieties with no canonical axiomatisation

Coalgebraic Geometric Logic: Basic Theory

Completeness for μ-calculi: A coalgebraic approach

On the size of disjunctive formulas in the μ-calculus

Completeness of Flat Coalgebraic Fixpoint Logics

The Power of the Weak

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality

PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS

COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND

Completeness for flat modal fixpoint logics

Proof systems for Moss' coalgebraic logic

Suchergebnisse filtern