Valentin Goranko
#66,579
Most Influential Person Now
Bulgarian-Swedish logician
Valentin Goranko's AcademicInfluence.com Rankings
Valentin Gorankophilosophy Degrees
Philosophy
#3453
World Rank
#5582
Historical Rank
Mathematical Logic
#20
World Rank
#33
Historical Rank
Logic
#2107
World Rank
#3023
Historical Rank
Download Badge
Philosophy
Why Is Valentin Goranko Influential?
(Suggest an Edit or Addition)According to Wikipedia, Valentin Feodorov Goranko is a Bulgarian-Swedish logician, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University. Education and academic career Goranko studied mathematics and obtained Ph.D. in Mathematical Logic at the Faculty of Mathematics and Informatics of the Sofia University "St. Kliment Ohridski" in 1988. Before joining Stockholm University in 2014, he has had several academic positions at universities in Bulgaria , South Africa , Denmark and Sweden and has taught a wide variety of courses in Mathematics, Computer Science, and Logic.
Valentin Goranko's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Logic in Computer Science: Modelling and Reasoning About Systems (2007) (861)
- Using the Universal Modality: Gains and Questions (1992) (328)
- Model theory of modal logic (2007) (194)
- Modal logic with names (1993) (187)
- A Road Map of Interval Temporal Logics and Duration Calculi (2004) (154)
- Complete axiomatization and decidability of Alternating-time temporal logic (2006) (148)
- Coalition games and alternating temporal logics (2001) (131)
- Alternating-time temporal logics with irrevocable strategies (2007) (122)
- Comparing Semantics of Logics for Multi-Agent Systems (2004) (115)
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA (2006) (99)
- Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions (2009) (90)
- Hierarchies of modal and temporal logics with reference pointers (1996) (84)
- Propositional Interval Neighborhood Temporal Logics (2003) (83)
- Elementary canonical formulae: extending Sahlqvist's theorem (2006) (82)
- Modal Definability in Enriched Languages (1989) (70)
- Knowledge and Ability (2015) (61)
- Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification (2008) (60)
- Tableaux for Logics of Subinterval Structures over Dense Orderings (2010) (58)
- Temporal Logics in Computer Science: Finite-State Systems (2016) (56)
- Tableau-based decision procedures for logics of strategic ability in multiagent systems (2008) (50)
- Refutation systems in modal logic (1994) (50)
- Strategic games and truly playable effectivity functions (2013) (47)
- Interval Temporal Logics: a Journey (2013) (45)
- Temporal Logic with Reference Pointers (1994) (45)
- The Basic Algebra of Game Equivalences (2003) (44)
- Sahlqvist Formulas in Hybrid Polyadic Modal Logics (2001) (43)
- A General Tableau Method for Propositional Interval Temporal Logics (2003) (43)
- The dark side of interval temporal logic: marking the undecidability border (2014) (39)
- How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) (2013) (36)
- Algorithmic correspondence and completeness in modal logic (2008) (34)
- Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis (2010) (34)
- Sahlqvist Formulas Unleashed in Polyadic Modal Languages (2000) (32)
- Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects (2004) (31)
- Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification (2011) (31)
- SCAN Is Complete for All Sahlqvist Formulae (2003) (31)
- Towards a Model-Checker for Counter Systems (2006) (29)
- Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA (2006) (28)
- Strategic commitment and release in logics for multi-agent systems (2008) (27)
- On Decidability and Expressiveness of Propositional Interval Neighborhood Logics (2007) (27)
- The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border (2011) (26)
- Tableau-based decision procedures for the logics of subinterval structures over dense orderings (2008) (26)
- Model-checking CTL* over flat Presburger counter systems (2010) (26)
- Logics for Reasoning About Strategic Abilities in Multi-player Games (2015) (24)
- Metric propositional neighborhood logics on natural numbers (2013) (24)
- Completeness and Incompleteness in the Bimodal Base ℒ(R,−R) (1990) (23)
- Nicholas Rescher,; Patrick Blackburn, Maarten de Rijke and Yde Venema, Cambridge Tracts in Theoretical Computer Science Vol. 53 (2004) (21)
- Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability (2010) (20)
- Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (2009) (18)
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (2010) (18)
- Logical Theories for Fragments of Elementary Geometry (2007) (17)
- Socially Friendly and Group Protecting Coalition Logics (2018) (16)
- Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time (2009) (16)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (2002) (16)
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (2010) (15)
- Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane (2014) (15)
- Two-sorted Point-Interval Temporal Logics (2011) (15)
- Undecidability of Interval Temporal Logics with the Overlap Modality (2009) (15)
- The Craig interpolation theorem for prepositional logics with strong negation (1985) (15)
- Game-Theoretic Semantics for Alternating-Time Temporal Logic (2016) (14)
- Tableau Systems for Logics of Subinterval Structures over Dense Orderings (2007) (14)
- A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases (2016) (13)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (2016) (13)
- Game-Theoretic Semantics for ATL+ with Applications to Model Checking (2017) (13)
- Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (2014) (13)
- Axiomatizations with Context Rules of Inference in Modal Logic (1998) (11)
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic (2009) (11)
- Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+ (2014) (11)
- Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge (2008) (10)
- Logic and Discrete Mathematics - A Concise Introduction (2015) (10)
- Nicholas Rescher, Paradoxes: Their Roots, Range, and Resolution; Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science Vol. 53 (2004) (9)
- Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions (2009) (9)
- Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems (2016) (9)
- Refutation Systems: An Overview and Some Applications to Philosophical Logics (2020) (9)
- Symbolic Model Checking of Tense Logics on Rational Kripke Models (2008) (9)
- Temporal Logics with Reference Pointers and Computation Tree Logics (2000) (9)
- Temporal logics for specification and verification (2009) (8)
- Hybrid Deduction-Refutation Systems (2019) (8)
- Proving unprovability in some normal modal logics (1991) (8)
- Hyperboolean Algebras and Hyperboolean Modal Logic (1999) (8)
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability (2006) (8)
- Expressiveness ∗ (8)
- Secure aggregation of distributed information (2014) (8)
- 12th EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (2000) (8)
- Filter and Ultrafilter Extensions of Structures : Universal-algebraic Aspects (2010) (8)
- Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy (2014) (8)
- Rational Coordination with no Communication or Conventions (2017) (7)
- An Extended Branching-Time Ockhamist Temporal Logic (1999) (7)
- 1996 Kluwer Academic Publishers. Printed in the Netherlands. (1996) (7)
- Classes and theories of trees associated with a class of linear orders (2011) (7)
- The modal logic of the countable random frame (2003) (7)
- CTL with Finitely Bounded Semantics (2017) (7)
- Rational Coordination in Games with Enriched Representations (2017) (6)
- Effective temporal logics of programs (1995) (6)
- Computation tree logics and temporal logics with reference pointers (2000) (6)
- The Game-Theoretic Framework (2016) (6)
- Two-Player Preplay Negotiation Games with Conditional Offers (2013) (6)
- Lectures on Logic and Computation (2012) (6)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (2011) (6)
- Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics (2014) (6)
- Towards a Logic for Conditional Local Strategic Reasoning (2019) (6)
- An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers (2013) (6)
- Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge (2012) (5)
- Non-cooperative games with preplay negotiations (2012) (5)
- Algorithmic correspondence and completeness in modal logic . IV . Semantic extensions of SQEMA (2008) (5)
- State and path coalition effectivity models of concurrent multi-player games (2012) (5)
- Combining quantitative and qualitative reasoning in concurrent multi-player games (2021) (4)
- Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time (2009) (4)
- Logical topologies and semantic completeness (2016) (4)
- Halfway between points and intervals. A temporal logic based on ordered trees (2003) (4)
- Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures (1998) (4)
- APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (2021) (4)
- Alternating-time temporal logic ATL with finitely bounded semantics (2019) (4)
- Hybrid Ockhamist temporal logic (2001) (3)
- The Modal Mu-Calculus (2016) (3)
- Logic-based specification and verification of homogeneous dynamic multi-agent systems (2019) (3)
- Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge (2013) (3)
- State and Path Effectivity Models for Logics of Multi-Player Games (2012) (3)
- Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games (2020) (3)
- Tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of branching time (2009) (3)
- Metric propositional neighborhood logics on natural numbers (2011) (3)
- Duration Calculus (Extended Abstract) (2003) (2)
- A Logic for Conditional Local Strategic Reasoning (2021) (2)
- Logic as a Tool - A Guide to Formal Logical Reasoning (2016) (2)
- Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification (2019) (2)
- Tableau-based decision procedure (2012) (2)
- Temporal Aspects of the Dynamics of Knowledge (2014) (2)
- State and path coalition effectivity models for logics of multi-player games (2012) (2)
- PROVING UNPROVABILITY IN SOME NORMAL MODAL LOGIC (1991) (2)
- Alternating-Time Temporal Logics (2016) (2)
- On relative ignorance (2020) (2)
- Preplay negotiations by unconditional offers in 2-player strategic games : power and weakness ∗ (2016) (2)
- Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature (2020) (2)
- Transformations of normal form games by preplay offers for payments among players (2012) (2)
- Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems (2018) (2)
- Refutation systems in the finite (2018) (2)
- Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual (2015) (1)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (2021) (1)
- A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle (2018) (1)
- Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (2009) (1)
- Extensive Form Games with Incentive Stage-Bidding: An Emergence of Non-Cooperative Cooperation (2021) (1)
- Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi (1999) (1)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (2009) (1)
- The Modal Logic of Almost Sure Frame Validities in the Finite (2020) (1)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (2020) (1)
- Structural theory of trees. I. Branching and condensations of trees (2023) (1)
- Undecidability and Temporal Logic: Some Landmarks from Turing to the Present (2012) (1)
- Strategic games and truly playable effectivity functions (2012) (1)
- Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers (2012) (1)
- Transformations of Multi-Player Normal form Games by Preplay Offers between Players (2022) (1)
- Structural theory of trees. II. Completeness and completions of trees (2023) (1)
- Preplay Negotiations with Unconditional Offers of Side Payments in Two-Player Strategic-Form Games: Towards Non-Cooperative Cooperation (2022) (0)
- ARoadMapofIntervalTemporal Logicsand Duration Calculi (2004) (0)
- Linear-Time Temporal Logics (2016) (0)
- Preface (2002) (0)
- A ] 1 7 M ar 2 02 1 Rational coordination with no communication or conventions (2021) (0)
- Editorial Board (2013) (0)
- Lecture 7: Memory, information, and strategic abilities in multi-agent systems (2006) (0)
- Advances in Modal Logic 8 (2010) (0)
- Book Review (1993) (0)
- Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation (2010) (0)
- How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning (2021) (0)
- Trees in Linguistics, Logic, and Computer Science (2003) (0)
- Basic Modal Logics (2016) (0)
- LAMAS 2012 Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems (2012) (0)
- I T L: J (2011) (0)
- Frameworks for Decision Procedures (2016) (0)
- Ju n 20 19 Game-Theoretic Semantics for Alternating-Time Temporal Logic ∗ (2019) (0)
- Foreword (2011) (0)
- Logic for physical space (2011) (0)
- Foreword (2004) (0)
- Modal Logic, Alexander Chagrov and Michael Zakharyaschev (1999) (0)
- From the Venerable History of Logic to the Flourishing Future of Logics (2022) (0)
- Logic for physical space (2012) (0)
- Fe b 20 21 A Logic for Conditional Local Strategic Reasoning (2021) (0)
- Editorial Foreword (2020) (0)
- Advances in Modal Logic, volume 8 (editors) (2010) (0)
- Verification of temporal logics on infinite-state systems Day 2 , Lecture 1 Symbolic computation of reachability (2007) (0)
- Book Reviews (2010) (0)
- Model checking and model synthesisfrom partial models: a logic-based perspective (2020) (0)
- Chapter 11 Knowledge and Ability (2016) (0)
- Computer Science Logic 2017 (2017) (0)
- IV. Semantic extensions of SQEMA (2008) (0)
- Modal Logi s for Parallelism , Orthogonality , and AÆne (2007) (0)
- On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems (2016) (0)
- L O ] 1 9 M ay 2 01 7 Game-Theoretic Semantics for Alternating-Time Temporal Logic ∗ (2018) (0)
- Book Review (1995) (0)
- Sahlqvist Formulas in Hybrid Polyadi Modal Logi (2000) (0)
- Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies (2007) (0)
- Logics for Strategic Reasoning of Socially Interacting Rational Agents: An Overview and Perspectives (2023) (0)
- Preliminaries and Background II (2016) (0)
- Minimisation of Models Satisfying CTL Formulas (2019) (0)
- The dark side of interval temporal logic: marking the undecidability border (2013) (0)
- Logic as a tool (2016) (0)
- Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems (2015) (0)
- The Automata-Based Approach (2016) (0)
- Studia Logica | Issues published in the year 2004 (2004) (0)
- A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases (2015) (0)
- State and path coalition effectivity models of concurrent multi-player games (2015) (0)
- Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2012) (2012) (0)
- Special issue on trees in linguistics, logic and computer science (2003) (0)
- Editorial Foreword (1974) (0)
- Branching-Time Temporal Logics (2016) (0)
- Dov Gabbay, Reactive Kripke Semantics (2017) (0)
- Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL (2021) (0)
- Tableaux-Based Decision Methods (2016) (0)
- Book Review (2000) (0)
- FIRST PhD Autumn School on Modal Logic IT University of Copenhagen , Denmark November 10-11 2009 Tutorial notes on Introduction to Temporal Logics for Specification and Verification (2009) (0)
- Armour-Garb, B., 491 (2004) (0)
- How to Be Both Rich and Happy : Combining Quantitative and Qualitative Strategic Reasoning ( Extended abstract of preliminary report 1 ) (2013) (0)
This paper list is powered by the following services:
Other Resources About Valentin Goranko
What Schools Are Affiliated With Valentin Goranko?
Valentin Goranko is affiliated with the following schools:
