Pablo F. Castro

Available identifiers

zbMath Open castro.pablo-fMaRDI QIDQ526729

List of research outcomes

Publication	Date of Publication	Type
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
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting	2010-08-31	Paper
Characterizing Locality (Encapsulation) with Bisimulation	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pablo F. Castro