( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic.

. AAAI, стр. 454-459. AAAI Press, (2008)

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.

Teodoro Halpern

Lipa Halpern

Jan-Josef Halpern

Y Winter

Y LeConte

 

Другие публикации лиц с тем же именем

Using Counterfactuals in Knowledge-Based Programming., и . TARK, стр. 97-110. Morgan Kaufmann, (1998)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)A Logic to Reason about Likelihood., и . Artif. Intell., 32 (3): 379-405 (1987)The hierarchical approach to modeling knowledge and common knowledge., , , и . Int. J. Game Theory, 28 (3): 331-365 (1999)On the Complexity of Conditional Logics, и . In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR '94), стр. 202--213. Morgan Kaufmann, (1994)Language-based Games.. ICAART (1), стр. IS-7. SciTePress, (2015)Asymptotic Conditional Probabilities: The Non-Unary Case., , и . J. Symb. Log., 61 (1): 250-276 (1996)A Propositional Model Logic of Time Intervals, и . LICS, стр. 279-292. IEEE Computer Society, (1986)True Relative Completeness of an Axiom System for the Language L4 (Abridged), , и . LICS, стр. 11-25. IEEE Computer Society, (1986)Reasoning about Uncertainty. MIT Press, Cambridge, MA, (2003)