The Craig interpolation theorem for prepositional logics with strong negation. - Valentin Goranko (Stud Logica, 1985)

Modal Definability in Enriched Languages. - Valentin Goranko (Notre Dame J. Formal Log., 1990)

Using the Universal Modality: Gains and Questions. - Valentin Goranko; Solomon Passy (J. Log. Comput., 1992)

Modal logic with names. - George Gargov; Valentin Goranko (J. Philos. Log., 1993)

Temporal Logic with Reference Pointers. - Valentin Goranko (ICTL, 1994)

Refutation systems in modal logic. - Valentin Goranko (Stud Logica, 1994)

Hierarchies of Modal and Temporal Logics with Reference Pointers. - Valentin Goranko (J. Log. Lang. Inf., 1996)

Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. - Valentin Goranko; Dimiter Vakarelov (Advances in Modal Logic, 1998)

Axiomatizations with Context Rules of Inference in Modal Logic. - Valentin Goranko (Stud Logica, 1998)

Hyperboolean Algebras and Hyperboolean Modal Logic. - Valentin Goranko; Dimiter Vakarelov (J. Appl. Non Class. Logics, 1999)

An Extended Branching-Time Ockhamist Temporal Logic. - Mark A. Brown; Valentin Goranko (J. Log. Lang. Inf., 1999)

Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. - Valentin Goranko (J. Log. Lang. Inf., 1999)

Modal Logic, Alexander Chagrov and Michael Zakharyaschev. - Valentin Goranko (J. Log. Lang. Inf., 1999)

Sahlqvist Formulas Unleashed in Polyadic Modal Languages. - Valentin Goranko; Dimiter Vakarelov (Advances in Modal Logic, 2000)

Temporal logics with reference pointers and computation tree logics. - Valentin Goranko (J. Appl. Non Class. Logics, 2000)

Hybrid Ockhamist Temporal Logic. - Patrick Blackburn; Valentin Goranko (TIME, 2001)

Sahlqvist Formulas in Hybrid Polyadic Modal Logics. - Valentin Goranko; Dimiter Vakarelov (J. Log. Comput., 2001)

Modal Logics for Parallelism, Orthogonality, and Affine Geometries. - Philippe Balbiani; Valentin Goranko (J. Appl. Non Class. Logics, 2002)

SCAN Is Complete for All Sahlqvist Formulae. - Valentin Goranko; Ullrich Hustadt; Renate A. Schmidt; Dimiter Vakarelov (RelMiCS, 2003)

A General Tableau Method for Propositional Interval Temporal Logics. - Valentin Goranko; Angelo Montanari; Guido Sciavicco (TABLEAUX, 2003)

The modal logic of the countable random frame. - Valentin Goranko; Bruce M. Kapron (Arch. Math. Log., 2003)

Propositional Interval Neighborhood Temporal Logics. - Valentin Goranko; Angelo Montanari; Guido Sciavicco (J. Univers. Comput. Sci., 2003)

The Basic Algebra of Game Equivalences. - Valentin Goranko (Stud Logica, 2003)

Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (Advances in Modal Logic, 2004)

A Road Map of Interval Temporal Logics and Duration Calculi. - Valentin Goranko; Angelo Montanari; Guido Sciavicco (J. Appl. Non Class. Logics, 2004)

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. - Andrea Cantini; Valentin Goranko (Stud Logica, 2004)

Comparing Semantics of Logics for Multi-Agent Systems. - Valentin Goranko; Wojciech Jamroga (Synth., 2004)

Towards a Model-Checker for Counter Systems. - Stéphane Demri; Alain Finkel; Valentin Goranko; Govert van Drimmelen (ATVA, 2006)

Elementary canonical formulae: extending Sahlqvist's theorem. - Valentin Goranko; Dimiter Vakarelov (Ann. Pure Appl. Log., 2006)

