Author of the publication

The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic.

. Artif. Intell., 75 (2): 361-372 (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Minimum-energy mobile wireless networks revisited., and . ICC, page 278-283. IEEE, (2001)Forming Beliefs about a Changing World., , , and . AAAI, page 222-229. AAAI Press / The MIT Press, (1994)Using Counterfactuals in Knowledge-Based Programming., and . TARK, page 97-110. Morgan Kaufmann, (1998)Belief Revision with Unreliable Observations., , and . AAAI/IAAI, page 127-134. AAAI Press / The MIT Press, (1998)On the Complexity of Conditional Logics., and . KR, page 202-213. Morgan Kaufmann, (1994)Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract), and . FOCS, page 148-153. IEEE Computer Society, (1989)Language-based Games.. ICAART (1), page IS-7. SciTePress, (2015)A Logic to Reason about Likelihood., and . Artif. Intell., 32 (3): 379-405 (1987)An Analysis of First-Order Logics of Probability.. Artif. Intell., 46 (3): 311-350 (1990)The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic.. Artif. Intell., 75 (2): 361-372 (1995)