Counterfactual Causality for Reachability and Safety based on Distance Functions

Counterfactual Causality for Reachability and ...

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

Handling of Past and Future with Phenesthe+

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

A Uniform One-Dimensional Fragment with Altern...

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

Semiframes: algebras of heterogeneous consensus

Logic in Computer Science
Avatar
Murdoch Gabbay
33 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
43 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
44 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
36 views
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities

Modal Logic Characterizations of Forward, Reve...

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

Programming the Minimal Model Program: a proposal

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

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

Logic in Computer Science
Avatar
Max Bannach
34 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
32 views