default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDValentin Goranko
Person information
- affiliation: Stockholm University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j67]Valentin Goranko
, Ruaan Kellerman, Alberto Zanardo:
Structural theory of trees I. Branching and condensations of trees. Contributions Discret. Math. 18(2): 188-209 (2023)- [j66]Ruaan Kellerman, Alberto Zanardo, Valentin Goranko:
Structural theory of trees II. Completeness and completions of trees. Contributions Discret. Math. 18(2): 210-233 (2023) - [c56]Serenella Cerrito, Valentin Goranko, Sophie Paillocher:
Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. FSCD 2023: 23:1-23:21 - 2022
- [j65]Nils Bulling, Valentin Goranko:
Combining quantitative and qualitative reasoning in concurrent multi-player games. Auton. Agents Multi Agent Syst. 36(1): 2 (2022) - [j64]Dilian Gurov, Valentin Goranko, Edvin Lundberg:
Knowledge-based strategies for multi-agent teams playing against Nature. Artif. Intell. 309: 103728 (2022) - [j63]Valentin Goranko:
Transformations of Multi-Player Normal form Games by Preplay Offers between Players. Axioms 11(2): 73 (2022) - [j62]Valentin Goranko, Fengkui Ju:
A Logic for Conditional Local Strategic Reasoning. J. Log. Lang. Inf. 31(2): 167-188 (2022) - [j61]Sebastian Enqvist, Valentin Goranko:
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games. ACM Trans. Comput. Log. 23(4): 21:1-21:58 (2022) - [c55]Nils Bulling, Valentin Goranko:
Combining Quantitative and Qualitative Reasoning in Concurrent Multi-player Games. AAMAS 2022: 1926-1928 - 2021
- [j60]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Game-theoretic semantics for ATL+ with applications to model checking. Inf. Comput. 276: 104554 (2021) - [j59]Ruaan Kellerman, Valentin Goranko:
Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees. J. Symb. Log. 86(3): 1035-1065 (2021) - [c54]Willem Conradie, Valentin Goranko, Peter Jipsen:
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. RAMiCS 2021: 126-143 - [c53]Riccardo De Masellis, Valentin Goranko:
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems. AAMAS 2021: 1727-1729 - [c52]Valentin Goranko:
How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning. DEON 2021: 219-238 - [i21]Valentin Goranko, Fengkui Ju:
A Logic for Conditional Local Strategic Reasoning. CoRR abs/2102.06148 (2021) - [i20]Willem Conradie, Valentin Goranko, Peter Jipsen:
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). CoRR abs/2108.06603 (2021) - 2020
- [j58]Riccardo De Masellis, Valentin Goranko:
Logic-based specification and verification of homogeneous dynamic multi-agent systems. Auton. Agents Multi Agent Syst. 34(2): 34 (2020) - [j57]Natasha Alechina, Valentin Goranko:
Editorial Foreword. J. Log. Lang. Inf. 29(1): 1-2 (2020) - [j56]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Rational coordination with no communication or conventions. J. Log. Comput. 30(6): 1183-1211 (2020) - [c51]Valentin Goranko:
The Modal Logic of Almost Sure Frame Validities in the Finite. AiML 2020: 249-268 - [c50]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. ECAI 2020: 115-122 - [i19]Valentin Goranko:
Model checking and model synthesisfrom partial models: a logic-based perspective. CoRR abs/2012.12398 (2020) - [i18]Sebastian Enqvist, Valentin Goranko:
The temporal logic of coalitional goal assignments in concurrent multi-player games. CoRR abs/2012.14195 (2020) - [i17]Dilian Gurov, Valentin Goranko, Edvin Lundberg:
Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature. CoRR abs/2012.14851 (2020)
2010 – 2019
- 2019
- [j55]Valentin Goranko:
Hybrid Deduction-Refutation Systems. Axioms 8(4): 118 (2019) - [j54]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Alternating-time temporal logic ATL with finitely bounded semantics. Theor. Comput. Sci. 797: 129-155 (2019) - [c49]Valentin Goranko, Fengkui Ju:
Towards a Logic for Conditional Local Strategic Reasoning. LORI 2019: 112-125 - [c48]Rodica Condurache, Riccardo De Masellis, Valentin Goranko:
Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. PRIMA 2019: 106-122 - [c47]Serenella Cerrito, Amélie David, Valentin Goranko:
Minimisation of Models Satisfying CTL Formulas. TIME 2019: 13:1-13:15 - [i16]Riccardo De Masellis, Valentin Goranko:
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems. CoRR abs/1905.00810 (2019) - 2018
- [j53]Valentin Goranko, Antti Kuusisto:
Logics for Propositional Determinacy and Independence. Rev. Symb. Log. 11(3): 470-506 (2018) - [j52]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Game-Theoretic Semantics for Alternating-Time Temporal Logic. ACM Trans. Comput. Log. 19(3): 17:1-17:38 (2018) - [c46]Fengkui Ju, Gianluca Grilletti, Valentin Goranko:
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. Advances in Modal Logic 2018: 407-426 - [c45]Valentin Goranko, Sebastian Enqvist:
Socially Friendly and Group Protecting Coalition Logics. AAMAS 2018: 372-380 - [c44]Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm:
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. EUMAS 2018: 30-47 - 2017
- [j51]Valentin Goranko:
Dov Gabbay, Reactive Kripke Semantics. Stud Logica 105(2): 431-437 (2017) - [c43]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. AAMAS 2017: 1277-1285 - [c42]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Rational Coordination in Games with Enriched Representations. EUMAS/AT 2017: 323-338 - [c41]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Rational Coordination with no Communication or Conventions. LORI 2017: 33-48 - [c40]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
CTL with Finitely Bounded Semantics. TIME 2017: 14:1-14:19 - [e5]Valentin Goranko, Mads Dam:
26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden. LIPIcs 82, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-045-3 [contents] - [i15]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. CoRR abs/1702.08405 (2017) - [i14]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Rational coordination with no communication or conventions. CoRR abs/1706.07412 (2017) - 2016
- [b4]Stéphane Demri, Valentin Goranko, Martin Lange:
Temporal Logics in Computer Science: Finite-State Systems. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press 2016, ISBN 9781107028364 - [b3]Valentin Goranko:
Logic as a Tool - A Guide to Formal Logical Reasoning. Wiley 2016, ISBN 978-1-118-88000-5, pp. 1-358 - [j50]Valentin Goranko, Wojciech Jamroga:
State and path coalition effectivity models of concurrent multi-player games. Auton. Agents Multi Agent Syst. 30(3): 446-485 (2016) - [j49]Olivier Gasquet, Valentin Goranko, François Schwarzentruber:
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Auton. Agents Multi Agent Syst. 30(5): 793-825 (2016) - [j48]Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53(3): 207-246 (2016) - [j47]David Fernández-Duque, Valentin Goranko:
Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy. Discret. Appl. Math. 198: 118-135 (2016) - [j46]Valentin Goranko, Paolo Turrini:
Two-Player Preplay Negotiation Games with Conditional Offers. IGTR 18(1): 1550017:1-1550017:31 (2016) - [c39]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Game-Theoretic Semantics for Alternating-Time Temporal Logic. AAMAS 2016: 671-679 - [c38]Valentin Goranko, Louwe B. Kuijer:
On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. TIME 2016: 177-185 - [i13]Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Game-Theoretic Semantics for Alternating-Time Temporal Logic. CoRR abs/1602.07667 (2016) - [i12]Valentin Goranko, Antti Kuusisto:
Logics for Propositional Determinacy and Independence. CoRR abs/1609.07398 (2016) - 2015
- [b2]Willem Conradie, Valentin Goranko, Claudette Robinson:
Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual. Wiley 2015, ISBN 978-1-118-76267-7, pp. 1-184 - [b1]Willem Conradie, Valentin Goranko:
Logic and Discrete Mathematics - A Concise Introduction. Wiley 2015, ISBN 978-1-118-75127-5, pp. I-XIX, 1-426 - [j45]Serenella Cerrito, Amélie David, Valentin Goranko:
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+. ACM Trans. Comput. Log. 17(1): 4 (2015) - [p4]Nils Bulling, Valentin Goranko, Wojciech Jamroga:
Logics for Reasoning About Strategic Abilities in Multi-player Games. Models of Strategic Reasoning 2015: 93-136 - 2014
- [j44]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71(1-3): 41-83 (2014) - [c37]Valentin Goranko, Steen Vester:
Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. Advances in Modal Logic 2014: 234-253 - [c36]Olivier Gasquet, Valentin Goranko, François Schwarzentruber:
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. AAMAS 2014: 325-332 - [c35]Serenella Cerrito, Amélie David, Valentin Goranko:
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. IJCAR 2014: 277-291 - [p3]Valentin Goranko, Eric Pacuit:
Temporal Aspects of the Dynamics of Knowledge. Johan van Benthem on Logic and Information Dynamics 2014: 235-266 - [i11]Serenella Cerrito, Amélie David, Valentin Goranko:
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. CoRR abs/1407.4645 (2014) - [i10]David Fernández-Duque, Valentin Goranko:
Secure aggregation of distributed information. CoRR abs/1407.7582 (2014) - 2013
- [j43]Valentin Goranko, Wojciech Jamroga, Paolo Turrini:
Strategic games and truly playable effectivity functions. Auton. Agents Multi Agent Syst. 26(2): 288-314 (2013) - [j42]Mai Ajspur, Valentin Goranko, Dmitry Shkatov:
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. Log. J. IGPL 21(3): 407-437 (2013) - [j41]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 12(2): 245-264 (2013) - [c34]Mai Ajspur, Valentin Goranko:
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. ICLA 2013: 80-96 - [c33]Valentin Goranko, Paolo Turrini:
An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. LORI 2013: 110-123 - [c32]Nils Bulling, Valentin Goranko:
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract). SR 2013: 33-41 - 2012
- [j40]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. Univers. Comput. Sci. 18(20): 2798-2831 (2012) - [j39]Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko:
Logic for physical space - From antiquity to present days. Synth. 186(3): 619-632 (2012) - [c31]Valentin Goranko, Wojciech Jamroga:
State and path coalition effectivity models for logics of multi-player games. AAMAS 2012: 1123-1130 - [c30]Valentin Goranko:
Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. TIME 2012: 3-4 - [e4]Nick Bezhanishvili, Valentin Goranko:
Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes. Lecture Notes in Computer Science 7388, Springer 2012, ISBN 978-3-642-31484-1 [contents] - [i9]Mai Ajspur, Valentin Goranko, Dmitry Shkatov:
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. CoRR abs/1201.5346 (2012) - [i8]Valentin Goranko, Paolo Turrini:
Non-cooperative games with preplay negotiations. CoRR abs/1208.1718 (2012) - [i7]Valentin Goranko:
Transformations of normal form games by preplay offers for payments among players. CoRR abs/1208.1758 (2012) - 2011
- [j38]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Interval Temporal Logics: a Journey. Bull. EATCS 105: 73-99 (2011) - [j37]Valentin Goranko, Ruaan Kellerman:
Classes and theories of trees associated with a class of linear orders. Log. J. IGPL 19(1): 217-232 (2011) - [j36]Valentin Goranko, Wojciech Jamroga:
Foreword. J. Appl. Non Class. Logics 21(1): 7-8 (2011) - [c29]Valentin Goranko, Wojciech Jamroga, Paolo Turrini:
Strategic games and truly playable effectivity functions. AAMAS 2011: 727-734 - [c28]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. IJCAI 2011: 845-850 - [c27]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME 2011: 131-138 - [c26]Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego:
Preface. M4M/LAMAS 2011: 1-2 - [c25]Philippe Balbiani, Valentin Goranko, Guido Sciavicco:
Two-sorted Point-Interval Temporal Logics. M4M/LAMAS 2011: 31-45 - [e3]Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego:
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. Electronic Notes in Theoretical Computer Science 278, Elsevier 2011 [contents] - 2010
- [j35]Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen:
Model-checking CTL* over flat Presburger counter systems. J. Appl. Non Class. Logics 20(4): 313-344 (2010) - [j34]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. J. Appl. Log. 8(4): 319-333 (2010) - [j33]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala:
Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20(1): 133-166 (2010) - [j32]Valentin Goranko:
Book Reviews. Stud Logica 94(3): 443-445 (2010) - [c24]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700 - [c23]Dario Della Monica, Valentin Goranko, Guido Sciavicco:
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. HyLo@LICS 2010: 3-19 - [e2]Lev D. Beklemishev, Valentin Goranko, Valentin B. Shehtman:
Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010. College Publications 2010, ISBN 978-1-84890-013-4 [contents]
2000 – 2009
- 2009
- [j31]Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Log. 161(3): 289-304 (2009) - [j30]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Fundam. Informaticae 92(4): 307-343 (2009) - [j29]Valentin Goranko, Dmitry Shkatov:
Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Trans. Comput. Log. 11(1): 3:1-3:51 (2009) - [c22]Valentin Goranko, Dmitry Shkatov:
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. AAMAS (2) 2009: 969-976 - [c21]Valentin Goranko, Dmitry Shkatov:
Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. LFCS 2009: 197-213 - [c20]Valentin Goranko, Dmitry Shkatov:
Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time. MALLOW 2009 - [c19]Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM 2009: 240-249 - [c18]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95 - [c17]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. M4M 2009: 65-81 - [c16]Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov:
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. M4M 2009: 113-125 - [e1]Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe:
Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers. Lecture Notes in Computer Science 5489, Springer 2009, ISBN 978-3-642-03091-8 [contents] - [i6]Valentin Goranko, Dmitry Shkatov:
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. CoRR abs/0902.2104 (2009) - [i5]Valentin Goranko, Dmitry Shkatov:
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic. CoRR abs/0902.2125 (2009) - 2008
- [j28]Willem Conradie, Valentin Goranko:
Algorithmic correspondence and completeness in modal logic. J. Appl. Non Class. Logics 18(2-3): 175-211 (2008) - [c15]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR 2008: 590-604 - [c14]Valentin Goranko, Dmitry Shkatov:
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. SEFM 2008: 237-246 - [i4]Valentin Goranko, Dmitry Shkatov:
Tableau-based decision procedures for logics of strategic ability in multi-agent systems. CoRR abs/0803.2306 (2008) - [i3]Valentin Goranko, Dmitry Shkatov:
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge. CoRR abs/0808.4133 (2008) - [i2]Wilmari Bekker, Valentin Goranko:
Symbolic model checking of tense logics on rational Kripke models. CoRR abs/0810.5516 (2008) - 2007
- [j27]Valentin Goranko, Alberto Zanardo:
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability. Log. J. IGPL 15(1): 53-76 (2007) - [j26]Valentin Goranko:
Logic in Computer Science: Modelling and Reasoning About Systems. J. Log. Lang. Inf. 16(1): 117-120 (2007) - [c13]Wilmari Bekker, Valentin Goranko:
Symbolic Model Checking of Tense Logics on Rational Kripke Models. ILC 2007: 2-20 - [c12]Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99 - [c11]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89 - [c10]Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga:
Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24 - [c9]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala:
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. M4M 2007: 131-151 - [p2]Valentin Goranko, Martin Otto:
Model theory of modal logic. Handbook of Modal Logic 2007: 249-329 - [p1]Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov:
Logical Theories for Fragments of Elementary Geometry. Handbook of Spatial Logics 2007: 343-428 - 2006
- [j25]Valentin Goranko, Dimiter Vakarelov:
Elementary canonical formulae: extending Sahlqvist's theorem. Ann. Pure Appl. Log. 141(1-2): 180-217 (2006) - [j24]Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco:
A general tableau method for propositional interval temporal logics: Theory and implementation. J. Appl. Log. 4(3): 305-330 (2006) - [j23]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Log. Methods Comput. Sci. 2(1) (2006) - [j22]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. J. Log. Comput. 16(5): 579-612 (2006) - [j21]Valentin Goranko, Govert van Drimmelen:
Complete axiomatization and decidability of Alternating-time temporal logic. Theor. Comput. Sci. 353(1-3): 93-117 (2006) - [c8]Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen:
Towards a Model-Checker for Counter Systems. ATVA 2006: 493-507 - [i1]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. CoRR abs/cs/0602024 (2006) - 2004
- [j20]Valentin Goranko, Angelo Montanari, Guido Sciavicco:
A Road Map of Interval Temporal Logics and Duration Calculi. J. Appl. Non Class. Logics 14(1-2): 9-54 (2004) - [j19]Andrea Cantini, Valentin Goranko:
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 76(1): 135-142 (2004) - [j18]Valentin Goranko, Wojciech Jamroga:
Comparing Semantics of Logics for Multi-Agent Systems. Synth. 139(2): 241-280 (2004) - [c7]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. Advances in Modal Logic 2004: 17-51 - 2003
- [j17]Valentin Goranko, Bruce M. Kapron:
The modal logic of the countable random frame. Arch. Math. Log. 42(3): 221-243 (2003) - [j16]Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Propositional Interval Neighborhood Temporal Logics. J. Univers. Comput. Sci. 9(9): 1137-1167 (2003) - [j15]Valentin Goranko:
The Basic Algebra of Game Equivalences. Stud Logica 75(2): 221-238 (2003) - [c6]Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov:
SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162 - [c5]Valentin Goranko, Angelo Montanari, Guido Sciavicco:
A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003: 102-116 - 2002
- [j14]Philippe Balbiani, Valentin Goranko:
Modal Logics for Parallelism, Orthogonality, and Affine Geometries. J. Appl. Non Class. Logics 12(3-4): 365-398 (2002) - 2001
- [j13]Valentin Goranko, Dimiter Vakarelov:
Sahlqvist Formulas in Hybrid Polyadic Modal Logics. J. Log. Comput. 11(5): 737-754 (2001) - [c4]Patrick Blackburn, Valentin Goranko:
Hybrid Ockhamist Temporal Logic. TIME 2001: 183-188 - 2000
- [j12]Valentin Goranko:
Temporal logics with reference pointers and computation tree logics. J. Appl. Non Class. Logics 10(3-4): 221-242 (2000) - [c3]Valentin Goranko, Dimiter Vakarelov:
Sahlqvist Formulas Unleashed in Polyadic Modal Languages. Advances in Modal Logic 2000: 221-240
1990 – 1999
- 1999
- [j11]Valentin Goranko, Dimiter Vakarelov:
Hyperboolean Algebras and Hyperboolean Modal Logic. J. Appl. Non Class. Logics 9(2-3): 345-368 (1999) - [j10]Mark A. Brown, Valentin Goranko:
An Extended Branching-Time Ockhamist Temporal Logic. J. Log. Lang. Inf. 8(2): 143-166 (1999) - [j9]Valentin Goranko:
Modal Logic, Alexander Chagrov and Michael Zakharyaschev. J. Log. Lang. Inf. 8(2): 255-258 (1999) - [j8]Valentin Goranko:
Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. J. Log. Lang. Inf. 8(4): 469-473 (1999) - 1998
- [j7]Valentin Goranko:
Axiomatizations with Context Rules of Inference in Modal Logic. Stud Logica 61(2): 179-197 (1998) - [c2]Valentin Goranko, Dimiter Vakarelov:
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. Advances in Modal Logic 1998: 247-274 - 1996
- [j6]Valentin Goranko:
Hierarchies of Modal and Temporal Logics with Reference Pointers. J. Log. Lang. Inf. 5(1): 1-24 (1996) - 1994
- [j5]Valentin Goranko:
Refutation systems in modal logic. Stud Logica 53(2): 299-324 (1994) - [c1]Valentin Goranko:
Temporal Logic with Reference Pointers. ICTL 1994: 133-148 - 1993
- [j4]George Gargov, Valentin Goranko:
Modal logic with names. J. Philos. Log. 22(6): 607-636 (1993) - 1992
- [j3]Valentin Goranko, Solomon Passy:
Using the Universal Modality: Gains and Questions. J. Log. Comput. 2(1): 5-30 (1992) - 1990
- [j2]Valentin Goranko:
Modal Definability in Enriched Languages. Notre Dame J. Formal Log. 31(1): 81-105 (1990)
1980 – 1989
- 1985
- [j1]Valentin Goranko:
The Craig interpolation theorem for prepositional logics with strong negation. Stud Logica 44(3): 291-317 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
