output
20102025
most citedOn the Use of Lee's Protocol for Speckle-Reducing Techniques

26 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

6 papers · 1 filter

cs.LO2025

Sequent Calculi for Data-Aware Modal Logics

Carlos Areces, Valentin Cassano, Danae Dutto +1

Data-aware modal logics offer a powerful formalism for reasoning about semi-structured queries in languages such as DataGL, XPath, and GQL. In brief, these logics can be viewed as…

cs.LO2023★ 1 cited

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem

Carlos Areces, Valentin Cassano, Raul Fervari +2

We investigate the complexity of the satisfiability problem for a modal logic expressing `knowing how' assertions, related to an agent's abilities to achieve a certain goal. We tak…

cs.LO2023★ 1 cited

Quantifying Masking Fault-Tolerance via Fair Stochastic Games

Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi +1

We introduce a formal notion of masking fault-tolerance between probabilistic transition systems using stochastic games. These games are inspired in bisimulation games, but they al…

cs.LO2019

An Algebraic Approach for Action Based Default Reasoning

Pablo F. Castro, Valentin Cassano, Raul Fervari +1

Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted…

cs.LO2018★ 1 cited

Measuring Masking Fault-Tolerance

Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi +1

In this paper we introduce a notion of fault-tolerance distance between labeled transition systems. Intuitively, this notion of distance measures the degree of fault-tolerance exhi…

cs.LO2014

Automated Reasoning over Deontic Action Logics with Finite Vocabularies

Pablo F. Castro, Thomas S. E. Maibaum

In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of ac…