39 citations · 127 across the 31 of their papers we have counts for
9 papers · 1 filter
Logic Column 18: Alternative Logics: A Book Review
Riccardo Pucella
This article discusses two books on the topic of alternative logics in science: "Deviant Logic", by Susan Haack, and "Alternative Logics: Do Sciences Need Them?", edited by Paul We…
Dealing With Logical Omniscience: Expressiveness and Pragmatics
Joseph Y. Halpern, Riccardo Pucella
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and impossi…
A Formal Foundation for ODRL
Riccardo Pucella, Vicky Weissman
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed legitimately. The language is described in English and, as a result, agreement…
Logic Column 12: Logical Verification and Equational Verification
Riccardo Pucella
This article examines two approaches to verification, one based on using a logic for expressing properties of a system, and one based on showing the system equivalent to a simpler…
Logic Column 11: The Finite and the Infinite in Temporal Logic
Riccardo Pucella
This article examines the interpretation of the LTL temporal operators over finite and infinite sequences. This is used as the basis for deriving a sound and complete axiomatizatio…
On Partially Additive Kleene Algebras
Riccardo Pucella
We define the notion of a partially additive Kleene algebra, which is a Kleene algebra where the + operation need only be partially defined. These structures formalize a number of…