dblp.uni-trier.dewww.uni-trier.de

Valentin Goranko Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
48EEValentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. AAMAS (2) 2009: 969-976
47EEValentin Goranko, Dmitry Shkatov: Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. LFCS 2009: 197-213
46EEValentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time CoRR abs/0902.2104: (2009)
45EEValentin Goranko, Dmitry Shkatov: Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic CoRR abs/0902.2125: (2009)
44EEDavide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Electr. Notes Theor. Comput. Sci. 231: 131-151 (2009)
43EEWillem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Fundam. Inform. 92(4): 307-343 (2009)
2008
42EEDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR 2008: 590-604
41EEValentin Goranko, Dmitry Shkatov: Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. SEFM 2008: 237-246
40EEValentin Goranko, Dmitry Shkatov: Tableau-based decision procedures for logics of strategic ability in multi-agent systems CoRR abs/0803.2306: (2008)
39EEValentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge CoRR abs/0808.4133: (2008)
38EEWilmari Bekker, Valentin Goranko: Symbolic model checking of tense logics on rational Kripke models CoRR abs/0810.5516: (2008)
2007
37EEDavide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99
36EEDavide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89
35EEThomas Ågotnes, Valentin Goranko, Wojciech Jamroga: Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24
34EEPhilippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov: Logical Theories for Fragments of Elementary Geometry. Handbook of Spatial Logics 2007: 343-428
33EEValentin Goranko: Logic in Computer Science: Modelling and Reasoning About Systems. Journal of Logic, Language and Information 16(1): 117-120 (2007)
32EEValentin Goranko, Alberto Zanardo: From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability. Logic Journal of the IGPL 15(1): 53-76 (2007)
2006
31EEStéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen: Towards a Model-Checker for Counter Systems. ATVA 2006: 493-507
30EEValentin Goranko, Dimiter Vakarelov: Elementary canonical formulae: extending Sahlqvist's theorem. Ann. Pure Appl. Logic 141(1-2): 180-217 (2006)
29EEWillem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA CoRR abs/cs/0602024: (2006)
28EEValentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco: A general tableau method for propositional interval temporal logics: Theory and implementation. J. Applied Logic 4(3): 305-330 (2006)
27EEWillem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. J. Log. Comput. 16(5): 579-612 (2006)
26EEWillem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Logical Methods in Computer Science 2(1): (2006)
25EEValentin Goranko, Govert van Drimmelen: Complete axiomatization and decidability of Alternating-time temporal logic. Theor. Comput. Sci. 353(1-3): 93-117 (2006)
2004
24EEWillem Conradie, Valentin Goranko, Dimiter Vakarelov: Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. Advances in Modal Logic 2004: 17-51
23 Valentin Goranko, Angelo Montanari, Guido Sciavicco: A Road Map of Interval Temporal Logics and Duration Calculi. Journal of Applied Non-Classical Logics 14(1-2): 9-54 (2004)
22EEAndrea 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. Studia Logica 76(1): 135-142 (2004)
2003
21EEValentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov: SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162
20EEValentin Goranko, Angelo Montanari, Guido Sciavicco: A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003: 102-116
19EEValentin Goranko, Bruce M. Kapron: The modal logic of the countable random frame. Arch. Math. Log. 42(3): 221-243 (2003)
18EEValentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional Interval Neighborhood Temporal Logics. J. UCS 9(9): 1137-1167 (2003)
17EEValentin Goranko: The Basic Algebra of Game Equivalences. Studia Logica 75(2): 221-238 (2003)
2002
16 Philippe Balbiani, Valentin Goranko: Modal Logics for Parallelism, Orthogonality, and Affine Geometries. Journal of Applied Non-Classical Logics 12(3-4): 365-398 (2002)
2001
15EEPatrick Blackburn, Valentin Goranko: Hybrid Ockhamist Temporal Logic. TIME 2001: 183-188
14EEValentin Goranko, Dimiter Vakarelov: Sahlqvist Formulas in Hybrid Polyadic Modal Logics. J. Log. Comput. 11(5): 737-754 (2001)
2000
13 Valentin Goranko, Dimiter Vakarelov: Sahlqvist Formulas Unleashed in Polyadic Modal Languages. Advances in Modal Logic 2000: 221-240
12 Valentin Goranko: Temporal logics with reference pointers and computation tree logics. Journal of Applied Non-Classical Logics 10(3-4): (2000)
1999
11 Valentin Goranko, Dimiter Vakarelov: Hyperboolean Algebras and Hyperboolean Modal Logic. Journal of Applied Non-Classical Logics 9(2-3): (1999)
10 Mark Brown, Valentin Goranko: An Extended Branching-Time Ockhamist Temporal Logic. Journal of Logic, Language and Information 8(2): 143-166 (1999)
9 Valentin Goranko: Modal Logic, Alexander Chagrov and Michael Zakharyaschev. Journal of Logic, Language and Information 8(2): 255-258 (1999)
8 Valentin Goranko: Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Journal of Logic, Language and Information 8(4): 469-473 (1999)
1998
7 Valentin Goranko, Dimiter Vakarelov: Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. Advances in Modal Logic 1998: 247-274
6 Valentin Goranko: Axiomatizations with Context Rules of Inference in Modal Logic. Studia Logica 61(2): 179-197 (1998)
1996
5 Valentin Goranko: Hierarchies of Modal and Temporal Logics with Reference Pointers. Journal of Logic, Language and Information 5(1): 1-24 (1996)
1994
4 Valentin Goranko: Temporal Logic with Reference Pointers. ICTL 1994: 133-148
3 Valentin Goranko: Refutation systems in modal logic. Studia Logica 53(2): 299-324 (1994)
1992
2 Valentin Goranko, Solomon Passy: Using the Universal Modality: Gains and Questions. J. Log. Comput. 2(1): 5-30 (1992)
1990
1 Valentin Goranko: Modal Definability in Enriched Languages. Notre Dame Journal of Formal Logic 31(1): 81-105 (1990)

Coauthor Index

1Thomas Ågotnes [35]
2Philippe Balbiani [16] [34]
3Wilmari Bekker [38]
4Patrick Blackburn [15]
5Davide Bresolin [36] [37] [42] [44]
6Mark Brown [10]
7Andrea Cantini [22]
8Willem Conradie [24] [26] [27] [29] [43]
9Stéphane Demri [31]
10Govert van Drimmelen [25] [31]
11Alain Finkel [31]
12Ullrich Hustadt [21]
13Wojciech Jamroga [35]
14Bruce M. Kapron [19]
15Ruaan Kellerman [34]
16Dario Della Monica [42]
17Angelo Montanari [18] [20] [23] [28] [36] [37] [42] [44]
18Solomon Passy [2]
19Pietro Sala [28] [36] [44]
20Renate A. Schmidt [21]
21Guido Sciavicco [18] [20] [23] [28] [37] [42]
22Dmitry Shkatov [39] [40] [41] [45] [46] [47] [48]
23Dimiter Vakarelov [7] [11] [13] [14] [21] [24] [26] [27] [29] [30] [34] [43]
24Alberto Zanardo [32]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)