A general tableau method for propositional interval temporal logics: Theory and implementation. - Valentin Goranko; Angelo Montanari; Pietro Sala; Guido Sciavicco (J. Appl. Log., 2006)

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (Log. Methods Comput. Sci., 2006)

Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (J. Log. Comput., 2006)

Complete axiomatization and decidability of Alternating-time temporal logic. - Valentin Goranko; Govert van Drimmelen (Theor. Comput. Sci., 2006)

Model theory of modal logic. - Valentin Goranko; Martin Otto 001 (Handbook of Modal Logic, 2007)

Symbolic Model Checking of Tense Logics on Rational Kripke Models. - Wilmari Bekker; Valentin Goranko (ILC, 2007)

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco (LFCS, 2007)

Tableau Systems for Logics of Subinterval Structures over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (TABLEAUX, 2007)

Alternating-time temporal logics with irrevocable strategies. - Thomas Ågotnes; Valentin Goranko; Wojciech Jamroga (TARK, 2007)

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (M4M, 2007)

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability. - Valentin Goranko; Alberto Zanardo (Log. J. IGPL, 2007)

Logic in Computer Science: Modelling and Reasoning About Systems. - Valentin Goranko (J. Log. Lang. Inf., 2007)

Logical Theories for Fragments of Elementary Geometry. - Philippe Balbiani; Valentin Goranko; Ruaan Kellerman; Dimiter Vakarelov (Handbook of Spatial Logics, 2007)

Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (LPAR, 2008)

Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. - Valentin Goranko; Dmitry Shkatov (SEFM, 2008)

Tableau-based decision procedures for logics of strategic ability in multi-agent systems - Valentin Goranko; Dmitry Shkatov (CoRR, 2008)

Algorithmic correspondence and completeness in modal logic. - Willem Conradie; Valentin Goranko (J. Appl. Non Class. Logics, 2008)

Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. - Valentin Goranko; Dmitry Shkatov (AAMAS (2), 2009)

Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. - Valentin Goranko; Dmitry Shkatov (LFCS, 2009)

Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time. - Valentin Goranko; Dmitry Shkatov (MALLOW, 2009)

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco (SEFM, 2009)

Undecidability of Interval Temporal Logics with the Overlap Modality. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (TIME, 2009)

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Ann. Pure Appl. Log., 2009)

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (M4M, 2009)

Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. - Valentin Goranko; Angelo Kyrilov; Dmitry Shkatov (M4M, 2009)

Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (Fundam. Informaticae, 2009)

Tableau-based decision procedures for logics of strategic ability in multiagent systems. - Valentin Goranko; Dmitry Shkatov (ACM Trans. Comput. Log., 2009)

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (ECAI, 2010)

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. - Dario Della Monica; Valentin Goranko; Guido Sciavicco (HyLo@LICS, 2010)

Model-checking CTL* over flat Presburger counter systems. - Stéphane Demri; Alain Finkel; Valentin Goranko; Govert van Drimmelen (J. Appl. Non Class. Logics, 2010)

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (J. Appl. Log., 2010)

Tableaux for Logics of Subinterval Structures over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (J. Log. Comput., 2010)

Book Reviews. - Valentin Goranko (Stud Logica, 2010)

Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. - Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (IJCAI, 2011)

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (TIME, 2011)

Interval Temporal Logics: a Journey. - Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Bull. EATCS, 2011)

Two-sorted Point-Interval Temporal Logics. - Philippe Balbiani; Valentin Goranko; Guido Sciavicco (M4M/LAMAS, 2011)

Preface. - Hans van Ditmarsch; David Fernández-Duque; Valentin Goranko; Wojtek Jamroga; Manuel Ojeda-Aciego (M4M/LAMAS, 2011)

Classes and theories of trees associated with a class of linear orders. - Valentin Goranko; Ruaan Kellerman (Log. J. IGPL, 2011)

Foreword. - Valentin Goranko; Wojciech Jamroga (J. Appl. Non Class. Logics, 2011)

