Containment for Binary Guarded Monotone SNP

Containment for Binary Guarded Monotone SNP

Logic in Computer Science
Avatar
Alexey Barsukov
564 views
Counterfactual Causality for Reachability and Safety based on Distance Functions

Counterfactual Causality for Reachability and ...

Logic in Computer Science
Avatar
Julie Parreaux
405 views
Handling of Past and Future with Phenesthe+

Handling of Past and Future with Phenesthe+

Logic in Computer Science
Avatar
Manolis Pitsikalis
394 views
A Uniform One-Dimensional Fragment with Alternation of Quantifiers

A Uniform One-Dimensional Fragment with Altern...

Logic in Computer Science
Avatar
Emanuel Kieronski
364 views
Semiframes: algebras of heterogeneous consensus

Semiframes: algebras of heterogeneous consensus

Logic in Computer Science
Avatar
Murdoch Gabbay
392 views
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

CGAAL: Distributed On-The-Fly ATL Model Checke...

Logic in Computer Science
Avatar
Falke Ø. Carlsen
483 views
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract)

On the Descriptive Complexity of Groups withou...

Logic in Computer Science
Avatar
Joshua Grochow
451 views
(Un)Decidability Bounds of the Synthesis Problem for Petri Games

(Un)Decidability Bounds of the Synthesis Probl...

Logic in Computer Science
Avatar
Paul Hannibal
374 views
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities

Modal Logic Characterizations of Forward, Reve...

Logic in Computer Science
Avatar
Marco Bernardo
352 views
Programming the Minimal Model Program: a proposal

Programming the Minimal Model Program: a proposal

Logic in Computer Science
Avatar
Vladimir Lazic
350 views
Existential Second-Order Logic Over Graphs: Parameterized Complexity

Existential Second-Order Logic Over Graphs: Pa...

Logic in Computer Science
Avatar
Max Bannach
359 views
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem

How Easy it is to Know How: An Upper Bound for...

Logic in Computer Science
Avatar
Carlos Areces
330 views