The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Valentin Goranko: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov
    SCAN Is Complete for All Sahlqvist Formulae. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:149-162 [Conf]
  2. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
    Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:17-51 [Conf]
  3. Valentin Goranko, Dimiter Vakarelov
    Sahlqvist Formulas Unleashed in Polyadic Modal Languages. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2000, pp:221-240 [Conf]
  4. Valentin Goranko, Dimiter Vakarelov
    Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:247-274 [Conf]
  5. Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
    Towards a Model-Checker for Counter Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:493-507 [Conf]
  6. Valentin Goranko
    Temporal Logic with Reference Pointers. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:133-148 [Conf]
  7. Valentin Goranko, Angelo Montanari, Guido Sciavicco
    A General Tableau Method for Propositional Interval Temporal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:102-116 [Conf]
  8. Patrick Blackburn, Valentin Goranko
    Hybrid Ockhamist Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:183-188 [Conf]
  9. Valentin Goranko, Bruce M. Kapron
    The modal logic of the countable random frame. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:3, pp:221-243 [Journal]
  10. Valentin Goranko, Dimiter Vakarelov
    Elementary canonical formulae: extending Sahlqvist's theorem. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:180-217 [Journal]
  11. Valentin Goranko
    Temporal logics with reference pointers and computation tree logics. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  12. Philippe Balbiani, Valentin Goranko
    Modal Logics for Parallelism, Orthogonality, and Affine Geometries. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2002, v:12, n:3-4, pp:365-398 [Journal]
  13. Valentin Goranko, Angelo Montanari, Guido Sciavicco
    A Road Map of Interval Temporal Logics and Duration Calculi. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:9-54 [Journal]
  14. Valentin Goranko, Dimiter Vakarelov
    Hyperboolean Algebras and Hyperboolean Modal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1999, v:9, n:2-3, pp:- [Journal]
  15. Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco
    A general tableau method for propositional interval temporal logics: Theory and implementation. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:3, pp:305-330 [Journal]
  16. Valentin Goranko
    Hierarchies of Modal and Temporal Logics with Reference Pointers. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1996, v:5, n:1, pp:1-24 [Journal]
  17. Valentin Goranko
    Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:4, pp:469-473 [Journal]
  18. Valentin Goranko
    Modal Logic, Alexander Chagrov and Michael Zakharyaschev. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:2, pp:255-258 [Journal]
  19. Mark Brown, Valentin Goranko
    An Extended Branching-Time Ockhamist Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:2, pp:143-166 [Journal]
  20. Valentin Goranko
    Logic in Computer Science: Modelling and Reasoning About Systems. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2007, v:16, n:1, pp:117-120 [Journal]
  21. Valentin Goranko, Angelo Montanari, Guido Sciavicco
    Propositional Interval Neighborhood Temporal Logics. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:9, pp:1137-1167 [Journal]
  22. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
    Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
  23. Valentin Goranko, Solomon Passy
    Using the Universal Modality: Gains and Questions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:1, pp:5-30 [Journal]
  24. Valentin Goranko, Dimiter Vakarelov
    Sahlqvist Formulas in Hybrid Polyadic Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:5, pp:737-754 [Journal]
  25. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
    Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:5, pp:579-612 [Journal]
  26. Valentin Goranko
    Modal Definability in Enriched Languages. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1990, v:31, n:1, pp:81-105 [Journal]
  27. Andrea Cantini, Valentin Goranko
    Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution"; Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic", Cambridge Tracts in Theoretical Computer Science Volume 53. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2004, v:76, n:1, pp:135-142 [Journal]
  28. Valentin Goranko
    The Basic Algebra of Game Equivalences. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:2, pp:221-238 [Journal]
  29. Valentin Goranko
    Refutation systems in modal logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:299-324 [Journal]
  30. Valentin Goranko
    Axiomatizations with Context Rules of Inference in Modal Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:61, n:2, pp:179-197 [Journal]
  31. Valentin Goranko, Govert van Drimmelen
    Complete axiomatization and decidability of Alternating-time temporal logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:93-117 [Journal]
  32. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
    On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:84-99 [Conf]
  33. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
    Tableau Systems for Logics of Subinterval Structures over Dense Orderings. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:73-89 [Conf]
  34. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
    Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  35. Valentin Goranko, Alberto Zanardo
    From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2007, v:15, n:1, pp:53-76 [Journal]

  36. Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. [Citation Graph (, )][DBLP]


  37. Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. [Citation Graph (, )][DBLP]


  38. Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. [Citation Graph (, )][DBLP]


  39. Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. [Citation Graph (, )][DBLP]


  40. Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. [Citation Graph (, )][DBLP]


  41. Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. [Citation Graph (, )][DBLP]


  42. Alternating-time temporal logics with irrevocable strategies. [Citation Graph (, )][DBLP]


  43. Undecidability of Interval Temporal Logics with the Overlap Modality. [Citation Graph (, )][DBLP]


  44. Symbolic Model Checking of Tense Logics on Rational Kripke Models. [Citation Graph (, )][DBLP]


  45. Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time. [Citation Graph (, )][DBLP]


  46. Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. [Citation Graph (, )][DBLP]


  47. Tableau-based decision procedures for logics of strategic ability in multi-agent systems [Citation Graph (, )][DBLP]


  48. Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge [Citation Graph (, )][DBLP]


  49. Symbolic model checking of tense logics on rational Kripke models [Citation Graph (, )][DBLP]


  50. Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time [Citation Graph (, )][DBLP]


  51. Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic [Citation Graph (, )][DBLP]


  52. Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. [Citation Graph (, )][DBLP]


  53. Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. [Citation Graph (, )][DBLP]


  54. Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002