Valentin Goranko
Orcid: 0000-0002-0157-1644Affiliations:
- Stockholm University, Sweden
According to our database1,
Valentin Goranko
authored at least 135 papers
between 1985 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
5
10
1
1
2
2
5
3
5
2
2
1
5
1
3
3
5
3
4
3
2
2
5
3
3
1
1
1
4
1
1
1
1
1
1
1
1
2
2
3
3
3
1
3
3
2
4
2
7
2
5
1
1
2
1
1
1
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Contributions Discret. Math., 2023
Contributions Discret. Math., 2023
Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach.
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023
2022
ACM Trans. Comput. Log., 2022
Axioms, 2022
Artif. Intell., 2022
Auton. Agents Multi Agent Syst., 2022
2021
Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees.
J. Symb. Log., 2021
Inf. Comput., 2021
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report).
CoRR, 2021
How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning.
Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2020
CoRR, 2020
CoRR, 2020
Logic-based specification and verification of homogeneous dynamic multi-agent systems.
Auton. Agents Multi Agent Syst., 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the 13th Conference on Advances in Modal Logic, 2020
2019
Theor. Comput. Sci., 2019
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification.
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019
2018
ACM Trans. Comput. Log., 2018
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems.
Proceedings of the Multi-Agent Systems - 16th European Conference, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the Advances in Modal Logic 12, 2018
2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy.
Discret. Appl. Math., 2016
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Informatica, 2016
Auton. Agents Multi Agent Syst., 2016
Auton. Agents Multi Agent Syst., 2016
On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
Wiley, ISBN: 978-1-118-88000-5, 2016
Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, ISBN: 9781107028364, 2016
2015
Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL<sup>+</sup>.
ACM Trans. Comput. Log., 2015
Wiley, ISBN: 978-1-118-76267-7, 2015
Wiley, ISBN: 978-1-118-75127-5, 2015
2014
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+.
CoRR, 2014
Ann. Math. Artif. Intell., 2014
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.
Proceedings of the Advances in Modal Logic 10, 2014
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014
2013
Softw. Syst. Model., 2013
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge.
Log. J. IGPL, 2013
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013
Auton. Agents Multi Agent Syst., 2013
An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013
2012
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
J. Univers. Comput. Sci., 2012
CoRR, 2012
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge.
CoRR, 2012
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Log. J. IGPL, 2011
Proceedings of the 7th Workshop on Methods for Modalities, 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
Proceedings of the IJCAI 2011, 2011
2010
J. Log. Comput., 2010
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA.
J. Appl. Log., 2010
J. Appl. Non Class. Logics, 2010
Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
Proceedings of the ECAI 2010, 2010
2009
Tableau-based decision procedures for logics of strategic ability in multiagent systems.
ACM Trans. Comput. Log., 2009
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions.
Fundam. Informaticae, 2009
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis.
Proceedings of the 6th Workshop on Methods for Modalities, 2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.
Ann. Pure Appl. Log., 2009
Proceedings of the TIME 2009, 2009
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time.
Proceedings of the Second Multi-Agent Logics, 2009
Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time.
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009
2008
J. Appl. Non Class. Logics, 2008
Tableau-based decision procedures for logics of strategic ability in multi-agent systems
CoRR, 2008
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
Proceedings of the Logic for Programming, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
J. Log. Lang. Inf., 2007
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.
Log. J. IGPL, 2007
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Proceedings of the 5th Workshop on Methods for Modalities, 2007
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
Proceedings of the Infinity in Logic and Computation, International Conference, 2007
2006
Theor. Comput. Sci., 2006
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA.
J. Log. Comput., 2006
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA.
Log. Methods Comput. Sci., 2006
A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Appl. Log., 2006
Ann. Pure Appl. Log., 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
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.
Stud Logica, 2004
J. Appl. Non Class. Logics, 2004
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.
Proceedings of the Advances in Modal Logic 5, 2004
2003
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003
Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003
2002
J. Appl. Non Class. Logics, 2002
2001
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001
2000
J. Appl. Non Class. Logics, 2000
Proceedings of the Advances in Modal Logic 3, 2000
1999
Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi.
J. Log. Lang. Inf., 1999
1998
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.
Proceedings of the Advances in Modal Logic 2, 1998
1996
J. Log. Lang. Inf., 1996
1994
Proceedings of the Temporal Logic, First International Conference, 1994
1993
1992
1990
1985
Stud Logica, 1985