State and path coalition effectivity models for logics of multi-player games. - Valentin Goranko; Wojciech Jamroga (AAMAS, 2012)

Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. - Valentin Goranko (TIME, 2012)

Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. - Mai Ajspur; Valentin Goranko; Dmitry Shkatov (CoRR, 2012)

Non-cooperative games with preplay negotiations - Valentin Goranko; Paolo Turrini (CoRR, 2012)

Transformations of normal form games by preplay offers for payments among players - Valentin Goranko (CoRR, 2012)

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. - Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (J. Univers. Comput. Sci., 2012)

Logic for physical space - From antiquity to present days. - Marco Aiello 001; Guram Bezhanishvili; Isabelle Bloch; Valentin Goranko (Synth., 2012)

Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. - Mai Ajspur; Valentin Goranko (ICLA, 2013)

An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. - Valentin Goranko; Paolo Turrini (LORI, 2013)

Strategic games and truly playable effectivity functions. - Valentin Goranko; Wojciech Jamroga; Paolo Turrini (Auton. Agents Multi Agent Syst., 2013)

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) - Nils Bulling; Valentin Goranko (SR, 2013)

Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. - Mai Ajspur; Valentin Goranko; Dmitry Shkatov (Log. J. IGPL, 2013)

Metric propositional neighborhood logics on natural numbers. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Softw. Syst. Model., 2013)

Temporal Aspects of the Dynamics of Knowledge. - Valentin Goranko; Eric Pacuit (Johan van Benthem on Logic and Information Dynamics, 2014)

Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. - Valentin Goranko; Steen Vester (Advances in Modal Logic, 2014)

Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. - Olivier Gasquet; Valentin Goranko; François Schwarzentruber (AAMAS, 2014)

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. - Serenella Cerrito; Amélie David 001; Valentin Goranko (IJCAR, 2014)

The dark side of interval temporal logic: marking the undecidability border. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Ann. Math. Artif. Intell., 2014)

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. - Serenella Cerrito; Amélie David 001; Valentin Goranko (CoRR, 2014)

Secure aggregation of distributed information. - David Fernández-Duque; Valentin Goranko (CoRR, 2014)

Logic and Discrete Mathematics - A Concise Introduction. - Willem Conradie; Valentin Goranko (Wiley, 2015)

Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual. - Willem Conradie; Valentin Goranko; Claudette Robinson (Wiley, 2015)

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+. - Serenella Cerrito; Amélie David 001; Valentin Goranko (ACM Trans. Comput. Log., 2015)

Logics for Reasoning About Strategic Abilities in Multi-player Games. - Nils Bulling; Valentin Goranko; Wojciech Jamroga (Models of Strategic Reasoning, 2015)

Temporal Logics in Computer Science: Finite-State Systems - Stéphane Demri; Valentin Goranko; Martin Lange (Cambridge University Press, 2016)

Logic as a Tool - A Guide to Formal Logical Reasoning. - Valentin Goranko (Wiley, 2016)

On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. - Valentin Goranko; Louwe B. Kuijer (TIME, 2016)

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. - Olivier Gasquet; Valentin Goranko; François Schwarzentruber (Auton. Agents Multi Agent Syst., 2016)

State and path coalition effectivity models of concurrent multi-player games. - Valentin Goranko; Wojciech Jamroga (Auton. Agents Multi Agent Syst., 2016)

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. - Luca Aceto; Dario Della Monica; Valentin Goranko; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (Acta Informatica, 2016)

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy. - David Fernández-Duque; Valentin Goranko (Discret. Appl. Math., 2016)

Two-Player Preplay Negotiation Games with Conditional Offers. - Valentin Goranko; Paolo Turrini (IGTR, 2016)

Game-Theoretic Semantics for ATL+ with Applications to Model Checking. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (AAMAS, 2017)

