Valentin Goranko

	2012
74		Mai Ajspur, Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure CoRR abs/1201.5346: (2012)
	2011
73		Valentin Goranko, Wojciech Jamroga, Paolo Turrini: Strategic games and truly playable effectivity functions. AAMAS 2011: 727-734
72		Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Expressiveness of the Interval Logics of Allen’s Relations on the Class of All Linear Orders: Complete Classification. IJCAI 2011: 845-850
71		Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME 2011: 131-138
70		Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Interval Temporal Logics: a Journey. Bulletin of the EATCS 105: 73-99 (2011)
69		Dario Della Monica, Valentin Goranko, Guido Sciavicco: Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. Electr. Notes Theor. Comput. Sci. 273: 3-19 (2011)
68		Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego: Preface. Electr. Notes Theor. Comput. Sci. 278: 1-2 (2011)
67		Philippe Balbiani, Valentin Goranko, Guido Sciavicco: Two-sorted Point-Interval Temporal Logics. Electr. Notes Theor. Comput. Sci. 278: 31-45 (2011)
66		Valentin Goranko, Wojciech Jamroga: Foreword. Journal of Applied Non-Classical Logics 21(1): 7-8 (2011)
65		Valentin Goranko, Ruaan Kellerman: Classes and theories of trees associated with a class of linear orders. Logic Journal of the IGPL 19(1): 217-232 (2011)
	2010
64		Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700
63		Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov: Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. Electr. Notes Theor. Comput. Sci. 262: 113-125 (2010)
62		Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Electr. Notes Theor. Comput. Sci. 262: 65-81 (2010)
61		Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. J. Applied Logic 8(4): 319-333 (2010)
60		Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20(1): 133-166 (2010)
59		Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen: Model-checking CTL* over flat Presburger counter systems. Journal of Applied Non-Classical Logics 20(4): 313-344 (2010)
58		Valentin Goranko: Book Reviews. Studia Logica 94(3): 443-445 (2010)
	2009
57		Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers Springer 2009
56		Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. AAMAS (2) 2009: 969-976
55		Valentin Goranko, Dmitry Shkatov: Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. LFCS 2009: 197-213
54		Valentin Goranko, Dmitry Shkatov: Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time. MALLOW 2009
53		Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM 2009: 240-249
52		Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95
51		Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Trans. Comput. Log. 11(1): (2009)
50		Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Logic 161(3): 289-304 (2009)
49		Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time CoRR abs/0902.2104: (2009)
48		Valentin Goranko, Dmitry Shkatov: Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic CoRR abs/0902.2125: (2009)
47		Davide 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)
46		Willem 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
45		Lev D. Beklemishev, Valentin Goranko, Valentin Shehtman: Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010 College Publications 2008
44		Davide 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
43		Valentin Goranko, Dmitry Shkatov: Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. SEFM 2008: 237-246
42		Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedures for logics of strategic ability in multi-agent systems CoRR abs/0803.2306: (2008)
41		Valentin 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)
40		Wilmari Bekker, Valentin Goranko: Symbolic model checking of tense logics on rational Kripke models CoRR abs/0810.5516: (2008)
39		Willem Conradie, Valentin Goranko: Algorithmic correspondence and completeness in modal logic. Journal of Applied Non-Classical Logics 18(2-3): 175-211 (2008)
	2007
38		Wilmari Bekker, Valentin Goranko: Symbolic Model Checking of Tense Logics on Rational Kripke Models. ILC 2007: 2-20
37		Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99
36		Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89
35		Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga: Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24
34		Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov: Logical Theories for Fragments of Elementary Geometry. Handbook of Spatial Logics 2007: 343-428
33		Valentin Goranko: Logic in Computer Science: Modelling and Reasoning About Systems. Journal of Logic, Language and Information 16(1): 117-120 (2007)
32		Valentin 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
31		Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen: Towards a Model-Checker for Counter Systems. ATVA 2006: 493-507
30		Valentin Goranko, Dimiter Vakarelov: Elementary canonical formulae: extending Sahlqvist's theorem. Ann. Pure Appl. Logic 141(1-2): 180-217 (2006)
29		Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA CoRR abs/cs/0602024: (2006)
28		Valentin 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)
27		Willem 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)
26		Willem 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)
25		Valentin Goranko, Govert van Drimmelen: Complete axiomatization and decidability of Alternating-time temporal logic. Theor. Comput. Sci. 353(1-3): 93-117 (2006)
	2004
24		Willem 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)
22		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. Studia Logica 76(1): 135-142 (2004)
	2003
21		Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov: SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162
20		Valentin Goranko, Angelo Montanari, Guido Sciavicco: A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003: 102-116
19		Valentin Goranko, Bruce M. Kapron: The modal logic of the countable random frame. Arch. Math. Log. 42(3): 221-243 (2003)
18		Valentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional Interval Neighborhood Temporal Logics. J. UCS 9(9): 1137-1167 (2003)
17		Valentin 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
15		Patrick Blackburn, Valentin Goranko: Hybrid Ockhamist Temporal Logic. TIME 2001: 183-188
14		Valentin 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

1	Thomas Ågotnes	[35]
2	Mai Ajspur	[74]
3	Margaret Archibald	[57]
4	Philippe Balbiani	[16] [34] [67]
5	Wilmari Bekker	[38] [40]
6	Lev D. Beklemishev	[45]
7	Patrick Blackburn	[15]
8	Vasco Brattka	[57]
9	Davide Bresolin	[36] [37] [44] [47] [50] [52] [53] [60] [62] [64] [71]
10	Mark Brown	[10]
11	Andrea Cantini	[22]
12	Willem Conradie	[24] [26] [27] [29] [39] [46] [61]
13	Stéphane Demri	[31] [59]
14	Hans P. van Ditmarsch	[68]
15	Govert van Drimmelen	[25] [31] [59]
16	David Fernández Duque	[68]
17	Alain Finkel	[31] [59]
18	Ullrich Hustadt	[21]
19	Wojciech Jamroga (Wojtek Jamroga)	[35] [66] [68] [73]
20	Bruce M. Kapron	[19]
21	Ruaan Kellerman	[34] [65]
22	Angelo Kyrilov	[63]
23	Benedikt Löwe	[57]
24	Dario Della Monica	[44] [52] [62] [64] [69] [70] [71] [72]
25	Angelo Montanari	[18] [20] [23] [28] [36] [37] [44] [47] [50] [52] [53] [60] [62] [64] [70] [71] [72]
26	Manuel Ojeda-Aciego	[68]
27	Solomon Passy	[2]
28	Pietro Sala	[28] [36] [47] [60]
29	Renate A. Schmidt	[21]
30	Guido Sciavicco	[18] [20] [23] [28] [37] [44] [50] [52] [53] [62] [64] [67] [69] [70] [71] [72]
31	Valentin Shehtman	[45]
32	Dmitry Shkatov	[41] [42] [43] [48] [49] [51] [54] [55] [56] [63] [74]
33	Paolo Turrini	[73]
34	Dimiter Vakarelov (Dimitar Ivanov Vakarelov)	[7] [11] [13] [14] [21] [24] [26] [27] [29] [30] [34] [46] [61]
35	Alberto Zanardo	[32]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page