Pablo F. Castro

Available identifiers

zbMath Open castro.pablo-fMaRDI QIDQ526729

List of research outcomes

Publication	Date of Publication	Type
How easy it is to know how: an upper bound for the satisfiability problem	2024-05-29	Paper
Algebraic tools for default modal systems	2024-02-08	Paper
Measuring masking fault-tolerance	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5878365	2023-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5057632	2022-12-16	Paper
Playing Against Fair Adversaries in Stochastic Games with Total Rewards	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5018505	2021-12-20	Paper
Default modal systems as algebraic updates	2021-12-01	Paper
A tableaux calculus for default intuitionistic logic	2020-03-10	Paper
Interpolation and Beth definability in default logics	2020-02-18	Paper
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems	2019-07-17	Paper
Reasoning About Prescription and Description Using Prioritized Default Rules	2019-07-04	Paper
Algebraic foundations for specification refinements	2018-09-27	Paper
Simulation relations for fault-tolerance	2018-01-08	Paper
Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity	2017-05-15	Paper
Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics	2017-01-24	Paper
Categorical foundations for structured specifications in \(\mathsf{Z}\)	2016-01-06	Paper
Deontic Logics Based on Boolean Algebra	2015-04-10	Paper
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting	2015-01-13	Paper
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance	2014-07-22	Paper
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications	2014-07-08	Paper
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics	2013-09-13	Paper
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization	2012-11-06	Paper
Encapsulating deontic and branching time specifications	2012-10-11	Paper
Towards a First-Order Deontic Action Logic	2012-06-08	Paper
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification	2011-10-28	Paper
Characterizing Locality (Encapsulation) with Bisimulation	2010-08-31	Paper
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting	2010-08-31	Paper
Deontic action logic, atomic Boolean algebras and fault-tolerance	2010-02-09	Paper
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic	2009-04-24	Paper
A Complete and Compact Propositional Deontic Logic	2008-09-17	Paper
A Tableaux System for Deontic Action Logic	2008-08-28	Paper

Research outcomes over time

This page was built for person: Pablo F. Castro