Rational Coordination in Games with Enriched Representations. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (EUMAS/AT, 2017)

CTL with Finitely Bounded Semantics. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (TIME, 2017)

Dov Gabbay, Reactive Kripke Semantics. - Valentin Goranko (Stud Logica, 2017)

A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. - Fengkui Ju; Gianluca Grilletti; Valentin Goranko (Advances in Modal Logic, 2018)

Socially Friendly and Group Protecting Coalition Logics. - Valentin Goranko; Sebastian Enqvist (AAMAS, 2018)

Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. - Riccardo De Masellis; Valentin Goranko; Stefan Gruner; Nils Timm (EUMAS, 2018)

Logics for Propositional Determinacy and Independence. - Valentin Goranko; Antti Kuusisto (Rev. Symb. Log., 2018)

Game-Theoretic Semantics for Alternating-Time Temporal Logic. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (ACM Trans. Comput. Log., 2018)

Towards a Logic for Conditional Local Strategic Reasoning. - Valentin Goranko; Fengkui Ju (LORI, 2019)

Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. - Rodica Condurache; Riccardo De Masellis; Valentin Goranko (PRIMA, 2019)

Minimisation of Models Satisfying CTL Formulas. - Serenella Cerrito; Amélie David 001; Valentin Goranko (TIME, 2019)

Hybrid Deduction-Refutation Systems. - Valentin Goranko (Axioms, 2019)

Alternating-time temporal logic ATL with finitely bounded semantics. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (Theor. Comput. Sci., 2019)

The Modal Logic of Almost Sure Frame Validities in the Finite. - Valentin Goranko (AiML, 2020)

Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (ECAI, 2020)

Logic-based specification and verification of homogeneous dynamic multi-agent systems. - Riccardo De Masellis; Valentin Goranko (Auton. Agents Multi Agent Syst., 2020)

Model checking and model synthesisfrom partial models: a logic-based perspective. - Valentin Goranko (CoRR, 2020)

The temporal logic of coalitional goal assignments in concurrent multi-player games. - Sebastian Enqvist; Valentin Goranko (CoRR, 2020)

Editorial Foreword. - Natasha Alechina; Valentin Goranko (J. Log. Lang. Inf., 2020)

Rational coordination with no communication or conventions. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (J. Log. Comput., 2020)

Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. - Willem Conradie; Valentin Goranko; Peter Jipsen (RAMiCS, 2021)

How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning. - Valentin Goranko (DEON, 2021)

Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). - Willem Conradie; Valentin Goranko; Peter Jipsen (CoRR, 2021)

Game-theoretic semantics for ATL+ with applications to model checking. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (Inf. Comput., 2021)

Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees. - Ruaan Kellerman; Valentin Goranko (J. Symb. Log., 2021)

Combining quantitative and qualitative reasoning in concurrent multi-player games. - Nils Bulling; Valentin Goranko (Auton. Agents Multi Agent Syst., 2022)

Knowledge-based strategies for multi-agent teams playing against Nature. - Dilian Gurov; Valentin Goranko; Edvin Lundberg (Artif. Intell., 2022)

Transformations of Multi-Player Normal form Games by Preplay Offers between Players. - Valentin Goranko (Axioms, 2022)

A Logic for Conditional Local Strategic Reasoning. - Valentin Goranko; Fengkui Ju (J. Log. Lang. Inf., 2022)

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games. - Sebastian Enqvist; Valentin Goranko (ACM Trans. Comput. Log., 2022)

Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. - Serenella Cerrito; Valentin Goranko; Sophie Paillocher (FSCD, 2023)

Structural theory of trees I. Branching and condensations of trees. - Valentin Goranko; Ruaan Kellerman; Alberto Zanardo (Contributions Discret. Math., 2023)

Structural theory of trees II. Completeness and completions of trees. - Ruaan Kellerman; Alberto Zanardo; Valentin Goranko (Contributions Discret. Math., 2023)