Valentin Goranko

159 papers A* 1A 11B 17C 9Misc 2Journal 89Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Complete axiomatization and decidability of the logic of two-agent cooperative strategic interaction. Inf. Comput. Valentin Goranko
2026	J	`jnl`	Extensive form games with incentive stage-bidding: An emergence of non-cooperative cooperation. Games Econ. Behav. Stéphane Le Roux, Valentin Goranko
2026	—	`ed.`	Logic, Rationality, and Interaction - 10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi'an, China, October 16-19, 2025, Proceedings LORI Valentin Goranko, Chenwei Shi, Wei Wang
2023	B	`conf`	Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. FSCD Serenella Cerrito, Valentin Goranko, Sophie Paillocher
2023	J	`jnl`	Structural theory of trees I. Branching and condensations of trees. Contributions Discret. Math. Valentin Goranko, Ruaan Kellerman, Alberto Zanardo
2023	J	`jnl`	Structural theory of trees II. Completeness and completions of trees. Contributions Discret. Math. Ruaan Kellerman, Alberto Zanardo, Valentin Goranko
2022	J	`jnl`	A Logic for Conditional Local Strategic Reasoning. J. Log. Lang. Inf. Valentin Goranko, Fengkui Ju
2022	A	`conf`	Combining Quantitative and Qualitative Reasoning in Concurrent Multi-player Games. AAMAS Nils Bulling, Valentin Goranko
2022	J	`jnl`	Combining quantitative and qualitative reasoning in concurrent multi-player games. Auton. Agents Multi Agent Syst. Nils Bulling, Valentin Goranko
2022	J	`jnl`	Knowledge-based strategies for multi-agent teams playing against Nature. Artif. Intell. Dilian Gurov, Valentin Goranko, Edvin Lundberg
2022	J	`jnl`	The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games. ACM Trans. Comput. Log. Sebastian Enqvist, Valentin Goranko
2022	J	`jnl`	Transformations of Multi-Player Normal form Games by Preplay Offers between Players. Axioms Valentin Goranko
2021	J	`jnl`	A Logic for Conditional Local Strategic Reasoning. CoRR Valentin Goranko, Fengkui Ju
2021	C	`conf`	Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. RAMiCS Willem Conradie, Valentin Goranko, Peter Jipsen
2021	J	`jnl`	Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). CoRR Willem Conradie, Valentin Goranko, Peter Jipsen
2021	J	`jnl`	Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees. J. Symb. Log. Ruaan Kellerman, Valentin Goranko
2021	J	`jnl`	Game-theoretic semantics for ATL Inf. Comput. Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2021	—	`conf`	How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning. DEON Valentin Goranko
2021	A	`conf`	Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems. AAMAS Riccardo De Masellis, Valentin Goranko
2020	J	`jnl`	Editorial Foreword. J. Log. Lang. Inf. Natasha Alechina, Valentin Goranko
2020	A	`conf`	Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. ECAI Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2020	J	`jnl`	Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature. CoRR Dilian Gurov, Valentin Goranko, Edvin Lundberg
2020	J	`jnl`	Logic-based specification and verification of homogeneous dynamic multi-agent systems. Auton. Agents Multi Agent Syst. Riccardo De Masellis, Valentin Goranko
2020	J	`jnl`	Model checking and model synthesisfrom partial models: a logic-based perspective. CoRR Valentin Goranko
2020	J	`jnl`	Rational coordination with no communication or conventions. J. Log. Comput. Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2020	B	`conf`	The Modal Logic of Almost Sure Frame Validities in the Finite. AiML Valentin Goranko
2020	J	`jnl`	The temporal logic of coalitional goal assignments in concurrent multi-player games. CoRR Sebastian Enqvist, Valentin Goranko
2019	J	`jnl`	Alternating-time temporal logic ATL with finitely bounded semantics. Theor. Comput. Sci. Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2019	B	`conf`	Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. PRIMA Rodica Condurache, Riccardo De Masellis, Valentin Goranko
2019	J	`jnl`	Hybrid Deduction-Refutation Systems. Axioms Valentin Goranko
2019	J	`jnl`	Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems. CoRR Riccardo De Masellis, Valentin Goranko
2019	C	`conf`	Minimisation of Models Satisfying CTL Formulas. TIME Serenella Cerrito, Amélie David, Valentin Goranko
2019	—	`conf`	Towards a Logic for Conditional Local Strategic Reasoning. LORI Valentin Goranko, Fengkui Ju
2018	B	`conf`	A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. Advances in Modal Logic Fengkui Ju, Gianluca Grilletti, Valentin Goranko
2018	J	`jnl`	Game-Theoretic Semantics for Alternating-Time Temporal Logic. ACM Trans. Comput. Log. Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2018	C	`conf`	Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. EUMAS Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm
2018	J	`jnl`	Logics for Propositional Determinacy and Independence. Rev. Symb. Log. Valentin Goranko, Antti Kuusisto
2018	A	`conf`	Socially Friendly and Group Protecting Coalition Logics. AAMAS Valentin Goranko, Sebastian Enqvist
2017	B	`ed.`	26th EACSL Annual Conference on Computer Science Logic, CSL 2017, Stockholm, Sweden, August 20-24, 2017 CSL Valentin Goranko, Mads Dam
2017	C	`conf`	CTL with Finitely Bounded Semantics. TIME Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	J	`jnl`	Dov Gabbay, Reactive Kripke Semantics. Stud Logica Valentin Goranko
2017	A	`conf`	Game-Theoretic Semantics for ATL+ with Applications to Model Checking. AAMAS Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	J	`jnl`	Game-Theoretic Semantics for ATL+ with Applications to Model Checking. CoRR Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	—	`conf`	Rational Coordination in Games with Enriched Representations. EUMAS/AT Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	—	`conf`	Rational Coordination with no Communication or Conventions. LORI Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	J	`jnl`	Rational coordination with no communication or conventions. CoRR Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2016	J	`jnl`	A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2016	J	`jnl`	Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Auton. Agents Multi Agent Syst. Olivier Gasquet, Valentin Goranko, François Schwarzentruber
2016	A	`conf`	Game-Theoretic Semantics for Alternating-Time Temporal Logic. AAMAS Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2016	J	`jnl`	Game-Theoretic Semantics for Alternating-Time Temporal Logic. CoRR Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2016	—	`book`	Logic as a Tool - A Guide to Formal Logical Reasoning. Valentin Goranko
2016	J	`jnl`	Logics for Propositional Determinacy and Independence. CoRR Valentin Goranko, Antti Kuusisto
2016	C	`conf`	On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. TIME Valentin Goranko, Louwe B. Kuijer
2016	J	`jnl`	Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy. Discret. Appl. Math. David Fernández-Duque, Valentin Goranko
2016	J	`jnl`	State and path coalition effectivity models of concurrent multi-player games. Auton. Agents Multi Agent Syst. Valentin Goranko, Wojciech Jamroga
2016	—	`book`	Temporal Logics in Computer Science: Finite-State Systems Stéphane Demri, Valentin Goranko, Martin Lange
2016	J	`jnl`	Two-Player Preplay Negotiation Games with Conditional Offers. IGTR Valentin Goranko, Paolo Turrini
2015	—	`book`	Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual. Willem Conradie, Valentin Goranko, Claudette Robinson
2015	—	`book`	Logic and Discrete Mathematics - A Concise Introduction. Willem Conradie, Valentin Goranko
2015	—	`ch.`	Logics for Reasoning About Strategic Abilities in Multi-player Games. Models of Strategic Reasoning Nils Bulling, Valentin Goranko, Wojciech Jamroga
2015	J	`jnl`	Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ACM Trans. Comput. Log. Serenella Cerrito, Amélie David, Valentin Goranko
2014	A	`conf`	Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. AAMAS Olivier Gasquet, Valentin Goranko, François Schwarzentruber
2014	B	`conf`	Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. Advances in Modal Logic Valentin Goranko, Steen Vester
2014	J	`jnl`	Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. CoRR Serenella Cerrito, Amélie David, Valentin Goranko
2014	A	`conf`	Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. IJCAR Serenella Cerrito, Amélie David, Valentin Goranko
2014	J	`jnl`	Secure aggregation of distributed information. CoRR David Fernández-Duque, Valentin Goranko
2014	—	`ch.`	Temporal Aspects of the Dynamics of Knowledge. Johan van Benthem on Logic and Information Dynamics Valentin Goranko, Eric Pacuit
2014	J	`jnl`	The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2013	—	`conf`	An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. LORI Valentin Goranko, Paolo Turrini
2013	—	`conf`	How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) SR Nils Bulling, Valentin Goranko
2013	J	`jnl`	Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2013	J	`jnl`	Strategic games and truly playable effectivity functions. Auton. Agents Multi Agent Syst. Valentin Goranko, Wojciech Jamroga, Paolo Turrini
2013	J	`jnl`	Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. Log. J. IGPL Mai Ajspur, Valentin Goranko, Dmitry Shkatov
2013	—	`conf`	Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. ICLA Mai Ajspur, Valentin Goranko
2012	J	`jnl`	Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. Univers. Comput. Sci. Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2012	—	`ed.`	Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes ESSLLI Nick Bezhanishvili, Valentin Goranko
2012	J	`jnl`	Logic for physical space - From antiquity to present days. Synth. Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko
2012	J	`jnl`	Non-cooperative games with preplay negotiations CoRR Valentin Goranko, Paolo Turrini
2012	A	`conf`	State and path coalition effectivity models for logics of multi-player games. AAMAS Valentin Goranko, Wojciech Jamroga
2012	J	`jnl`	Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. CoRR Mai Ajspur, Valentin Goranko, Dmitry Shkatov
2012	J	`jnl`	Transformations of normal form games by preplay offers for payments among players CoRR Valentin Goranko
2012	C	`conf`	Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. TIME Valentin Goranko
2011	J	`jnl`	Classes and theories of trees associated with a class of linear orders. Log. J. IGPL Valentin Goranko, Ruaan Kellerman
2011	A*	`conf`	Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. IJCAI Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011	J	`jnl`	Foreword. J. Appl. Non Class. Logics Valentin Goranko, Wojciech Jamroga
2011	J	`jnl`	Interval Temporal Logics: a Journey. Bull. EATCS Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011	—	`conf`	Preface. M4M/LAMAS Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego
2011	—	`ed.`	Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011 M4M/LAMAS Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego
2011	A	`conf`	Strategic games and truly playable effectivity functions. AAMAS Valentin Goranko, Wojciech Jamroga, Paolo Turrini
2011	C	`conf`	The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011	—	`conf`	Two-sorted Point-Interval Temporal Logics. M4M/LAMAS Philippe Balbiani, Valentin Goranko, Guido Sciavicco
2010	B	`ed.`	Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010 Advances in Modal Logic Lev D. Beklemishev, Valentin Goranko, Valentin B. Shehtman
2010	J	`jnl`	Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. J. Appl. Log. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
2010	J	`jnl`	Book Reviews. Stud Logica Valentin Goranko
2010	—	`conf`	Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. HyLo@LICS Dario Della Monica, Valentin Goranko, Guido Sciavicco
2010	A	`conf`	Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2010	J	`jnl`	Model-checking CTL* over flat Presburger counter systems. J. Appl. Non Class. Logics Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
2010	J	`jnl`	Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
2009	J	`jnl`	Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Fundam. Informaticae Willem Conradie, Valentin Goranko, Dimiter Vakarelov
2009	—	`ed.`	Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers ILC Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe
2009	J	`jnl`	Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Log. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009	B	`conf`	Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009	—	`conf`	Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. M4M Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov
2009	Misc	`conf`	Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. LFCS Valentin Goranko, Dmitry Shkatov
2009	—	`conf`	Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time. MALLOW Valentin Goranko, Dmitry Shkatov
2009	J	`jnl`	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time CoRR Valentin Goranko, Dmitry Shkatov
2009	—	`conf`	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. AAMAS (2) Valentin Goranko, Dmitry Shkatov
2009	J	`jnl`	Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Trans. Comput. Log. Valentin Goranko, Dmitry Shkatov
2009	J	`jnl`	Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic CoRR Valentin Goranko, Dmitry Shkatov
2009	C	`conf`	Undecidability of Interval Temporal Logics with the Overlap Modality. TIME Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009	—	`conf`	Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. M4M Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2008	J	`jnl`	Algorithmic correspondence and completeness in modal logic. J. Appl. Non Class. Logics Willem Conradie, Valentin Goranko
2008	B	`conf`	Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2008	J	`jnl`	Symbolic model checking of tense logics on rational Kripke models CoRR Wilmari Bekker, Valentin Goranko
2008	B	`conf`	Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. SEFM Valentin Goranko, Dmitry Shkatov
2008	J	`jnl`	Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge CoRR Valentin Goranko, Dmitry Shkatov
2008	J	`jnl`	Tableau-based decision procedures for logics of strategic ability in multi-agent systems CoRR Valentin Goranko, Dmitry Shkatov
2007	B	`conf`	Alternating-time temporal logics with irrevocable strategies. TARK Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga
2007	—	`conf`	Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. M4M Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
2007	J	`jnl`	From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability. Log. J. IGPL Valentin Goranko, Alberto Zanardo
2007	—	`ch.`	Logical Theories for Fragments of Elementary Geometry. Handbook of Spatial Logics Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov
2007	—	`ch.`	Model theory of modal logic. Handbook of Modal Logic Valentin Goranko, Martin Otto
2007	Misc	`conf`	On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2007	—	`conf`	Symbolic Model Checking of Tense Logics on Rational Kripke Models. ILC Wilmari Bekker, Valentin Goranko
2007	B	`conf`	Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
2006	J	`jnl`	A general tableau method for propositional interval temporal logics: Theory and implementation. J. Appl. Log. Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco
2006	J	`jnl`	Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. J. Log. Comput. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
2006	J	`jnl`	Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA CoRR Willem Conradie, Valentin Goranko, Dimiter Vakarelov
2006	J	`jnl`	Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Log. Methods Comput. Sci. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
2006	J	`jnl`	Complete axiomatization and decidability of Alternating-time temporal logic. Theor. Comput. Sci. Valentin Goranko, Govert van Drimmelen
2006	J	`jnl`	Elementary canonical formulae: extending Sahlqvist's theorem. Ann. Pure Appl. Log. Valentin Goranko, Dimiter Vakarelov
2006	B	`conf`	Towards a Model-Checker for Counter Systems. ATVA Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
2004	J	`jnl`	A Road Map of Interval Temporal Logics and Duration Calculi. J. Appl. Non Class. Logics Valentin Goranko, Angelo Montanari, Guido Sciavicco
2004	J	`jnl`	Comparing Semantics of Logics for Multi-Agent Systems. Synth. Valentin Goranko, Wojciech Jamroga
2004	B	`conf`	Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. Advances in Modal Logic Willem Conradie, Valentin Goranko, Dimiter Vakarelov
2004	J	`jnl`	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. Stud Logica Andrea Cantini, Valentin Goranko
2003	B	`conf`	A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX Valentin Goranko, Angelo Montanari, Guido Sciavicco
2003	J	`jnl`	Propositional Interval Neighborhood Temporal Logics. J. Univers. Comput. Sci. Valentin Goranko, Angelo Montanari, Guido Sciavicco
2003	—	`conf`	SCAN Is Complete for All Sahlqvist Formulae. RelMiCS Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov
2003	J	`jnl`	The Basic Algebra of Game Equivalences. Stud Logica Valentin Goranko
2003	J	`jnl`	The modal logic of the countable random frame. Arch. Math. Log. Valentin Goranko, Bruce M. Kapron
2002	J	`jnl`	Modal Logics for Parallelism, Orthogonality, and Affine Geometries. J. Appl. Non Class. Logics Philippe Balbiani, Valentin Goranko
2001	C	`conf`	Hybrid Ockhamist Temporal Logic. TIME Patrick Blackburn, Valentin Goranko
2001	J	`jnl`	Sahlqvist Formulas in Hybrid Polyadic Modal Logics. J. Log. Comput. Valentin Goranko, Dimiter Vakarelov
2000	B	`conf`	Sahlqvist Formulas Unleashed in Polyadic Modal Languages. Advances in Modal Logic Valentin Goranko, Dimiter Vakarelov
2000	J	`jnl`	Temporal logics with reference pointers and computation tree logics. J. Appl. Non Class. Logics Valentin Goranko
1999	J	`jnl`	An Extended Branching-Time Ockhamist Temporal Logic. J. Log. Lang. Inf. Mark A. Brown, Valentin Goranko
1999	J	`jnl`	Hyperboolean Algebras and Hyperboolean Modal Logic. J. Appl. Non Class. Logics Valentin Goranko, Dimiter Vakarelov
1999	J	`jnl`	Modal Logic, Alexander Chagrov and Michael Zakharyaschev. J. Log. Lang. Inf. Valentin Goranko
1999	J	`jnl`	Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. J. Log. Lang. Inf. Valentin Goranko
1998	J	`jnl`	Axiomatizations with Context Rules of Inference in Modal Logic. Stud Logica Valentin Goranko
1998	B	`conf`	Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. Advances in Modal Logic Valentin Goranko, Dimiter Vakarelov
1996	J	`jnl`	Hierarchies of Modal and Temporal Logics with Reference Pointers. J. Log. Lang. Inf. Valentin Goranko
1994	J	`jnl`	Refutation systems in modal logic. Stud Logica Valentin Goranko
1994	—	`conf`	Temporal Logic with Reference Pointers. ICTL Valentin Goranko
1993	J	`jnl`	Modal logic with names. J. Philos. Log. George Gargov, Valentin Goranko
1992	J	`jnl`	Using the Universal Modality: Gains and Questions. J. Log. Comput. Valentin Goranko, Solomon Passy
1990	J	`jnl`	Modal Definability in Enriched Languages. Notre Dame J. Formal Log. Valentin Goranko
1985	J	`jnl`	The Craig interpolation theorem for prepositional logics with strong negation. Stud Logica Valentin Goranko