Philippe Balbiani, Valentin Goranko, Ruaan
Kellerman, and Dimiter Vakarelov: Logical Theories of
Fragments of Elementary Geometry, Chapter in: Handbook of Spatial Logics, M. Aiello, J. van
Benthem, and I. Pratt-Hartmann (eds.), Elsevier, 2007,pp. 343-428.
Final draft. (DBLP
BibTex Entry)
Valentin Goranko. Transformations of Multi-Player Normal form Games by Preplay Offers between Players , Axioms, vol. 11(2), 73, 2022 (15p.). Link to publication. (pdf) (DBLP BibTex Entry)
Valentin Goranko: How deontic logic ought to be: towards a many-sorted framework for normative reasoning,
in: Fenrong Liu, Alessandra Marra, Paul Portner, and Frederik Van De Putte (eds.),
Deontic Logic and Normative Systems, Proceedings of DEON'2020/2021 , College Publications, London, 2021, pp. 219-238.
Final draft.
Valentin Goranko:
Model checking and model synthesis from partial models: a logic-based perspective,
Tech. report, 12/2020,
arXiv version.
(DBLP BibTex Entry)
Valentin Goranko and Tomasz Skura: Refutation Systems in the Finite,Reasoning: Games, Cognition, Logic, Post-proceedings volume with selected papers from the Poznań Reasoning Week multi-conference held in Poznań, Poland, September 11–15, 2018. College Publications, 2020, pp. 173-184. Link to publication volume. (pdf) (DBLP BibTex Entry)
2019
Valentin Goranko, Antti Kuusisto, Raine Rönnholm: Alternating-time temporal logic ATL with finitely bounded semantics,Theoretical
Computer Science, vol. 797, 2019, pp 129-155. Published version. ArXiv version (DBLP BibTex Entry)
Valentin Goranko: Preplay negotiations by unconditional offers in 2-player strategic games: power and weakness. Presented at LOFT'2016. pdf (DBLP BibTex Entry)
Valentin Goranko, Transformations of normal form games by
preplay offers for payments among players, 2012, Working
paper,ArXiv version. (DBLP BibTex Entry)
Valentin Goranko: Undecidability and Temporal Logic: Some
Landmarks from Turing to the Present (extended abstract).
In: Proc. of the 19th
International Symposium on Temporal Representation and Reasoning
(TIME'2012), Leicester, UK, September 12-14;
IEEE Computer Society Press, 2012, pp. 3-4. Available from here.
(DBLP BibTex Entry)
M.
Aiello, G.
Bezhanishvili, I. Bloch, V.
Goranko.Logics for physical space from antiquity to present
days, Synthese,Special issue on Logic meets Physics,
2012, vol.186, pp. 619–632. Available from here or directly from here. (DBLP BibTex Entry)
Valentin Goranko, Wojtek Jamroga, and Paolo Turrini:
Strategic Games and Truly Playable Effectivity
Functions. in: Proceedings of
the 10th International Conference on Autonomous Agents and
Multiagent Systems (AAMAS-2011), Taipei, Taiwan,
May 2-6, 201. Available from here. (DBLP BibTex Entry)
Valentin Goranko and Ruaan Kellerman, Classes and
Theories of Trees Associated with a Class Of Linear
Orders, Logic Journal of the
IGPL, vol. 19 (1), 2011, pp. 217-232. Final draft. Online access link (DBLP
BibTex Entry)
Davide
Bresolin, Valentin Goranko, Angelo Montanari, Guido
Sciavicco. Right Propositional Neighborhood Logic over
Natural Numbers with Integer Constraints for Interval
Lengths, Proc. of the 7th IEEE
International Conference on Software Engineering and Formal Methods
(SEFM'2009), IEEE Comp. Society Press, Hanoi, Vietnam,
November 2009, pp. 240-249.Final draft (DBLP
BibTex Entry)
Valentin Goranko and Dmitry Shkatov.
Tableau-based decision procedure for full coalitional
multiagent temporal-epistemic logic of branching time. in:
Proc. of the 2nd Federated Workshops on
Multi-Agent Logics, Languages, and Organisations,
MALLOW'2009}, Turin, Italy, September
7-10, 2009; M. Baldoni et al (eds), CEUR Workshop Proceedings, vol.
494, Online volume: CEUR-WS.org/Vol-494/.
Available from here. (DBLP
BibTex Entry)
Valentin Goranko and Dmitry Shkatov.
Tableau-based decision procedure for full coalitional
multiagent temporal-epistemic logic of linear time. in:
Decker, Sichman, Sierra and Castelfranchi (eds.), Proc.
of 8th Int. Conf. on Autonomous Agents and Multiagent Systems
(AAMAS 2009), IFAAMAS publ, pp. 969-976; Published version. ArXiv
version. (DBLP
BibTex Entry)
Valentin Goranko and Dmitry Shkatov.
Tableau-based Procedure for Deciding Satisfiability in the
Full Coalitional Multi-agent Epistemic Logic. in: S.
Artemov and A. Nerode (Eds.), Proc. of LFCS'2009.
Springer, LNCS 5407, pp. 197-213, 2009. Available from ArXiv.
(DBLP
BibTex Entry)
Davide
Bresolin, Valentin Goranko, Angelo Montanari, and
Pietro Sala. Complete and terminating tableau for the logic
of proper subinterval structures over dense orderings. In:
Proc. of the 5th International Workshop on Methods for
Modalities (M4M5), LSV, Cachan, November 2007.
Electronic Notes of Theoretical Computer
Science, vol. 231 (March 2009), pp. 131-151,
available from here or here. (DBLP
BibTex Entry)
Valentin Goranko and Dmitry Shkatov.
Tableau-based decision procedure for the multi-agent
epistemic logic with operators of common and distributed
knowledge, in: Proc. of the Sixth IEEE
International Conference on Software Engineering and Formal Methods
SEFM'2008, IEEE Computer Society
Press, 2008, pp. 237-246, DOI 10.1109/SEFM.2008.27.
Available from here. ArXiv version. (DBLP BibTex Entry)
Thomas Ågotnes, Valentin Goranko, and Wojtek Jamroga. Strategic Commitment
and Release in Logics for Multi-Agent Systems (Extended
abstract), Presented at LOFT'2008. Technical report IfI-08-01 of the Institut für
Informatik, TU Clausthal, May 2008. Also, available fromhere. (BibTex Entry)
Davide
Bresolin, Valentin Goranko, Angelo
Montanari, Pietro Sala: Tableau systems for logics of
subinterval structures over dense orderings, in: N.
Olivetti (Ed.), Proc. of the International Conference
on Automated Reasoning with Analytic Tableaux and Related Methods
(Tableaux'2007), Aix-en-Provance, July 2007, LNAI,
Springer, pp 73-89. Online version, also available from here. (DBLP BibTex Entry)
Davide
Bresolin, Valentin Goranko, Angelo
Montanari, and Guido Sciavicco:On Decidability and
Expressiveness of Propositional Interval Neighborhood
Logics, in: S. Artemov and A. Nerode (Eds.):
Proceedings of LFCS 2007, Springer, LNCS
4514, pp. 84–99, 2007. Online version. Final draft. (DBLP BibTex Entry)
Stéphane Demri, Alain
Finkel, Valentin Goranko, and Govert van Drimmelen:
Towards a model-checker for counter systems, in:
Proceedings of the 4th International Symposium on
Automated Technology for Verification and Analysis
(ATVA'06), Beijing, ROC, October 2006, Springer, LNCS
4218, pages 493-507. Online version. Final draft. (BibTeX + Abstract) (DBLP BibTex Entry)
Valentin Goranko and Dimiter Vakarelov:
Elementary Canonical Formulae: Extending Sahlqvist
Theorem, Annals of Pure and Applied
Logics, 2006, vol. 141, 1-2, pp. 180-217. Available
from here or here. (DBLP BibTex Entry)
Willem Conradie, Valentin Goranko and
Dimiter Vakarelov: Algorithmic correspondence and
completeness in modal logic. I. The core algorithm SQEMA,
Logical Methods in Computer Science, vol.
2 (1:5) 2006, pp.1-26. Available from LMCS Archive. (DBLP BibTex Entry) Link to the online implementation of
SQEMA.
Valentin Goranko and Govert van Drimmelen:
Complete Axiomatization and Decidability of the
Alternating-time Temporal Logic, Theoretical
Computer Science, Vol. 353, 1-3, (2006), pp. 93-117.
Available from here or here. (DBLP BibTex Entry)
Valentin Goranko, Angelo
Montanari, Pietro Sala, and Guido Sciavicco: A General
Tableau Method for Propositional Interval Temporal Logics: theory
and implementation, Journal of Applied
Logic, vol. 4(3), 2006, pp. 305-330. Available from
here or
here. (DBLP
BibTex Entry)
2005
Willem Conradie, Valentin Goranko and Dimiter
Vakarelov: Elementary Canonical Formulae: a survey on
syntactic, algorithmic, and model-theoretic aspects, in:
Advances in Modal Logic,
vol. 5, Kings College London Publ., 2005, pp. 17-51. Also
available from here. (DBLP BibTex Entry)
2004
Valentin Goranko: Logical Topologies and
Semantic Completeness, in: Logic Colloquium'99 (selected
papers), J. van Eijck, V. van Oostrom, A. Visser (eds.), Lecture
Notes in Logic 17, AK Peters, 2004, pp. 68-79. Final draft. (BibTex Entry)
Valentin Goranko and Wojtek Jamroga: Comparing Semantics for
Logics of Multi-agent Systems, Synthese
139 (2): 241-280, March 2004, Series on Knowledge,
Rationality and Action. Available from here and here. (DBLP BibTex Entry)
Valentin Goranko, Angelo
Montanari, and Guido Sciavicco: A Road Map of
Propositional Interval Temporal Logics and Duration
Calculi, Journal of Applied Non-classical
Logics, Special issue on Interval Temporal Logics and
Duration Calculi, vol. 14, No. 1-2, 2004, pp.11-56. Final draft. (DBLP BibTex Entry)
2003
Valentin Goranko, Angelo
Montanari, and Guido Sciavicco: A General Tableau
Method for Propositional Interval Temporal Logics,
Proc. of the International Conference on Automated
Reasoning with Analytic Tableaux and Related Methods
(Tableaux'2003), LNAI, Springer-Verlag, 102-116.Final draft. (DBLP BibTex Entry)
Valentin Goranko, Ullrich
Hustadt, Renate Schmidt, and Dimiter Vakarelov:
SCAN is complete for all Sahlqvist formulae, In:
Berghammer, R., Möller, B. and Struth, G. (eds), Proc.
of Relational and Kleene-Algebraic Methods in Computer Science
(RelMiCS 7). Lecture Notes in Computer Science 3051,
Springer, 2003, 149-162. Link to online version. Final draft. (DBLP BibTex Entry)
Philippe Balbiani and Valentin Goranko:
Modal Logics for Parallelism, Orthogonality, and Affine
Geometries, J. of Applied Non-classical
Logics, Special issue on Spatial Reasoning, vol. 12,
No. 3-4, 2002, pp. 365-397. Final draft.(DBLP BibTex Entry)
Valentin Goranko and Dimiter Vakarelov:
Sahlqvist Formulas Unleashed in Polyadic Modal
Logic, Advances of Modal Logic, vol
3, World Scientific, 2002, pp. 221-240. Final draft. (DBLP BibTex Entry)
2001
Valentin Goranko: Coalition Games and
Alternating Temporal Logics, Proc. of the 8th
Conference on Theoretical Aspects of Rationality and Knowledge
(TARK VIII), Siena, Italy, 8-10 July, 2001), J. van
Benthem (ed.), Morgan Kaufmann, 2001, pp. 259-272. Corrected final version. (BibTex Entry)
Patrick Blackburn and Valentin Goranko:
Hybrid Ockhamist Temporal Logic, Proc.
of the Eighth International Symposium on Temporal Representation
and Reasoning (TIME-01), Cividale del Friuli, Italy,
June 14-16, 2001), C. Bettini and A. Montanari (eds.), IEEE
Computer Society Press, 2001, 183-188. Link to online abstract. Final draft. (DBLP BibTex Entry)
Valentin Goranko and Dimiter Vakarelov:
Sahlqvist Formulas in Hybrid Polyadic Modal
Logics, Journal of Logic and
Computation, vol. 11 (5), 2001, pp. 737-754. Link to online version. Final draft. (DBLP BibTex Entry)
2000
Valentin Goranko and Dimiter Vakarelov:
Modal Logic and Universal Algebra. I. Modal Axiomatizations of Structures,
in:
Advances in Modal Logic, vol. II, CSLI
publications, Stanford, 2000, 265-292. Final draft. (DBLP BibTex Entry)
Valentin Goranko: Computation Tree Logics
and Temporal Logics with Reference Pointers,
Journal of Applied Non-classical Logics,
vol. 10 (3-4), 2000, pp 221-242. Final draft. (DBLP BibTex Entry)
1985-1999
Valentin Goranko: Trees and finite
branching, Proc. of the 2nd Panhellenic Logic
Symposium, Delphi, 13-17 July, 1999, pp.91-101. Final draft. (BibTex Entry)
Mark Brown and Valentin Goranko: An
Extended Ockhamist Branching Time Temporal logic,
Journal of Logic, Language and
Information, 8 (1999), 143-166. Final draft. (DBLP BibTex Entry)
Valentin Goranko and Dimiter Vakarelov:
Hyperboolean Algebras and Hyperboolean Modal
Logic, Journal of Applied Non-classical
Logics, vol. 9, No. 2-3 (1999), pp. 345-368. Final draft. (DBLP BibTex Entry)
Valentin Goranko and Dimiter Vakarelov: Modal
Logics of Structures, Bull. of the Sect. of Logic, Univ.
of Lodz, 28(1),1999, 1-10. Published version (BibTex Entry)
Valentin Goranko: Axiomatizations with
Context Rules of Inference in Modal Logic,
Studia Logica, 61 (1998), 179-197. Link to online version. (DBLP BibTex Entry)
Valentin Goranko: Hierarchies of Modal and
Temporal Logics with Reference Pointers,
Journal of Logic, Language and
Information, 5(1), 1996, 1-24. Final draft. (DBLP BibTex Entry)
Valentin Goranko:A Note on Derivation
Rules in Modal Logic, Bull. of the Sect. of Logic, Univ.
of Lodz, 24(2),1995, 98-104. Published version. (BibTex Entry)
Valentin Goranko: Temporal Logic with
Reference Pointers, in: Proc. of the First
Intern. conference on Temporal Logic, Bonn 1994, D.
Gabbay, H.-J. Ohlbach (eds.), Lecture Notes in Artificial
Intelligence 827, Springer-Verlag, 1994, pp. 133-148.Final draft.(DBLP BibTex Entry)
George Gargov and Valentin Goranko: Modal
Logic with Names, Journal of Philosophical
Logic, 22(6),1993, pp. 607-636. Link to online version. Also available from here. (DBLP BibTex Entry)
Valentin Goranko and Solomon Passy: Using
the Universal Modality: Gains and Questions,
Journal of Logic and Computation,
2(1),1992, 5-30. Link to online version. Copy available from here. (DBLP BibTex Entry)
Valentin Goranko: Proving Unprovability in
Some Normal Modal Logics, Bull. of the Sect.
of Logic, Polish Acad. of Sci., 20(1),1991, pp.
23-29. Published version. (BibTex Entry)
Valentin Goranko: Completeness and
Incompleteness in the Bimodal Base L(R,-R), in:
Mathematical Logic, P. Petkov (ed.)
Plenum Press, New York, 1990, pp. 311-327.Scan
pdf.
Valentin Goranko: Modal Definability in
Enriched Languages, Notre Dame Journal of
Formal Logic, 31(1), 1990, pp. 81-105. Available online through Project Euclid
or from here.
(DBLP BibTex Entry)
Valentin Goranko: Definability in a Modal
Language with Necessity and Sufficiency, C. R.
Acad. Bul. Sci., 41(4),1988, 9-11. (BibTex Entry)
Valentin Goranko: Definability and
Completeness in Polymodal Logics, Ph. D. Thesis, Sofia
University, 1988 (in Bulgarian). (BibTex Entry)
Valentin Goranko: Some Syntactic and
Semantic Relations between Superintuitionistic and Multiple-valued
Propositional Logics, Proc. of XVI Ann.
Congress of the Union of Bulgarian Mathematicians,
1987, pp. 193-200. Published version. (BibTex Entry)
Valentin Goranko: The Craig Interpolation
Theorem for Propositional Logics with Strong Negation,
Studia Logica, 44(3),1985,
291-317. Published version. (BibTex Entry)
Co-editor (with L. Beklemishev and V. Shehtman) of the Advances in
Modal Logic, vol. 8, Proc.
of the 8th International Conference on Advances in Modal Logic,
(AiML'2010). (DBLP BibTex Entry)
Guest co-editor (with Angelo
Montanari) of the special issue on Interval Temporal Logics and
Duration Calculi of the Journal of Applied Non-classical Logics,
vol. 14, No. 1-2, 2004. (BibTex Entry)
Co-editor (with Solomon Passy) of the book "Сказки по логика" ("Essays in
Logic"), Sofia Univ. Press, 1990 (in Bulgarian).
Digital
edition 2011.
Other publications and texts
Valentin Goranko, book review on: Branching Space-Times: Theory and Applications, by Nuel Belnap, Thomas Müller, and Tomasz Placek, Oxford University Press, 2022. In: Notre Dame Philosophical Reviews, September 2022.
Valentin Goranko, book review on: Reactive Kripke Semantics, by Dov Gabbay, Springer, 2013. In: Studia Logica, March 2017.
Valentin Goranko, Temporal logics of computations, lecture notes
for a course presented at the 12th European Summer School on Logic,
Language and Information in Birmingham, August 2000. (in PDF)
Valentin Goranko, Book review on: M. Huth and M. Ryan, Logic in
Computer Science: Modelling and Reasoning About Systems, Cambridge
University Press, 2004; in: Journal of Logic, Language and
Information, vol. 16(1), 2007, pp. 117-120. (PDF) (BibTex Entry)
Valentin Goranko, Book review on: Modal Logic, by P. Blackburn,
M. de Rijke, Y.
Venema, Cambridge Tracts in TCS, 2001; in: Studia Logica, 76(1),
2004, p. 142-148.(BibTex Entry)
Valentin Goranko, Book review on: Reasoning About Knowledge, by
R. Fagin, J. Halpern, Y. Moses, M. Vardi, MIT Press, 1995; in:
Journal of Logic, Language and Information, 8(4),1999, 469-473. (BibTex Entry)
Valentin Goranko, Book review on: Modal Logic, by A Chagrov, M.
Zakharyaschev, Oxford Science Publishers; in Journal of Logic,
Language and Information, 8(2), 1999, pp. 255-258. (BibTex Entry)
Valentin Goranko, The Pigeon-hole Principle, Mathematical
Olympiad Training Notes No.1, SAMS, UCT, 1994.
Valentin Goranko, Topics in Number Theory, Mathematical Olympiad
Training Notes No.2, SAMS, UCT, 1994.
