34 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 Kamal Lodaya (ed.), Logic and its Applications. Springer. 80--96.
    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 (...)
    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 (...)
    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. Valentin Goranko & Ruaan Kellerman (2011). Classes and Theories of Trees Associated with a Class of Linear Orders. Logic Journal of the Igpl 19 (1):217-232.
    Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Lev Beklemishev, Valentin Goranko & Valentin B. Shehtman (eds.) (2010). Advances in Modal Logic 8. College Publications.
     
    My bibliography  
     
    Export citation  
  9. 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  
  10. Valentin Goranko (2010). Book Reviews. [REVIEW] Studia Logica 94 (3):443-445.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. 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.
    In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. 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  
  14. 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  
  15. Valentin Goranko & Alberto Zanardo (2007). From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability. Logic Journal of the Igpl 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Valentin Goranko & Dimiter Vakarelov (2006). Elementary Canonical Formulae: Extending Sahlqvist's Theorem. Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. 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.
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. 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  
  23. 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 (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  24. 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  
  25. 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  
  26. Valentin Goranko (1999). Modal Logic, Alexander Chagrov and Michael Zakharyaschev. Journal of Logic, Language and Information 8 (2):255-258.
  27. 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  
  28. 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 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  
  29. 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 (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  30. 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  
  31. 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  
  32. Valentin Goranko (1991). Proving Unprovability in Some Normal Modal Logics. Bulletin of the Section of Logic 20 (1):23-29.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. 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  
  34. 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