TDG Scholar TDGScholar Committed to research! Version 1.7


| Report | Share
More than 125 records were found in 0.234 seconds
Semantic Analysis of Chisholm's Paradox
BNAIC, 28-34, 2005
Relativized Action Complement for Dynamic Logics
Advances in Modal Logic, 51-70, 2002
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundam. Inform., 49(4):107-128, 2002
The mutual exclusion problem in reasoning about action and change
NMR, 365-371, 2002
A Logic for the Specification of Multi-Object Systems (Short Paper)
FMOODS, 1999