Valentin Goranko

According to our database1, Valentin Goranko
  • authored at least 115 papers between 1985 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Dov Gabbay, Reactive Kripke Semantics.
Studia Logica, 2017

Rational coordination with no communication or conventions.
CoRR, 2017

Game-Theoretic Semantics for ATL+ with Applications to Model Checking.
CoRR, 2017

CTL with Finitely Bounded Semantics.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Rational Coordination with no Communication or Conventions.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Game-Theoretic Semantics for ATL+ with Applications to Model Checking.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Two-Player Preplay Negotiation Games with Conditional Offers.
IGTR, 2016

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy.
Discrete Applied Mathematics, 2016

Game-Theoretic Semantics for Alternating-Time Temporal Logic.
CoRR, 2016

Logics for Propositional Determinacy and Independence.
CoRR, 2016

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Inf., 2016

State and path coalition effectivity models of concurrent multi-player games.
Autonomous Agents and Multi-Agent Systems, 2016

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems.
Autonomous Agents and Multi-Agent Systems, 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

Game-Theoretic Semantics for Alternating-Time Temporal Logic.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Logic as a Tool - A Guide to Formal Logical Reasoning.
Wiley, ISBN: 978-1-118-88000-5, 2016

Temporal Logics in Computer Science: Finite-State Systems
Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, ISBN: 9781107028364, 2016

2015
Logics for Reasoning About Strategic Abilities in Multi-player Games.
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+.
ACM Trans. Comput. Log., 2015

Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual.
Wiley, ISBN: 978-1-118-76267-7, 2015

Logic and Discrete Mathematics - A Concise Introduction.
Wiley, ISBN: 978-1-118-75127-5, 2015

2014
Secure aggregation of distributed information.
CoRR, 2014

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+.
CoRR, 2014

The dark side of interval temporal logic: marking the undecidability border.
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

Temporal Aspects of the Dynamics of Knowledge.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
Metric propositional neighborhood logics on natural numbers.
Software and System Modeling, 2013

Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge.
Logic Journal of the 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

Strategic games and truly playable effectivity functions.
Autonomous Agents and Multi-Agent Systems, 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
Logic for physical space - From antiquity to present days.
Synthese, 2012

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
J. UCS, 2012

Transformations of normal form games by preplay offers for payments among players
CoRR, 2012

Non-cooperative games with preplay negotiations
CoRR, 2012

Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge.
CoRR, 2012

Undecidability and Temporal Logic: Some Landmarks from Turing to the Present.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

State and path coalition effectivity models for logics of multi-player games.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Foreword.
Journal of Applied Non-Classical Logics, 2011

Classes and theories of trees associated with a class of linear orders.
Logic Journal of the IGPL, 2011

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.
Electr. Notes Theor. Comput. Sci., 2011

Preface.
Electr. Notes Theor. Comput. Sci., 2011

Two-sorted Point-Interval Temporal Logics.
Electr. Notes Theor. Comput. Sci., 2011

Interval Temporal Logics: a Journey.
Bulletin of the EATCS, 2011

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.
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

Strategic games and truly playable effectivity functions.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Book Reviews.
Studia Logica, 2010

Tableaux for Logics of Subinterval Structures over Dense Orderings.
J. Log. Comput., 2010

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA.
J. Applied Logic, 2010

Model-checking CTL* over flat Presburger counter systems.
Journal of Applied Non-Classical Logics, 2010

Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis.
Electr. Notes Theor. Comput. Sci., 2010

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.
Electr. Notes Theor. Comput. Sci., 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. Inform., 2009

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Electr. Notes Theor. Comput. Sci., 2009

Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
CoRR, 2009

Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
CoRR, 2009

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.
Ann. Pure Appl. Logic, 2009

Undecidability of Interval Temporal Logics with the Overlap Modality.
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 Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
Algorithmic correspondence and completeness in modal logic.
Journal of Applied Non-Classical Logics, 2008

Symbolic model checking of tense logics on rational Kripke models
CoRR, 2008

Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
CoRR, 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
Logical Theories for Fragments of Elementary Geometry.
Proceedings of the Handbook of Spatial Logics, 2007

Logic in Computer Science: Modelling and Reasoning About Systems.
Journal of Logic, Language and Information, 2007

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.
Logic Journal of the IGPL, 2007

Alternating-time temporal logics with irrevocable strategies.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Symbolic Model Checking of Tense Logics on Rational Kripke Models.
Proceedings of the Infinity in Logic and Computation, International Conference, 2007

2006
Complete axiomatization and decidability of Alternating-time temporal logic.
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.
Logical Methods in Computer Science, 2006

A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Applied Logic, 2006

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
CoRR, 2006

Elementary canonical formulae: extending Sahlqvist's theorem.
Ann. Pure Appl. Logic, 2006

Towards a Model-Checker for Counter Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2004
Comparing Semantics of Logics for Multi-Agent Systems.
Synthese, 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.
Studia Logica, 2004

A Road Map of Interval Temporal Logics and Duration Calculi.
Journal of Applied Non-Classical Logics, 2004

Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.
Proceedings of the Advances in Modal Logic 5, 2004

2003
The Basic Algebra of Game Equivalences.
Studia Logica, 2003

Propositional Interval Neighborhood Temporal Logics.
J. UCS, 2003

The modal logic of the countable random frame.
Arch. Math. Log., 2003

A General Tableau Method for Propositional Interval Temporal Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

SCAN Is Complete for All Sahlqvist Formulae.
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
Modal Logics for Parallelism, Orthogonality, and Affine Geometries.
Journal of Applied Non-Classical Logics, 2002

2001
Sahlqvist Formulas in Hybrid Polyadic Modal Logics.
J. Log. Comput., 2001

Hybrid Ockhamist Temporal Logic.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

2000
Temporal logics with reference pointers and computation tree logics.
Journal of Applied Non-Classical Logics, 2000

Sahlqvist Formulas Unleashed in Polyadic Modal Languages.
Proceedings of the Advances in Modal Logic 3, 2000

1999
Modal Logic, Alexander Chagrov and Michael Zakharyaschev.
Journal of Logic, Language and Information, 1999

Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi.
Journal of Logic, Language and Information, 1999

An Extended Branching-Time Ockhamist Temporal Logic.
Journal of Logic, Language and Information, 1999

Hyperboolean Algebras and Hyperboolean Modal Logic.
Journal of Applied Non-Classical Logics, 1999

1998
Axiomatizations with Context Rules of Inference in Modal Logic.
Studia Logica, 1998

Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.
Proceedings of the Advances in Modal Logic 2, 1998

1996
Hierarchies of Modal and Temporal Logics with Reference Pointers.
Journal of Logic, Language and Information, 1996

1994
Refutation systems in modal logic.
Studia Logica, 1994

Temporal Logic with Reference Pointers.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
Modal logic with names.
J. Philosophical Logic, 1993

1992
Using the Universal Modality: Gains and Questions.
J. Log. Comput., 1992

1990
Modal Definability in Enriched Languages.
Notre Dame Journal of Formal Logic, 1990

1985
The Craig interpolation theorem for prepositional logics with strong negation.
Studia Logica, 1985


  Loading...