31 found
Sort by:
  1. Mai Ajspur & Valentin Goranko (2013). Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. In. In Kamal Lodaya (ed.), Logic and its Applications. Springer. 80--96.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko (2012). Logic for Physical Space. Synthese 186 (3):619-632.
    Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko (2012). Logic for Physical Space: From Antiquity to Present Days. Synthese 186 (3):619 - 632.
    Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Valentin Goranko (2012). Temporal Logics with Reference Pointers and Computation Tree Logics. Journal of Applied Non-Classical Logics 10 (3-4):221-242.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Valentin Goranko & Dimiter Vakarelov (2012). Hyperboolean Algebras and Hyperboolean Modal Logic. Journal of Applied Non-Classical Logics 9 (2-3):345-368.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Valentin Goranko & Wojciech Jamroga (2011). Foreword. Journal of Applied Non-Classical Logics 21 (1):7-8.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Lev Beklemishev, Valentin Goranko & Valentin B. Shehtman (eds.) (2010). Advances in Modal Logic 8. College Publications.
    No categories
     
    My bibliography  
     
    Export citation  
  8. Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen (2010). Model-Checking CTL* Over Flat Presburger Counter Systems. Journal of Applied Non-Classical Logics 20 (4):313-344.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco (2009). Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions. Annals of Pure and Applied Logic 161 (3):289-304.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Thomas Ågotnes, Valentin Goranko & Wojciech Jamroga (2008). Strategic Commitment and Release in Logics for Multi-Agent Systems. In Giacomo Bonanno, Wiebe van der Hoek & Michael Wooldridge (eds.), Logic and the Foundations of Game and Decision Theory. Amsterdam University Press. 6006.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Willem Conradie & Valentin Goranko (2008). IV. Semantic Extensions of SQEMA. Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Valentin Goranko (2007). Logic in Computer Science: Modelling and Reasoning About Systems. [REVIEW] Journal of Logic, Language and Information 16 (1):117-120.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Valentin Goranko & Dimiter Vakarelov (2006). Elementary Canonical Formulae: Extending Sahlqvist's Theorem. Annals of Pure and Applied Logic 141 (1):180-217.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Andrea Cantini & Valentin Goranko (2004). Nicholas Rescher, Paradoxes: Their Roots, Range, and Resolution; Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science Vol. 53. Studia Logica 76 (1):135-142.
  15. Andrea Cantini & Valentin Goranko (2004). Nicholas Rescher,; Patrick Blackburn, Maarten de Rijke and Yde Venema, Cambridge Tracts in Theoretical Computer Science Vol. 53. Studia Logica 76 (1):135-142.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Valentin Goranko & Wojciech Jamroga (2004). Comparing Semantics of Logics for Multi-Agent Systems. Synthese 139 (2):241 - 280.
    We draw parallels between several closely related logics that combine — in different proportions — elements of game theory, computation tree logics, and epistemic logics to reason about agents and their abilities. These are: the coalition game logics CL and ECL introduced by Pauly 2000, the alternating-time temporal logic ATL developed by Alur, Henzinger and Kupferman between 1997 and 2002, and the alternating-time temporal epistemic logic ATEL by van der Hoek and Wooldridge (2002). In particular, we establish some subsumption and (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Valentin Goranko & Angelo Montanari (2004). Foreword. Journal of Applied Non-Classical Logics 14 (1-2):7-8.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Valentin Goranko, Angelo Montanari & Guido Sciavicco (2004). A Road Map of Interval Temporal Logics and Duration Calculi. Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Valentin Goranko (2003). The Basic Algebra of Game Equivalences. Studia Logica 75 (2):221 - 238.
    We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Valentin Goranko & Bruce Kapron (2003). The Modal Logic of the Countable Random Frame. Archive for Mathematical Logic 42 (3):221-243.
    We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has the (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. Philippe Balbiani & Valentin Goranko (2002). Modal Logics for Parallelism, Orthogonality, and Affine Geometries. Journal of Applied Non-Classical Logics 12 (3-4):365-397.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Mark Brown & Valentin Goranko (1999). An Extended Branching-Time Ockhamist Temporal Logic. Journal of Logic, Language and Information 8 (2):143-166.
    For branching-time temporal logic based on an Ockhamist semantics, we explore a temporal language extended with two additional syntactic tools. For reference to the set of all possible futures at a moment of time we use syntactically designated restricted variables called fan-names. For reference to all possible futures alternative to the actual one we use a modification of a difference modality, localized to the set of all possible futures at the actual moment of time.We construct an axiomatic system for this (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. Valentin Goranko (1999). Modal Logic, Alexander Chagrov and Michael Zakharyaschev. Journal of Logic, Language and Information 8 (2):255-258.
  24. Valentin Goranko (1999). Reasoning About Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Journal of Logic, Language and Information 8 (4):469-473.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Valentin Goranko (1998). Axiomatizations with Context Rules of Inference in Modal Logic. Studia Logica 61 (2):179-197.
    A certain type of inference rules in (multi-) modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  26. Valentin Goranko (1996). Hierarchies of Modal and Temporal Logics with Reference Pointers. Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...)
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  27. Valentin Goranko (1994). Refutation Systems in Modal Logic. Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. George Gargov & Valentin Goranko (1993). Modal Logic with Names. Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  29. Valentin Goranko (1991). Proving Unprovability in Some Normal Modal Logics. Bulletin of the Section of Logic 20 (1):23-29.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Valentin Goranko (1989). Modal Definability in Enriched Languages. Notre Dame Journal of Formal Logic 31 (1):81-105.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Valentin Goranko (1985). The Craig Interpolation Theorem for Prepositional Logics with Strong Negation. Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation