Volgen
Valentin Goranko
Valentin Goranko
Professor of Logic and Theoretical Philosophy, Stockholm University
Geverifieerd e-mailadres voor philosophy.su.se - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Using the universal modality: gains and questions
V Goranko, S Passy
Journal of Logic and Computation 2 (1), 5-30, 1992
3751992
5 Model theory of modal logic
V Goranko, M Otto
Handbook of Modal Logic, 249-329, 2007
2382007
Modal logic with names
G Gargov, V Goranko
Journal of Philosophical Logic, 607-636, 1993
2221993
A road map of interval temporal logics and duration calculi
V Goranko, A Montanari, G Sciavicco
Journal of Applied Non-Classical Logics 14 (1-2), 9-54, 2004
1802004
Complete axiomatization and decidability of alternating-time temporal logic
V Goranko, G Van Drimmelen
Theoretical Computer Science 353 (1-3), 93-117, 2006
1752006
Coalition games and alternating temporal logics
V Goranko
Theoretical Aspects Of Rationality And Knowledge: Proceedings of the 8 thá…, 2001
1512001
Alternating-time temporal logics with irrevocable strategies
T ┼gotnes, V Goranko, W Jamroga
Proceedings of the 11th conference on Theoretical aspects of rationality andá…, 2007
1382007
Comparing semantics of logics for multi-agent systems
V Goranko, W Jamroga
Synthese, Series on Knowledge, Rationality and Action 139 (2), 241-280, 2004
1352004
Temporal logics in computer science: finite-state systems
S Demri, V Goranko, M Lange
Cambridge University Press, 2016
1202016
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
W Conradie, V Goranko, D Vakarelov
Logical Methods in Computer Science 2 (1:5), 1-26, 2006
1172006
Hierarchies of modal and temporal logics with reference pointers
V Goranko
Journal of Logic, Language and Information 5, 1-24, 1996
1101996
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions
D Bresolin, V Goranko, A Montanari, G Sciavicco
Annals of Pure and Applied Logic 161 (3), 289-304, 2009
1062009
Elementary canonical formulae: extending Sahlqvist’s theorem
V Goranko, D Vakarelov
Annals of Pure and Applied Logic 141 (1-2), 180-217, 2006
1052006
Propositional Interval Neighborhood Temporal Logics.
V Goranko, A Montanari, G Sciavicco
J. Univers. Comput. Sci. 9 (9), 1137-1167, 2003
1032003
Temporal logic
V Goranko, A Rumberg
Stanford Encyclopedia of Philosophy, 2020
952020
Modal definability in enriched languages
V Goranko
Notre Dame Journal of Formal Logic 31 (1), 81-105, 1990
831990
Tableaux for logics of subinterval structures over dense orderings
D Bresolin, V Goranko, A Montanari, P Sala
Journal of Logic and Computation 20 (1), 133-166, 2010
742010
Knowledge and ability
T ┼gotnes, V Goranko, W Jamroga, M Wooldridge
College Publications, 2015
692015
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Logic for Programming, Artificial Intelligence, and Reasoning: 15thá…, 2008
692008
Interval temporal logics: a journey
D Della Monica, V Goranko, A Montanari, G Sciavicco
Bulletin of the European Association for Theoretical Computer Scienceá…, 2011
622011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20