default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Valentin Goranko
@article{DBLP:journals/cdm/GorankoKZ23,
author = {Valentin Goranko and
Ruaan Kellerman and
Alberto Zanardo},
title = {Structural theory of trees I. Branching and condensations of trees},
journal = {Contributions Discret. Math.},
volume = {18},
number = {2},
pages = {188--209},
year = {2023},
url = {https://doi.org/10.55016/ojs/cdm.v18i2.74004},
doi = {10.55016/OJS/CDM.V18I2.74004},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cdm/GorankoKZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cdm/KellermanZG23,
author = {Ruaan Kellerman and
Alberto Zanardo and
Valentin Goranko},
title = {Structural theory of trees {II.} Completeness and completions of trees},
journal = {Contributions Discret. Math.},
volume = {18},
number = {2},
pages = {210--233},
year = {2023},
url = {https://doi.org/10.55016/ojs/cdm.v18i2.74005},
doi = {10.55016/OJS/CDM.V18I2.74005},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cdm/KellermanZG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/CerritoGP23,
author = {Serenella Cerrito and
Valentin Goranko and
Sophie Paillocher},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Partial Model Checking and Partial Model Synthesis in {LTL} Using
a Tableau-Based Approach},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {23:1--23:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.23},
doi = {10.4230/LIPICS.FSCD.2023.23},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/CerritoGP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/BullingG22,
author = {Nils Bulling and
Valentin Goranko},
title = {Combining quantitative and qualitative reasoning in concurrent multi-player
games},
journal = {Auton. Agents Multi Agent Syst.},
volume = {36},
number = {1},
pages = {2},
year = {2022},
url = {https://doi.org/10.1007/s10458-021-09531-9},
doi = {10.1007/S10458-021-09531-9},
timestamp = {Mon, 27 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/BullingG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GurovGL22,
author = {Dilian Gurov and
Valentin Goranko and
Edvin Lundberg},
title = {Knowledge-based strategies for multi-agent teams playing against Nature},
journal = {Artif. Intell.},
volume = {309},
pages = {103728},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103728},
doi = {10.1016/J.ARTINT.2022.103728},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GurovGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/Goranko22,
author = {Valentin Goranko},
title = {Transformations of Multi-Player Normal form Games by Preplay Offers
between Players},
journal = {Axioms},
volume = {11},
number = {2},
pages = {73},
year = {2022},
url = {https://doi.org/10.3390/axioms11020073},
doi = {10.3390/AXIOMS11020073},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/axioms/Goranko22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/GorankoJ22,
author = {Valentin Goranko and
Fengkui Ju},
title = {A Logic for Conditional Local Strategic Reasoning},
journal = {J. Log. Lang. Inf.},
volume = {31},
number = {2},
pages = {167--188},
year = {2022},
url = {https://doi.org/10.1007/s10849-022-09357-y},
doi = {10.1007/S10849-022-09357-Y},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/GorankoJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EnqvistG22,
author = {Sebastian Enqvist and
Valentin Goranko},
title = {The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer
Games},
journal = {{ACM} Trans. Comput. Log.},
volume = {23},
number = {4},
pages = {21:1--21:58},
year = {2022},
url = {https://doi.org/10.1145/3517128},
doi = {10.1145/3517128},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EnqvistG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BullingG22,
author = {Nils Bulling and
Valentin Goranko},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Combining Quantitative and Qualitative Reasoning in Concurrent Multi-player
Games},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1926--1928},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1926.pdf},
doi = {10.5555/3535850.3536155},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BullingG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GorankoKR21,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
title = {Game-theoretic semantics for ATL\({}^{\mbox{+}}\) with applications
to model checking},
journal = {Inf. Comput.},
volume = {276},
pages = {104554},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104554},
doi = {10.1016/J.IC.2020.104554},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GorankoKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KellermanG21,
author = {Ruaan Kellerman and
Valentin Goranko},
title = {Approximating Trees as Coloured linear Orders and Complete Axiomatisations
of some Classes of Trees},
journal = {J. Symb. Log.},
volume = {86},
number = {3},
pages = {1035--1065},
year = {2021},
url = {https://doi.org/10.1017/jsl.2021.40},
doi = {10.1017/JSL.2021.40},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KellermanG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/ConradieGJ21,
author = {Willem Conradie and
Valentin Goranko and
Peter Jipsen},
editor = {Uli Fahrenberg and
Mai Gehrke and
Luigi Santocanale and
Michael Winter},
title = {Algorithmic Correspondence for Relevance Logics, Bunched Implication
Logics, and Relation Algebras via an Implementation of the Algorithm
{PEARL}},
booktitle = {Relational and Algebraic Methods in Computer Science - 19th International
Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13027},
pages = {126--143},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88701-8\_8},
doi = {10.1007/978-3-030-88701-8\_8},
timestamp = {Mon, 25 Oct 2021 18:18:58 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/ConradieGJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MasellisG21,
author = {Riccardo De Masellis and
Valentin Goranko},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Logic-based Specification and Verification of Homogeneous Dynamic
Multi-agent Systems},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1727--1729},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1727.pdf},
doi = {10.5555/3463952.3464216},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/MasellisG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Goranko21,
author = {Valentin Goranko},
editor = {Fenrong Liu and
Alessandra Marra and
Paul Portner and
Frederik Van De Putte},
title = {How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for
Normative Reasoning},
booktitle = {Deontic Logic and Normative Systems - 15th International Conference,
{DEON} 2020/21, Munich, Germany [virtual], July 21-24, 2021},
pages = {219--238},
publisher = {College Publications},
year = {2021},
timestamp = {Mon, 28 Aug 2023 10:20:20 +0200},
biburl = {https://dblp.org/rec/conf/deon/Goranko21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06148,
author = {Valentin Goranko and
Fengkui Ju},
title = {A Logic for Conditional Local Strategic Reasoning},
journal = {CoRR},
volume = {abs/2102.06148},
year = {2021},
url = {https://arxiv.org/abs/2102.06148},
eprinttype = {arXiv},
eprint = {2102.06148},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06148.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-06603,
author = {Willem Conradie and
Valentin Goranko and
Peter Jipsen},
title = {Algorithmic correspondence for relevance logics, bunched implication
logics, and relation algebras: the algorithm {PEARL} and its implementation
(Technical Report)},
journal = {CoRR},
volume = {abs/2108.06603},
year = {2021},
url = {https://arxiv.org/abs/2108.06603},
eprinttype = {arXiv},
eprint = {2108.06603},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-06603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/MasellisG20,
author = {Riccardo De Masellis and
Valentin Goranko},
title = {Logic-based specification and verification of homogeneous dynamic
multi-agent systems},
journal = {Auton. Agents Multi Agent Syst.},
volume = {34},
number = {2},
pages = {34},
year = {2020},
url = {https://doi.org/10.1007/s10458-020-09457-8},
doi = {10.1007/S10458-020-09457-8},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/MasellisG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/AlechinaG20,
author = {Natasha Alechina and
Valentin Goranko},
title = {Editorial Foreword},
journal = {J. Log. Lang. Inf.},
volume = {29},
number = {1},
pages = {1--2},
year = {2020},
url = {https://doi.org/10.1007/s10849-020-09314-7},
doi = {10.1007/S10849-020-09314-7},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/AlechinaG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GorankoKR20,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
title = {Rational coordination with no communication or conventions},
journal = {J. Log. Comput.},
volume = {30},
number = {6},
pages = {1183--1211},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa032},
doi = {10.1093/LOGCOM/EXAA032},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GorankoKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Goranko20,
author = {Valentin Goranko},
editor = {Nicola Olivetti and
Rineke Verbrugge and
Sara Negri and
Gabriel Sandu},
title = {The Modal Logic of Almost Sure Frame Validities in the Finite},
booktitle = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
August 24-28, 2020},
pages = {249--268},
publisher = {College Publications},
year = {2020},
url = {http://www.aiml.net/volumes/volume13/Goranko.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Goranko20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GorankoKR20,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Gradual Guaranteed Coordination in Repeated Win-Lose Coordination
Games},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {115--122},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200083},
doi = {10.3233/FAIA200083},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GorankoKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12398,
author = {Valentin Goranko},
title = {Model checking and model synthesisfrom partial models: a logic-based
perspective},
journal = {CoRR},
volume = {abs/2012.12398},
year = {2020},
url = {https://arxiv.org/abs/2012.12398},
eprinttype = {arXiv},
eprint = {2012.12398},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-12398.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14195,
author = {Sebastian Enqvist and
Valentin Goranko},
title = {The temporal logic of coalitional goal assignments in concurrent multi-player
games},
journal = {CoRR},
volume = {abs/2012.14195},
year = {2020},
url = {https://arxiv.org/abs/2012.14195},
eprinttype = {arXiv},
eprint = {2012.14195},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14851,
author = {Dilian Gurov and
Valentin Goranko and
Edvin Lundberg},
title = {Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature},
journal = {CoRR},
volume = {abs/2012.14851},
year = {2020},
url = {https://arxiv.org/abs/2012.14851},
eprinttype = {arXiv},
eprint = {2012.14851},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/Goranko19,
author = {Valentin Goranko},
title = {Hybrid Deduction-Refutation Systems},
journal = {Axioms},
volume = {8},
number = {4},
pages = {118},
year = {2019},
url = {https://doi.org/10.3390/axioms8040118},
doi = {10.3390/AXIOMS8040118},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/axioms/Goranko19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GorankoKR19,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
title = {Alternating-time temporal logic {ATL} with finitely bounded semantics},
journal = {Theor. Comput. Sci.},
volume = {797},
pages = {129--155},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.05.029},
doi = {10.1016/J.TCS.2019.05.029},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GorankoKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GorankoJ19,
author = {Valentin Goranko and
Fengkui Ju},
editor = {Patrick Blackburn and
Emiliano Lorini and
Meiyun Guo},
title = {Towards a Logic for Conditional Local Strategic Reasoning},
booktitle = {Logic, Rationality, and Interaction - 7th International Workshop,
{LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11813},
pages = {112--125},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60292-8\_9},
doi = {10.1007/978-3-662-60292-8\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/GorankoJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ConduracheMG19,
author = {Rodica Condurache and
Riccardo De Masellis and
Valentin Goranko},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based
Modelling and Verification},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {106--122},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_7},
doi = {10.1007/978-3-030-33792-6\_7},
timestamp = {Mon, 28 Oct 2019 17:18:02 +0100},
biburl = {https://dblp.org/rec/conf/prima/ConduracheMG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Cerrito0G19,
author = {Serenella Cerrito and
Am{\'{e}}lie David and
Valentin Goranko},
editor = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {Minimisation of Models Satisfying {CTL} Formulas},
booktitle = {26th International Symposium on Temporal Representation and Reasoning,
{TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
series = {LIPIcs},
volume = {147},
pages = {13:1--13:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.13},
doi = {10.4230/LIPICS.TIME.2019.13},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/time/Cerrito0G19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-00810,
author = {Riccardo De Masellis and
Valentin Goranko},
title = {Logic-based Specification and Verification of Homogeneous Dynamic
Multi-agent Systems},
journal = {CoRR},
volume = {abs/1905.00810},
year = {2019},
url = {http://arxiv.org/abs/1905.00810},
eprinttype = {arXiv},
eprint = {1905.00810},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-00810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GorankoK18,
author = {Valentin Goranko and
Antti Kuusisto},
title = {Logics for Propositional Determinacy and Independence},
journal = {Rev. Symb. Log.},
volume = {11},
number = {3},
pages = {470--506},
year = {2018},
url = {https://doi.org/10.1017/S1755020317000272},
doi = {10.1017/S1755020317000272},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/GorankoK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GorankoKR18,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
title = {Game-Theoretic Semantics for Alternating-Time Temporal Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {17:1--17:38},
year = {2018},
url = {https://doi.org/10.1145/3179998},
doi = {10.1145/3179998},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GorankoKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/JuGG18,
author = {Fengkui Ju and
Gianluca Grilletti and
Valentin Goranko},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {A Logic for Temporal Conditionals and a Solution to the Sea Battle
Puzzle},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {407--426},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Ju-Grilletti-Goranko.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/JuGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GorankoE18,
author = {Valentin Goranko and
Sebastian Enqvist},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Socially Friendly and Group Protecting Coalition Logics},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {372--380},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237442},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/GorankoE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/MasellisGGT18,
author = {Riccardo De Masellis and
Valentin Goranko and
Stefan Gruner and
Nils Timm},
editor = {Marija Slavkovik},
title = {Generalising the Dining Philosophers Problem: Competitive Dynamic
Resource Allocation in Multi-agent Systems},
booktitle = {Multi-Agent Systems - 16th European Conference, {EUMAS} 2018, Bergen,
Norway, December 6-7, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11450},
pages = {30--47},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-14174-5\_3},
doi = {10.1007/978-3-030-14174-5\_3},
timestamp = {Tue, 21 Dec 2021 07:45:27 +0100},
biburl = {https://dblp.org/rec/conf/eumas/MasellisGGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Goranko17,
author = {Valentin Goranko},
title = {Dov Gabbay, Reactive Kripke Semantics},
journal = {Stud Logica},
volume = {105},
number = {2},
pages = {431--437},
year = {2017},
url = {https://doi.org/10.1007/s11225-017-9717-0},
doi = {10.1007/S11225-017-9717-0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Goranko17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GorankoKR17,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Game-Theoretic Semantics for {ATL+} with Applications to Model Checking},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1277--1285},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091302},
timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/GorankoKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/GorankoKR17,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
editor = {Francesco Belardinelli and
Estefania Argente},
title = {Rational Coordination in Games with Enriched Representations},
booktitle = {Multi-Agent Systems and Agreement Technologies - 15th European Conference,
{EUMAS} 2017, and 5th International Conference, {AT} 2017, {\'{E}}vry,
France, December 14-15, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10767},
pages = {323--338},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-01713-2\_23},
doi = {10.1007/978-3-030-01713-2\_23},
timestamp = {Tue, 21 Mar 2023 20:59:05 +0100},
biburl = {https://dblp.org/rec/conf/eumas/GorankoKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GorankoKR17,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
editor = {Alexandru Baltag and
Jeremy Seligman and
Tomoyuki Yamada},
title = {Rational Coordination with no Communication or Conventions},
booktitle = {Logic, Rationality, and Interaction - 6th International Workshop,
{LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10455},
pages = {33--48},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55665-8\_3},
doi = {10.1007/978-3-662-55665-8\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GorankoKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GorankoKR17,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {{CTL} with Finitely Bounded Semantics},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {14:1--14:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.14},
doi = {10.4230/LIPICS.TIME.2017.14},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/time/GorankoKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2017,
editor = {Valentin Goranko and
Mads Dam},
title = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-045-3},
isbn = {978-3-95977-045-3},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GorankoKR17,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
title = {Game-Theoretic Semantics for {ATL+} with Applications to Model Checking},
journal = {CoRR},
volume = {abs/1702.08405},
year = {2017},
url = {http://arxiv.org/abs/1702.08405},
eprinttype = {arXiv},
eprint = {1702.08405},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GorankoKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GorankoKR17a,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
title = {Rational coordination with no communication or conventions},
journal = {CoRR},
volume = {abs/1706.07412},
year = {2017},
url = {http://arxiv.org/abs/1706.07412},
eprinttype = {arXiv},
eprint = {1706.07412},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GorankoKR17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Demri2016,
author = {St{\'{e}}phane Demri and
Valentin Goranko and
Martin Lange},
title = {Temporal Logics in Computer Science: Finite-State Systems},
series = {Cambridge Tracts in Theoretical Computer Science},
publisher = {Cambridge University Press},
year = {2016},
url = {https://doi.org/10.1017/CBO9781139236119},
doi = {10.1017/CBO9781139236119},
isbn = {9781107028364},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/cu/Demri2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0040480,
author = {Valentin Goranko},
title = {Logic as a Tool - {A} Guide to Formal Logical Reasoning},
publisher = {Wiley},
year = {2016},
url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1118880005.html},
isbn = {978-1-118-88000-5},
timestamp = {Wed, 08 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0040480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/GorankoJ16,
author = {Valentin Goranko and
Wojciech Jamroga},
title = {State and path coalition effectivity models of concurrent multi-player
games},
journal = {Auton. Agents Multi Agent Syst.},
volume = {30},
number = {3},
pages = {446--485},
year = {2016},
url = {https://doi.org/10.1007/s10458-015-9294-4},
doi = {10.1007/S10458-015-9294-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/GorankoJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/GasquetGS16,
author = {Olivier Gasquet and
Valentin Goranko and
Fran{\c{c}}ois Schwarzentruber},
title = {Big Brother Logic: visual-epistemic reasoning in stationary multi-agent
systems},
journal = {Auton. Agents Multi Agent Syst.},
volume = {30},
number = {5},
pages = {793--825},
year = {2016},
url = {https://doi.org/10.1007/s10458-015-9306-4},
doi = {10.1007/S10458-015-9306-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/GasquetGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AcetoMGIMS16,
author = {Luca Aceto and
Dario Della Monica and
Valentin Goranko and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Angelo Montanari and
Guido Sciavicco},
title = {A complete classification of the expressiveness of interval logics
of Allen's relations: the general and the dense cases},
journal = {Acta Informatica},
volume = {53},
number = {3},
pages = {207--246},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0231-4},
doi = {10.1007/S00236-015-0231-4},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AcetoMGIMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/DuqueG16,
author = {David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko},
title = {Secure aggregation of distributed information: How a team of agents
can safely share secrets in front of a spy},
journal = {Discret. Appl. Math.},
volume = {198},
pages = {118--135},
year = {2016},
url = {https://doi.org/10.1016/j.dam.2015.06.022},
doi = {10.1016/J.DAM.2015.06.022},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/DuqueG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/GorankoT16,
author = {Valentin Goranko and
Paolo Turrini},
title = {Two-Player Preplay Negotiation Games with Conditional Offers},
journal = {{IGTR}},
volume = {18},
number = {1},
pages = {1550017:1--1550017:31},
year = {2016},
url = {https://doi.org/10.1142/S0219198915500176},
doi = {10.1142/S0219198915500176},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igtr/GorankoT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GorankoKR16,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Game-Theoretic Semantics for Alternating-Time Temporal Logic},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {671--679},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937024},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/GorankoKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GorankoK16,
author = {Valentin Goranko and
Louwe B. Kuijer},
editor = {Curtis E. Dyreson and
Michael R. Hansen and
Luke Hunsberger},
title = {On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar
Transition Systems},
booktitle = {23rd International Symposium on Temporal Representation and Reasoning,
{TIME} 2016, Kongens Lyngby, Denmark, October 17-19, 2016},
pages = {177--185},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TIME.2016.26},
doi = {10.1109/TIME.2016.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/GorankoK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GorankoKR16,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
title = {Game-Theoretic Semantics for Alternating-Time Temporal Logic},
journal = {CoRR},
volume = {abs/1602.07667},
year = {2016},
url = {http://arxiv.org/abs/1602.07667},
eprinttype = {arXiv},
eprint = {1602.07667},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GorankoKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GorankoK16,
author = {Valentin Goranko and
Antti Kuusisto},
title = {Logics for Propositional Determinacy and Independence},
journal = {CoRR},
volume = {abs/1609.07398},
year = {2016},
url = {http://arxiv.org/abs/1609.07398},
eprinttype = {arXiv},
eprint = {1609.07398},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GorankoK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0035743,
author = {Willem Conradie and
Valentin Goranko and
Claudette Robinson},
title = {Logic and Discrete Mathematics - {A} Concise Introduction, Solutions
Manual},
publisher = {Wiley},
year = {2015},
url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1118762673.html},
isbn = {978-1-118-76267-7},
timestamp = {Tue, 14 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0035743.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0035742,
author = {Willem Conradie and
Valentin Goranko},
title = {Logic and Discrete Mathematics - {A} Concise Introduction},
publisher = {Wiley},
year = {2015},
url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1118751272.html},
isbn = {978-1-118-75127-5},
timestamp = {Fri, 07 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0035742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Cerrito0G15,
author = {Serenella Cerrito and
Am{\'{e}}lie David and
Valentin Goranko},
title = {Optimal Tableau Method for Constructive Satisfiability Testing and
Model Synthesis in the Alternating-Time Temporal Logic ATL\({}^{\mbox{+}}\)},
journal = {{ACM} Trans. Comput. Log.},
volume = {17},
number = {1},
pages = {4},
year = {2015},
url = {https://doi.org/10.1145/2811261},
doi = {10.1145/2811261},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Cerrito0G15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BullingGJ15,
author = {Nils Bulling and
Valentin Goranko and
Wojciech Jamroga},
editor = {Johan van Benthem and
Sujata Ghosh and
Rineke Verbrugge},
title = {Logics for Reasoning About Strategic Abilities in Multi-player Games},
booktitle = {Models of Strategic Reasoning - Logics, Games, and Communities},
series = {Lecture Notes in Computer Science},
volume = {8972},
pages = {93--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48540-8\_4},
doi = {10.1007/978-3-662-48540-8\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BullingGJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BresolinMGMS14,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {The dark side of interval temporal logic: marking the undecidability
border},
journal = {Ann. Math. Artif. Intell.},
volume = {71},
number = {1-3},
pages = {41--83},
year = {2014},
url = {https://doi.org/10.1007/s10472-013-9376-4},
doi = {10.1007/S10472-013-9376-4},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/BresolinMGMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GorankoV14,
author = {Valentin Goranko and
Steen Vester},
editor = {Rajeev Gor{\'{e}} and
Barteld P. Kooi and
Agi Kurucz},
title = {Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time
Temporal Logics},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on "Advances in Modal Logic," held in Groningen,
The Netherlands, August 5-8, 2014},
pages = {234--253},
publisher = {College Publications},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Goranko-Vester.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GorankoV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GasquetGS14,
author = {Olivier Gasquet and
Valentin Goranko and
Fran{\c{c}}ois Schwarzentruber},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Big brother logic: logical modeling and reasoning about agents equipped
with surveillance cameras in the plane},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {325--332},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615786},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/GasquetGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CerritoDG14,
author = {Serenella Cerrito and
Am{\'{e}}lie David and
Valentin Goranko},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Optimal Tableaux-Based Decision Procedure for Testing Satisfiability
in the Alternating-Time Temporal Logic {ATL+}},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {277--291},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_21},
doi = {10.1007/978-3-319-08587-6\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/CerritoDG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GorankoP14,
author = {Valentin Goranko and
Eric Pacuit},
editor = {Alexandru Baltag and
Sonja Smets},
title = {Temporal Aspects of the Dynamics of Knowledge},
booktitle = {Johan van Benthem on Logic and Information Dynamics},
pages = {235--266},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06025-5\_9},
doi = {10.1007/978-3-319-06025-5\_9},
timestamp = {Mon, 26 Jun 2023 08:47:47 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/GorankoP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CerritoDG14,
author = {Serenella Cerrito and
Am{\'{e}}lie David and
Valentin Goranko},
title = {Optimal Tableaux Method for Constructive Satisfiability Testing and
Model Synthesis in the Alternating-time Temporal Logic {ATL+}},
journal = {CoRR},
volume = {abs/1407.4645},
year = {2014},
url = {http://arxiv.org/abs/1407.4645},
eprinttype = {arXiv},
eprint = {1407.4645},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CerritoDG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DuqueG14,
author = {David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko},
title = {Secure aggregation of distributed information},
journal = {CoRR},
volume = {abs/1407.7582},
year = {2014},
url = {http://arxiv.org/abs/1407.7582},
eprinttype = {arXiv},
eprint = {1407.7582},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuqueG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/GorankoJT13,
author = {Valentin Goranko and
Wojciech Jamroga and
Paolo Turrini},
title = {Strategic games and truly playable effectivity functions},
journal = {Auton. Agents Multi Agent Syst.},
volume = {26},
number = {2},
pages = {288--314},
year = {2013},
url = {https://doi.org/10.1007/s10458-012-9192-y},
doi = {10.1007/S10458-012-9192-Y},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/GorankoJT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AjspurGS13,
author = {Mai Ajspur and
Valentin Goranko and
Dmitry Shkatov},
title = {Tableau-based decision procedure for the multiagent epistemic logic
with all coalitional operators for common and distributed knowledge},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {407--437},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs048},
doi = {10.1093/JIGPAL/JZS048},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AjspurGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BresolinMGMS13,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Metric propositional neighborhood logics on natural numbers},
journal = {Softw. Syst. Model.},
volume = {12},
number = {2},
pages = {245--264},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0195-y},
doi = {10.1007/S10270-011-0195-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BresolinMGMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/AjspurG13,
author = {Mai Ajspur and
Valentin Goranko},
editor = {Kamal Lodaya},
title = {Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous
Temporal Epistemic Logics with Interacting Time and Knowledge},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {80--96},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_8},
doi = {10.1007/978-3-642-36039-8\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/AjspurG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GorankoT13,
author = {Valentin Goranko and
Paolo Turrini},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay
Negotiation Games with Conditional Offers},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {110--123},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_9},
doi = {10.1007/978-3-642-40948-6\_9},
timestamp = {Sun, 02 Jun 2019 21:21:18 +0200},
biburl = {https://dblp.org/rec/conf/lori/GorankoT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-0789,
author = {Nils Bulling and
Valentin Goranko},
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {How to Be Both Rich and Happy: Combining Quantitative and Qualitative
Strategic Reasoning about Multi-Player Games (Extended Abstract)},
booktitle = {Proceedings 1st International Workshop on Strategic Reasoning, {SR}
2013, Rome, Italy, March 16-17, 2013},
series = {{EPTCS}},
volume = {112},
pages = {33--41},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.112.8},
doi = {10.4204/EPTCS.112.8},
timestamp = {Sat, 30 Sep 2023 10:08:06 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-0789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MonicaGMS12,
author = {Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Crossing the Undecidability Border with Extensions of Propositional
Neighborhood Logic over Natural Numbers},
journal = {J. Univers. Comput. Sci.},
volume = {18},
number = {20},
pages = {2798--2831},
year = {2012},
url = {https://doi.org/10.3217/jucs-018-20-2798},
doi = {10.3217/JUCS-018-20-2798},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/MonicaGMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/AielloBBG12,
author = {Marco Aiello and
Guram Bezhanishvili and
Isabelle Bloch and
Valentin Goranko},
title = {Logic for physical space - From antiquity to present days},
journal = {Synth.},
volume = {186},
number = {3},
pages = {619--632},
year = {2012},
url = {https://doi.org/10.1007/s11229-011-9913-9},
doi = {10.1007/S11229-011-9913-9},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/AielloBBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/GorankoJ12,
author = {Valentin Goranko and
Wojciech Jamroga},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {State and path coalition effectivity models for logics of multi-player
games},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1123--1130},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2343857},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/GorankoJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Goranko12,
author = {Valentin Goranko},
editor = {Ben C. Moszkowski and
Mark Reynolds and
Paolo Terenziani},
title = {Undecidability and Temporal Logic: Some Landmarks from Turing to the
Present},
booktitle = {19th International Symposium on Temporal Representation and Reasoning,
{TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
pages = {3--4},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TIME.2012.26},
doi = {10.1109/TIME.2012.26},
timestamp = {Thu, 15 Feb 2024 11:49:14 +0100},
biburl = {https://dblp.org/rec/conf/time/Goranko12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esslli/2011,
editor = {Nick Bezhanishvili and
Valentin Goranko},
title = {Lectures on Logic and Computation - {ESSLLI} 2010 Copenhagen, Denmark,
August 2010, {ESSLLI} 2011, Ljubljana, Slovenia, August 2011, Selected
Lecture Notes},
series = {Lecture Notes in Computer Science},
volume = {7388},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31485-8},
doi = {10.1007/978-3-642-31485-8},
isbn = {978-3-642-31484-1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esslli/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5346,
author = {Mai Ajspur and
Valentin Goranko and
Dmitry Shkatov},
title = {Tableau-based decision procedure for the multi-agent epistemic logic
with all coalitional operators for common and distributed knowledge},
journal = {CoRR},
volume = {abs/1201.5346},
year = {2012},
url = {http://arxiv.org/abs/1201.5346},
eprinttype = {arXiv},
eprint = {1201.5346},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-5346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-1718,
author = {Valentin Goranko and
Paolo Turrini},
title = {Non-cooperative games with preplay negotiations},
journal = {CoRR},
volume = {abs/1208.1718},
year = {2012},
url = {http://arxiv.org/abs/1208.1718},
eprinttype = {arXiv},
eprint = {1208.1718},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-1718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-1758,
author = {Valentin Goranko},
title = {Transformations of normal form games by preplay offers for payments
among players},
journal = {CoRR},
volume = {abs/1208.1758},
year = {2012},
url = {http://arxiv.org/abs/1208.1758},
eprinttype = {arXiv},
eprint = {1208.1758},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-1758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/MonicaGMS11,
author = {Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Interval Temporal Logics: a Journey},
journal = {Bull. {EATCS}},
volume = {105},
pages = {73--99},
year = {2011},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/94},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/MonicaGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GorankoK11,
author = {Valentin Goranko and
Ruaan Kellerman},
title = {Classes and theories of trees associated with a class of linear orders},
journal = {Log. J. {IGPL}},
volume = {19},
number = {1},
pages = {217--232},
year = {2011},
url = {https://doi.org/10.1093/jigpal/jzq043},
doi = {10.1093/JIGPAL/JZQ043},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GorankoK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GorankoJ11,
author = {Valentin Goranko and
Wojciech Jamroga},
title = {Foreword},
journal = {J. Appl. Non Class. Logics},
volume = {21},
number = {1},
pages = {7--8},
year = {2011},
url = {https://doi.org/10.1080/11663081.2011.9736653},
doi = {10.1080/11663081.2011.9736653},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GorankoJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GorankoJT11,
author = {Valentin Goranko and
Wojciech Jamroga and
Paolo Turrini},
editor = {Liz Sonenberg and
Peter Stone and
Kagan Tumer and
Pinar Yolum},
title = {Strategic games and truly playable effectivity functions},
booktitle = {10th International Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
pages = {727--734},
publisher = {{IFAAMAS}},
year = {2011},
url = {http://portal.acm.org/citation.cfm?id=2031721\&\#38;CFID=54178199\&\#38;CFTOKEN=61392764},
timestamp = {Fri, 18 Nov 2011 09:09:28 +0100},
biburl = {https://dblp.org/rec/conf/atal/GorankoJT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MonicaGMS11,
author = {Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Toby Walsh},
title = {Expressiveness of the Interval Logics of Allen's Relations on the
Class of All Linear Orders: Complete Classification},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {845--850},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-147},
doi = {10.5591/978-1-57735-516-8/IJCAI11-147},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MonicaGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMGMS11,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {The Dark Side of Interval Temporal Logic: Sharpening the Undecidability
Border},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {131--138},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.21},
doi = {10.1109/TIME.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DitmarschDGJO11,
author = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojtek Jamroga and
Manuel Ojeda{-}Aciego},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {Preface},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {1--2},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.001},
doi = {10.1016/J.ENTCS.2011.10.001},
timestamp = {Fri, 10 Mar 2023 15:30:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DitmarschDGJO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BalbianiGS11,
author = {Philippe Balbiani and
Valentin Goranko and
Guido Sciavicco},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {Two-sorted Point-Interval Temporal Logics},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {31--45},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.004},
doi = {10.1016/J.ENTCS.2011.10.004},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BalbianiGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/m4m/2011,
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
publisher = {Elsevier},
year = {2011},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/278/suppl/C},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/m4m/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DemriFGD10,
author = {St{\'{e}}phane Demri and
Alain Finkel and
Valentin Goranko and
Govert van Drimmelen},
title = {Model-checking CTL* over flat Presburger counter systems},
journal = {J. Appl. Non Class. Logics},
volume = {20},
number = {4},
pages = {313--344},
year = {2010},
url = {https://doi.org/10.3166/jancl.20.313-344},
doi = {10.3166/JANCL.20.313-344},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/DemriFGD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/ConradieGV10,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic correspondence and completeness in modal logic. V. Recursive
extensions of {SQEMA}},
journal = {J. Appl. Log.},
volume = {8},
number = {4},
pages = {319--333},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2010.08.002},
doi = {10.1016/J.JAL.2010.08.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/ConradieGV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BresolinGMS10,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
title = {Tableaux for Logics of Subinterval Structures over Dense Orderings},
journal = {J. Log. Comput.},
volume = {20},
number = {1},
pages = {133--166},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn063},
doi = {10.1093/LOGCOM/EXN063},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BresolinGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Goranko10,
author = {Valentin Goranko},
title = {Book Reviews},
journal = {Stud Logica},
volume = {94},
number = {3},
pages = {443--445},
year = {2010},
url = {https://doi.org/10.1007/s11225-010-9239-5},
doi = {10.1007/S11225-010-9239-5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Goranko10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BresolinMGMS10,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Metric Propositional Neighborhood Logics: Expressiveness, Decidability,
and Undecidability},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {695--700},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-695},
doi = {10.3233/978-1-60750-606-5-695},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BresolinMGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MonicaGS11,
author = {Dario Della Monica and
Valentin Goranko and
Guido Sciavicco},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {Hybrid Metric Propositional Neighborhood Logics with Interval Length
Binders},
booktitle = {International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS
2010, Edinburgh, Scotland, UK, July 10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {273},
pages = {3--19},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.06.009},
doi = {10.1016/J.ENTCS.2011.06.009},
timestamp = {Fri, 10 Mar 2023 14:46:15 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MonicaGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2010,
editor = {Lev D. Beklemishev and
Valentin Goranko and
Valentin B. Shehtman},
title = {Advances in Modal Logic 8, papers from the eighth conference on "Advances
in Modal Logic," held in Moscow, Russia, 24-27 August 2010},
publisher = {College Publications},
year = {2010},
url = {http://www.aiml.net/volumes/volume8/},
isbn = {978-1-84890-013-4},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Propositional interval neighborhood logics: Expressiveness, decidability,
and undecidable extensions},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {289--304},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.003},
doi = {10.1016/J.APAL.2009.07.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ConradieGV09,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic Correspondence and Completeness in Modal Logic. {III.}
Extensions of the Algorithm {SQEMA} with Substitutions},
journal = {Fundam. Informaticae},
volume = {92},
number = {4},
pages = {307--343},
year = {2009},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi92-4-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ConradieGV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GorankoS09,
author = {Valentin Goranko and
Dmitry Shkatov},
title = {Tableau-based decision procedures for logics of strategic ability
in multiagent systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {11},
number = {1},
pages = {3:1--3:51},
year = {2009},
url = {https://doi.org/10.1145/1614431.1614434},
doi = {10.1145/1614431.1614434},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GorankoS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GorankoS09,
author = {Valentin Goranko and
Dmitry Shkatov},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {Tableau-based decision procedure for full coalitional multiagent temporal-epistemic
logic of linear time},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
2},
pages = {969--976},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558147},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/GorankoS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GorankoS09,
author = {Valentin Goranko and
Dmitry Shkatov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional
Multiagent Epistemic Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {197--213},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_14},
doi = {10.1007/978-3-540-92687-0\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GorankoS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/GorankoS09,
author = {Valentin Goranko and
Dmitry Shkatov},
editor = {Matteo Baldoni and
Cristina Baroglio and
Jamal Bentahar and
Guido Boella and
Massimo Cossentino and
Mehdi Dastani and
Barbara Dunin{-}Keplicz and
Giancarlo Fortino and
Marie{-}Pierre Gleizes and
Jo{\~{a}}o Leite and
Viviana Mascardi and
Julian A. Padget and
Juan Pav{\'{o}}n and
Axel Polleres and
Amal El Fallah Seghrouchni and
Paolo Torroni and
Rineke Verbrugge},
title = {Tableau-based Decision Procedure for the Full Coalitional Multiagent
Logic of Branching Time},
booktitle = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
Federated Workshops, Turin, Italy, September 7-10, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {494},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-494/famaspaper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/GorankoS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {Right Propositional Neighborhood Logic over Natural Numbers with Integer
Constraints for Interval Lengths},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {240--249},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.36},
doi = {10.1109/SEFM.2009.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMGMS09,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Carsten Lutz and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Undecidability of Interval Temporal Logics with the Overlap Modality},
booktitle = {{TIME} 2009, 16th International Symposium on Temporal Representation
and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings},
pages = {88--95},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TIME.2009.24},
doi = {10.1109/TIME.2009.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BresolinMGMS10,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {Undecidability of the Logic of Overlap Relation over Discrete Linear
Orderings},
booktitle = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6}
2009, Copenhagen, Denmark, November 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {262},
pages = {65--81},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.04.006},
doi = {10.1016/J.ENTCS.2010.04.006},
timestamp = {Thu, 09 Mar 2023 15:44:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BresolinMGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GorankoKS10,
author = {Valentin Goranko and
Angelo Kyrilov and
Dmitry Shkatov},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {Tableau Tool for Testing Satisfiability in {LTL:} Implementation and
Experimental Analysis},
booktitle = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6}
2009, Copenhagen, Denmark, November 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {262},
pages = {113--125},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.04.009},
doi = {10.1016/J.ENTCS.2010.04.009},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GorankoKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilc/2007,
editor = {Margaret Archibald and
Vasco Brattka and
Valentin Goranko and
Benedikt L{\"{o}}we},
title = {Infinity in Logic and Computation, International Conference, {ILC}
2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5489},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03092-5},
doi = {10.1007/978-3-642-03092-5},
isbn = {978-3-642-03091-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilc/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2104,
author = {Valentin Goranko and
Dmitry Shkatov},
title = {Tableau-based decision procedure for full coalitional multiagent temporal-epistemic
logic of linear time},
journal = {CoRR},
volume = {abs/0902.2104},
year = {2009},
url = {http://arxiv.org/abs/0902.2104},
eprinttype = {arXiv},
eprint = {0902.2104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-2104.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2125,
author = {Valentin Goranko and
Dmitry Shkatov},
title = {Tableau-based procedure for deciding satisfiability in the full coalitional
multiagent epistemic logic},
journal = {CoRR},
volume = {abs/0902.2125},
year = {2009},
url = {http://arxiv.org/abs/0902.2125},
eprinttype = {arXiv},
eprint = {0902.2125},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-2125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/ConradieG08,
author = {Willem Conradie and
Valentin Goranko},
title = {Algorithmic correspondence and completeness in modal logic},
journal = {J. Appl. Non Class. Logics},
volume = {18},
number = {2-3},
pages = {175--211},
year = {2008},
url = {https://doi.org/10.3166/JANCL.18.175-211},
doi = {10.3166/JANCL.18.175-211},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/ConradieG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BresolinMGMS08,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Decidable and Undecidable Fragments of Halpern and Shoham's Interval
Temporal Logic: Towards a Complete Classification},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {590--604},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_41},
doi = {10.1007/978-3-540-89439-1\_41},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BresolinMGMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GorankoS08,
author = {Valentin Goranko and
Dmitry Shkatov},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic
with Operators of Common and Distributed Knowledge},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {237--246},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.27},
doi = {10.1109/SEFM.2008.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GorankoS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0803-2306,
author = {Valentin Goranko and
Dmitry Shkatov},
title = {Tableau-based decision procedures for logics of strategic ability
in multi-agent systems},
journal = {CoRR},
volume = {abs/0803.2306},
year = {2008},
url = {http://arxiv.org/abs/0803.2306},
eprinttype = {arXiv},
eprint = {0803.2306},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0803-2306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-4133,
author = {Valentin Goranko and
Dmitry Shkatov},
title = {Tableau-based decision procedure for the multi-agent epistemic logic
with operators of common and distributed knowledge},
journal = {CoRR},
volume = {abs/0808.4133},
year = {2008},
url = {http://arxiv.org/abs/0808.4133},
eprinttype = {arXiv},
eprint = {0808.4133},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-4133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-5516,
author = {Wilmari Bekker and
Valentin Goranko},
title = {Symbolic model checking of tense logics on rational Kripke models},
journal = {CoRR},
volume = {abs/0810.5516},
year = {2008},
url = {http://arxiv.org/abs/0810.5516},
eprinttype = {arXiv},
eprint = {0810.5516},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-5516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GorankoZ07,
author = {Valentin Goranko and
Alberto Zanardo},
title = {From Linear to Branching-Time Temporal Logics: Transfer of Semantics
and Definability},
journal = {Log. J. {IGPL}},
volume = {15},
number = {1},
pages = {53--76},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzl035},
doi = {10.1093/JIGPAL/JZL035},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GorankoZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Goranko07,
author = {Valentin Goranko},
title = {\emph{Logic in Computer Science}: Modelling and Reasoning About Systems},
journal = {J. Log. Lang. Inf.},
volume = {16},
number = {1},
pages = {117--120},
year = {2007},
url = {https://doi.org/10.1007/s10849-006-9017-y},
doi = {10.1007/S10849-006-9017-Y},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Goranko07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilc/BekkerG07,
author = {Wilmari Bekker and
Valentin Goranko},
editor = {Margaret Archibald and
Vasco Brattka and
Valentin Goranko and
Benedikt L{\"{o}}we},
title = {Symbolic Model Checking of Tense Logics on Rational Kripke Models},
booktitle = {Infinity in Logic and Computation, International Conference, {ILC}
2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5489},
pages = {2--20},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-03092-5\_2},
doi = {10.1007/978-3-642-03092-5\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/ilc/BekkerG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BresolinGMS07,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Decidability and Expressiveness of Propositional Interval Neighborhood
Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {84--99},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_7},
doi = {10.1007/978-3-540-72734-7\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BresolinGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinGMS07,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
editor = {Nicola Olivetti},
title = {Tableau Systems for Logics of Subinterval Structures over Dense Orderings},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {73--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_8},
doi = {10.1007/978-3-540-73099-6\_8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/AgotnesGJ07,
author = {Thomas {\AA}gotnes and
Valentin Goranko and
Wojciech Jamroga},
editor = {Dov Samet},
title = {Alternating-time temporal logics with irrevocable strategies},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
pages = {15--24},
year = {2007},
url = {https://doi.org/10.1145/1324249.1324256},
doi = {10.1145/1324249.1324256},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/AgotnesGJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Complete and Terminating Tableau for the Logic of Proper Subinterval
Structures Over Dense Orderings},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {131--151},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.033},
doi = {10.1016/J.ENTCS.2009.02.033},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/07/GorankoO07,
author = {Valentin Goranko and
Martin Otto},
editor = {Patrick Blackburn and
J. F. A. K. van Benthem and
Frank Wolter},
title = {Model theory of modal logic},
booktitle = {Handbook of Modal Logic},
series = {Studies in logic and practical reasoning},
volume = {3},
pages = {249--329},
publisher = {North-Holland},
year = {2007},
url = {https://doi.org/10.1016/s1570-2464(07)80008-5},
doi = {10.1016/S1570-2464(07)80008-5},
timestamp = {Thu, 18 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/07/GorankoO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/spatial/BalbianiGKV07,
author = {Philippe Balbiani and
Valentin Goranko and
Ruaan Kellerman and
Dimiter Vakarelov},
editor = {Marco Aiello and
Ian Pratt{-}Hartmann and
Johan van Benthem},
title = {Logical Theories for Fragments of Elementary Geometry},
booktitle = {Handbook of Spatial Logics},
pages = {343--428},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-4020-5587-4\_7},
doi = {10.1007/978-1-4020-5587-4\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/spatial/BalbianiGKV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GorankoV06,
author = {Valentin Goranko and
Dimiter Vakarelov},
title = {Elementary canonical formulae: extending Sahlqvist's theorem},
journal = {Ann. Pure Appl. Log.},
volume = {141},
number = {1-2},
pages = {180--217},
year = {2006},
url = {https://doi.org/10.1016/j.apal.2005.10.005},
doi = {10.1016/J.APAL.2005.10.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GorankoV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/GorankoMSS06,
author = {Valentin Goranko and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {A general tableau method for propositional interval temporal logics:
Theory and implementation},
journal = {J. Appl. Log.},
volume = {4},
number = {3},
pages = {305--330},
year = {2006},
url = {https://doi.org/10.1016/j.jal.2005.06.012},
doi = {10.1016/J.JAL.2005.06.012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/GorankoMSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ConradieGV06,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic correspondence and completeness in modal logic. I. The
core algorithm {SQEMA}},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {1},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(1:5)2006},
doi = {10.2168/LMCS-2(1:5)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ConradieGV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ConradieGV06,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic Correspondence and Completeness in Modal Logic. {II.}
Polyadic and Hybrid Extensions of the Algorithm {SQEMA}},
journal = {J. Log. Comput.},
volume = {16},
number = {5},
pages = {579--612},
year = {2006},
url = {https://doi.org/10.1093/logcom/exl026},
doi = {10.1093/LOGCOM/EXL026},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ConradieGV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GorankoD06,
author = {Valentin Goranko and
Govert van Drimmelen},
title = {Complete axiomatization and decidability of Alternating-time temporal
logic},
journal = {Theor. Comput. Sci.},
volume = {353},
number = {1-3},
pages = {93--117},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.07.043},
doi = {10.1016/J.TCS.2005.07.043},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GorankoD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DemriFGD06,
author = {St{\'{e}}phane Demri and
Alain Finkel and
Valentin Goranko and
Govert van Drimmelen},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Towards a Model-Checker for Counter Systems},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {493--507},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_36},
doi = {10.1007/11901914\_36},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DemriFGD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0602024,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic correspondence and completeness in modal logic. I. The
core algorithm {SQEMA}},
journal = {CoRR},
volume = {abs/cs/0602024},
year = {2006},
url = {http://arxiv.org/abs/cs/0602024},
eprinttype = {arXiv},
eprint = {cs/0602024},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0602024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GorankoMS04,
author = {Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {A Road Map of Interval Temporal Logics and Duration Calculi},
journal = {J. Appl. Non Class. Logics},
volume = {14},
number = {1-2},
pages = {9--54},
year = {2004},
url = {https://doi.org/10.3166/jancl.14.9-54},
doi = {10.3166/JANCL.14.9-54},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GorankoMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CantiniG04,
author = {Andrea Cantini and
Valentin Goranko},
title = {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},
journal = {Stud Logica},
volume = {76},
number = {1},
pages = {135--142},
year = {2004},
url = {https://doi.org/10.1023/B:STUD.0000027550.80518.77},
doi = {10.1023/B:STUD.0000027550.80518.77},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/CantiniG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/GorankoJ04,
author = {Valentin Goranko and
Wojciech Jamroga},
title = {Comparing Semantics of Logics for Multi-Agent Systems},
journal = {Synth.},
volume = {139},
number = {2},
pages = {241--280},
year = {2004},
url = {https://doi.org/10.1023/B:SYNT.0000024915.66183.d1},
doi = {10.1023/B:SYNT.0000024915.66183.D1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/GorankoJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/ConradieGV04,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
editor = {Renate A. Schmidt and
Ian Pratt{-}Hartmann and
Mark Reynolds and
Heinrich Wansing},
title = {Elementary Canonical Formulae: {A} Survey on Syntactic, Algorithmic,
and Model?theoretic Aspects},
booktitle = {Advances in Modal Logic 5, papers from the fifth conference on "Advances
in Modal logic," held in Manchester, UK, 9-11 September 2004},
pages = {17--51},
publisher = {King's College Publications},
year = {2004},
url = {http://www.aiml.net/volumes/volume5/Goranko.ps},
timestamp = {Thu, 15 Feb 2024 11:49:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/ConradieGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GorankoK03,
author = {Valentin Goranko and
Bruce M. Kapron},
title = {The modal logic of the countable random frame},
journal = {Arch. Math. Log.},
volume = {42},
number = {3},
pages = {221--243},
year = {2003},
url = {https://doi.org/10.1007/s001530100135},
doi = {10.1007/S001530100135},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/GorankoK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GorankoMS03,
author = {Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Propositional Interval Neighborhood Temporal Logics},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {9},
pages = {1137--1167},
year = {2003},
url = {https://doi.org/10.3217/jucs-009-09-1137},
doi = {10.3217/JUCS-009-09-1137},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GorankoMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Goranko03,
author = {Valentin Goranko},
title = {The Basic Algebra of Game Equivalences},
journal = {Stud Logica},
volume = {75},
number = {2},
pages = {221--238},
year = {2003},
url = {https://doi.org/10.1023/A:1027311011342},
doi = {10.1023/A:1027311011342},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Goranko03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GorankoHSV03,
author = {Valentin Goranko and
Ullrich Hustadt and
Renate A. Schmidt and
Dimiter Vakarelov},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {{SCAN} Is Complete for All Sahlqvist Formulae},
booktitle = {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, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {149--162},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_13},
doi = {10.1007/978-3-540-24771-5\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/GorankoHSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GorankoMS03,
author = {Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Marta Cialdea Mayer and
Fiora Pirri},
title = {A General Tableau Method for Propositional Interval Temporal Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2003, Rome, Italy, September 9-12, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2796},
pages = {102--116},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45206-5\_10},
doi = {10.1007/978-3-540-45206-5\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GorankoMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BalbianiG02,
author = {Philippe Balbiani and
Valentin Goranko},
title = {Modal Logics for Parallelism, Orthogonality, and Affine Geometries},
journal = {J. Appl. Non Class. Logics},
volume = {12},
number = {3-4},
pages = {365--398},
year = {2002},
url = {https://doi.org/10.3166/jancl.12.365-397},
doi = {10.3166/JANCL.12.365-397},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BalbianiG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GorankoV01,
author = {Valentin Goranko and
Dimiter Vakarelov},
title = {Sahlqvist Formulas in Hybrid Polyadic Modal Logics},
journal = {J. Log. Comput.},
volume = {11},
number = {5},
pages = {737--754},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.5.737},
doi = {10.1093/LOGCOM/11.5.737},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GorankoV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BlackburnG01,
author = {Patrick Blackburn and
Valentin Goranko},
title = {Hybrid Ockhamist Temporal Logic},
booktitle = {Eigth International Symposium on Temporal Representation and Reasoning,
TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},
pages = {183--188},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TIME.2001.930716},
doi = {10.1109/TIME.2001.930716},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BlackburnG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Goranko00,
author = {Valentin Goranko},
title = {Temporal logics with reference pointers and computation tree logics},
journal = {J. Appl. Non Class. Logics},
volume = {10},
number = {3-4},
pages = {221--242},
year = {2000},
url = {https://doi.org/10.1080/11663081.2000.10510998},
doi = {10.1080/11663081.2000.10510998},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Goranko00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GorankoV00,
author = {Valentin Goranko and
Dimiter Vakarelov},
editor = {Frank Wolter and
Heinrich Wansing and
Maarten de Rijke and
Michael Zakharyaschev},
title = {Sahlqvist Formulas Unleashed in Polyadic Modal Languages},
booktitle = {Advances in Modal Logic 3, papers from the third conference on "Advances
in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
pages = {221--240},
publisher = {World Scientific},
year = {2000},
url = {https://doi.org/10.1142/9789812776471\_0012},
doi = {10.1142/9789812776471\_0012},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GorankoV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GorankoV99,
author = {Valentin Goranko and
Dimiter Vakarelov},
title = {Hyperboolean Algebras and Hyperboolean Modal Logic},
journal = {J. Appl. Non Class. Logics},
volume = {9},
number = {2-3},
pages = {345--368},
year = {1999},
url = {https://doi.org/10.1080/11663081.1999.10510971},
doi = {10.1080/11663081.1999.10510971},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GorankoV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BrownG99,
author = {Mark A. Brown and
Valentin Goranko},
title = {An Extended Branching-Time Ockhamist Temporal Logic},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {143--166},
year = {1999},
url = {https://doi.org/10.1023/A:1008398102653},
doi = {10.1023/A:1008398102653},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BrownG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Goranko99a,
author = {Valentin Goranko},
title = {Modal Logic, Alexander Chagrov and Michael Zakharyaschev},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {255--258},
year = {1999},
url = {https://doi.org/10.1023/A:1008282618104},
doi = {10.1023/A:1008282618104},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Goranko99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Goranko99,
author = {Valentin Goranko},
title = {Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram
Moses, and Moshe Y. Vardi},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {469--473},
year = {1999},
url = {https://doi.org/10.1023/A:1008224520671},
doi = {10.1023/A:1008224520671},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Goranko99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Goranko98,
author = {Valentin Goranko},
title = {Axiomatizations with Context Rules of Inference in Modal Logic},
journal = {Stud Logica},
volume = {61},
number = {2},
pages = {179--197},
year = {1998},
url = {https://doi.org/10.1023/A:1005021313747},
doi = {10.1023/A:1005021313747},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Goranko98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GorankoV98,
author = {Valentin Goranko and
Dimiter Vakarelov},
editor = {Michael Zakharyaschev and
Krister Segerberg and
Maarten de Rijke and
Heinrich Wansing},
title = {Modal Logic and Universal Algebra {I:} Modal Axiomatizations of Structures},
booktitle = {Advances in Modal Logic 2, papers from the second workshop on "Advances
in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
pages = {247--274},
publisher = {{CSLI} Publications},
year = {1998},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GorankoV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Goranko96,
author = {Valentin Goranko},
title = {Hierarchies of Modal and Temporal Logics with Reference Pointers},
journal = {J. Log. Lang. Inf.},
volume = {5},
number = {1},
pages = {1--24},
year = {1996},
url = {https://doi.org/10.1007/BF00215625},
doi = {10.1007/BF00215625},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Goranko96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Goranko94,
author = {Valentin Goranko},
title = {Refutation systems in modal logic},
journal = {Stud Logica},
volume = {53},
number = {2},
pages = {299--324},
year = {1994},
url = {https://doi.org/10.1007/BF01054714},
doi = {10.1007/BF01054714},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Goranko94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Goranko94,
author = {Valentin Goranko},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Temporal Logic with Reference Pointers},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {133--148},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013985},
doi = {10.1007/BFB0013985},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/Goranko94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/GargovG93,
author = {George Gargov and
Valentin Goranko},
title = {Modal logic with names},
journal = {J. Philos. Log.},
volume = {22},
number = {6},
pages = {607--636},
year = {1993},
url = {https://doi.org/10.1007/BF01054038},
doi = {10.1007/BF01054038},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/GargovG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GorankoP92,
author = {Valentin Goranko and
Solomon Passy},
title = {Using the Universal Modality: Gains and Questions},
journal = {J. Log. Comput.},
volume = {2},
number = {1},
pages = {5--30},
year = {1992},
url = {https://doi.org/10.1093/logcom/2.1.5},
doi = {10.1093/LOGCOM/2.1.5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GorankoP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goranko90,
author = {Valentin Goranko},
title = {Modal Definability in Enriched Languages},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {1},
pages = {81--105},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635335},
doi = {10.1305/NDJFL/1093635335},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goranko90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Goranko85,
author = {Valentin Goranko},
title = {The Craig interpolation theorem for prepositional logics with strong
negation},
journal = {Stud Logica},
volume = {44},
number = {3},
pages = {291--317},
year = {1985},
url = {https://doi.org/10.1007/BF00394448},
doi = {10.1007/BF00394448},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Goranko85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-07-20 21:20 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:
