( en | de | ru )

 

Disambiguierung von "Castro, Pablo F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity.

. Stud Logica, 105 (2): 229-251 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

William Castro

Susana Castro

Carlos Castro

Daniel Castro

Alfonso Castro

 

Weitere Publikationen von Autoren mit dem selben Namen

Playing Against Fair Adversaries in Stochastic Games with Total Rewards., , , und . CoRR, (2021)A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification., , , und . CoRR, (2022)How Easy it is to Know How: An Upper Bound for the Satisfiability Problem., , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 405-419. Springer, (2023)Deontic Action Logics via Algebra., , , und . DEON, Seite 77-93. College Publications, (2021)Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems., , , und . Fundam. Informaticae, 166 (4): 297-347 (2019)Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics., , und . STACS, Volume 30 von LIPIcs, Seite 211-223. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Deontic action logic, atomic boolean algebras and fault-tolerance., und . J. Appl. Log., 7 (4): 441-466 (2009)Playing Against Fair Adversaries in Stochastic Games with Total Rewards., , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 48-69. Springer, (2022)A Complete and Compact Propositional Deontic Logic., und . ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 109-123. Springer, (2007)Characterizing Locality (Encapsulation) with Bisimulation., und . ICTAC, Volume 6255 von Lecture Notes in Computer Science, Seite 322-336. Springer, (2010)