- Hyperboolean Algebras and Hyperboolean Modal Logic \Lambda y
- VALENTIN GORANKO Refutation Systems in Modal Logic
- Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
- Algorithmic correspondence and completeness in modal logic
- Sahlqvist Formulas in Hybrid Polyadic Modal Logics Valentin Goranko 1
- Modal Logics for Parallelism, Orthogonality, and Ane Geometries Philippe Balbiani 1 and Valentin Goranko 2
- Filter and Ultrafilter Extensions of Structures: Universal-algebraic Aspects
- LOGICAL TOPOLOGIES AND SEMANTIC COMPLETENESS VALENTIN GORANKO
- Sahlqvist Formulas Unleashed in Polyadic Modal Languages Valentin Goranko 1 and Dimiter Vakarelov 2
- Coalition Games and Alternating Temporal Logics
- Archive for Mathematical Logic manuscript No. (will be inserted by the editor)
- Hybrid Ockhamist Temporal Logic Patrick Blackburn
- MODEL THEORY OF MODAL LOGIC Valentin Goranko and Martino Otto
- LOGICAL THEORIES FOR FRAGMENTS OF ELEMENTARY GEOMETRY
- Propositional Interval Neighborhood Logics: Expressiveness, Decidability,
- Axiomatizations with Context Rules of Inference in Modal Logic
- A Road Map of Interval Temporal Logics and Duration Calculi
- Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic
- Alternating-time Temporal Logics with Irrevocable Strategies Thomas Agotnes
- Temporal Logics with Reference Pointers and Computation Tree Logics
- Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification
- J Logic Lang Inf DOI 10.1007/s10849-006-9017-y
- %% CLODEM 2010 %% %% Workshop on Comparing Logical Decision Methods %%
- %% CLODEM 2010 %% %% Workshop on Comparing Logical Decision Methods %%
- Theoretical Computer Science 353 (2006) 93117 www.elsevier.com/locate/tcs
- The dark side of Interval Temporal Logic: sharpening the undecidability border Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings
- Journal of Logic, Language, and Information 5: 1-24, 1996. 1 9 1996Kluwer Academic Publishers. Printed in the Netherlands.
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
- Strategic Commitment and Release in Logics for Multi-Agent Systems
- Journal of Logic, Language and Information 8: 143166, 1999. 1999 Kluwer Academic Publishers. Printed in the Netherlands.
- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
- Softw Syst Model DOI 10.1007/s10270-011-0195-y
- Modal Logic and Universal Algebra I. Modal axiomatizations of structures. 3
- Temporal Logic with Reference Pointers Valentin Goranko *
- Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
- Notre Dame Journal of Formal Logic Volume 31, Number 1, Winter 1990
- i1j1K011 CiiHTAKT1'!!iI1 11 CEMAl!Tlt'H Ul Bi'D.3KI1 ME:tllY CY!JEPfiHTYI1W1OHI1C1"KYl1'E H MHor03HAlJmHE
- VALENTIN GORANKO Refutation Systems in Modal Logic
- Towards a Model-Checker for Counter Systems , A. Finkel1
- Symbolic Model Checking of Tense Logics on Rational Kripke Models
- Algorithmic correspondence and completeness in modal logic.
- Undecidability of Interval Temporal Logics with the Overlap Modality Davide Bresolin1
- DOI 10.1007/s11229-011-9913-9 Logic for physical space
- VALENTIN GORANKO and WOJCIECH JAMROGA COMPARING SEMANTICS OF LOGICS FOR MULTI-AGENT
- Hyperboolean Algebras and Hyperboolean Modal Logic y
- SCAN Is Complete for All Sahlqvist Formulae V. Goranko1
- Bulletin of the EATCS no 105, pp. 7399, October 2011 c European Association for Theoretical Computer Science
- Valentin Goranko The Basic Algebra of Game Equivalences
- Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic,
- A Road Map of Interval Temporal Logics and Duration Calculi
- Bulletin of the Section of Logic Volume 20/1 (1991), pp. 2329
- Model-Checking CTL* over Flat Presburger Counter Systems
- Propositional Interval Neighborhood Temporal Logics Valentin Goranko
- On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
- Hybrid Ockhamist Temporal Logic Patrick Blackburn
- GEORGE GARGOV AND VALENTIN GORANKO MODAL LOGIC WITH NAMES
- Descartes-Leibniz-Cantor-Frege, -, Russell, Brouwer, Hilbert, Church, Turing,
- CLODEM'2012 Workshop on Comparing Logical Decision Methods
