( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A General Theorem Prover for Quantified Modal Logics.

, , и . TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 266-280. Springer, (2002)

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.

Stefano Cerrito

 

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

A General Theorem Prover for Quantified Modal Logics., , и . TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 266-280. Springer, (2002)Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics., и . TABLEAUX, том 1227 из Lecture Notes in Computer Science, стр. 138-152. Springer, (1997)Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride., , и . BDA, (2003)First Order Linear Temporal Logic over Finite Time Structures., , и . LPAR, том 1705 из Lecture Notes in Computer Science, стр. 62-76. Springer, (1999)Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation., и . IJCAR, том 2083 из Lecture Notes in Computer Science, стр. 137-151. Springer, (2001)An efficient approach to nominal equalities in hybrid logic tableaux., и . J. Appl. Non Class. Logics, 20 (1-2): 39-61 (2010)A Linear Semantics for Allowed Logic Programs. LICS, стр. 219-227. IEEE Computer Society, (1990)Minimisation of Models Satisfying CTL Formulas., , и . TIME, том 147 из LIPIcs, стр. 13:1-13:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities., и . J. Autom. Reason., 51 (2): 197-239 (2013)Nominal Substitution at Work with the Global and Converse Modalities., и . Advances in Modal Logic, стр. 59-76. College Publications, (2010)