| 2009 |
|---|
| 46 | EE | Valentin Goranko,
Dmitry Shkatov:
Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.
LFCS 2009: 197-213 |
| 45 | EE | Valentin Goranko,
Dmitry Shkatov:
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
CoRR abs/0902.2104: (2009) |
| 44 | EE | Valentin Goranko,
Dmitry Shkatov:
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
CoRR abs/0902.2125: (2009) |
| 43 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Pietro Sala:
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Electr. Notes Theor. Comput. Sci. 231: 131-151 (2009) |
| 2008 |
|---|
| 42 | EE | Davide Bresolin,
Dario Della Monica,
Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
LPAR 2008: 590-604 |
| 41 | EE | Valentin Goranko,
Dmitry Shkatov:
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge.
SEFM 2008: 237-246 |
| 40 | EE | Valentin Goranko,
Dmitry Shkatov:
Tableau-based decision procedures for logics of strategic ability in multi-agent systems
CoRR abs/0803.2306: (2008) |
| 39 | EE | Valentin Goranko,
Dmitry Shkatov:
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
CoRR abs/0808.4133: (2008) |
| 38 | EE | Wilmari Bekker,
Valentin Goranko:
Symbolic model checking of tense logics on rational Kripke models
CoRR abs/0810.5516: (2008) |
| 2007 |
|---|
| 37 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
LFCS 2007: 84-99 |
| 36 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Pietro Sala:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
TABLEAUX 2007: 73-89 |
| 35 | EE | Thomas Ågotnes,
Valentin Goranko,
Wojciech Jamroga:
Alternating-time temporal logics with irrevocable strategies.
TARK 2007: 15-24 |
| 34 | EE | Philippe Balbiani,
Valentin Goranko,
Ruaan Kellerman,
Dimiter Vakarelov:
Logical Theories for Fragments of Elementary Geometry.
Handbook of Spatial Logics 2007: 343-428 |
| 33 | EE | Valentin Goranko:
Logic in Computer Science: Modelling and Reasoning About Systems.
Journal of Logic, Language and Information 16(1): 117-120 (2007) |
| 32 | EE | Valentin Goranko,
Alberto Zanardo:
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.
Logic Journal of the IGPL 15(1): 53-76 (2007) |
| 2006 |
|---|
| 31 | EE | Stéphane Demri,
Alain Finkel,
Valentin Goranko,
Govert van Drimmelen:
Towards a Model-Checker for Counter Systems.
ATVA 2006: 493-507 |
| 30 | EE | Valentin Goranko,
Dimiter Vakarelov:
Elementary canonical formulae: extending Sahlqvist's theorem.
Ann. Pure Appl. Logic 141(1-2): 180-217 (2006) |
| 29 | EE | Willem Conradie,
Valentin Goranko,
Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
CoRR abs/cs/0602024: (2006) |
| 28 | EE | Valentin Goranko,
Angelo Montanari,
Pietro Sala,
Guido Sciavicco:
A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Applied Logic 4(3): 305-330 (2006) |
| 27 | EE | Willem Conradie,
Valentin Goranko,
Dimiter Vakarelov:
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA.
J. Log. Comput. 16(5): 579-612 (2006) |
| 26 | EE | Willem Conradie,
Valentin Goranko,
Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA.
Logical Methods in Computer Science 2(1): (2006) |
| 25 | EE | Valentin Goranko,
Govert van Drimmelen:
Complete axiomatization and decidability of Alternating-time temporal logic.
Theor. Comput. Sci. 353(1-3): 93-117 (2006) |
| 2004 |
|---|
| 24 | EE | Willem Conradie,
Valentin Goranko,
Dimiter Vakarelov:
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.
Advances in Modal Logic 2004: 17-51 |
| 23 | | Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
A Road Map of Interval Temporal Logics and Duration Calculi.
Journal of Applied Non-Classical Logics 14(1-2): 9-54 (2004) |
| 22 | EE | Andrea Cantini,
Valentin Goranko:
Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution"; Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic", Cambridge Tracts in Theoretical Computer Science Volume 53.
Studia Logica 76(1): 135-142 (2004) |
| 2003 |
|---|
| 21 | EE | Valentin Goranko,
Ullrich Hustadt,
Renate A. Schmidt,
Dimiter Vakarelov:
SCAN Is Complete for All Sahlqvist Formulae.
RelMiCS 2003: 149-162 |
| 20 | EE | Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
A General Tableau Method for Propositional Interval Temporal Logics.
TABLEAUX 2003: 102-116 |
| 19 | EE | Valentin Goranko,
Bruce M. Kapron:
The modal logic of the countable random frame.
Arch. Math. Log. 42(3): 221-243 (2003) |
| 18 | EE | Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
Propositional Interval Neighborhood Temporal Logics.
J. UCS 9(9): 1137-1167 (2003) |
| 17 | EE | Valentin Goranko:
The Basic Algebra of Game Equivalences.
Studia Logica 75(2): 221-238 (2003) |
| 2002 |
|---|
| 16 | | Philippe Balbiani,
Valentin Goranko:
Modal Logics for Parallelism, Orthogonality, and Affine Geometries.
Journal of Applied Non-Classical Logics 12(3-4): 365-398 (2002) |
| 2001 |
|---|
| 15 | EE | Patrick Blackburn,
Valentin Goranko:
Hybrid Ockhamist Temporal Logic.
TIME 2001: 183-188 |
| 14 | EE | Valentin Goranko,
Dimiter Vakarelov:
Sahlqvist Formulas in Hybrid Polyadic Modal Logics.
J. Log. Comput. 11(5): 737-754 (2001) |
| 2000 |
|---|
| 13 | | Valentin Goranko,
Dimiter Vakarelov:
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.
Advances in Modal Logic 2000: 221-240 |
| 12 | | Valentin Goranko:
Temporal logics with reference pointers and computation tree logics.
Journal of Applied Non-Classical Logics 10(3-4): (2000) |
| 1999 |
|---|
| 11 | | Valentin Goranko,
Dimiter Vakarelov:
Hyperboolean Algebras and Hyperboolean Modal Logic.
Journal of Applied Non-Classical Logics 9(2-3): (1999) |
| 10 | | Mark Brown,
Valentin Goranko:
An Extended Branching-Time Ockhamist Temporal Logic.
Journal of Logic, Language and Information 8(2): 143-166 (1999) |
| 9 | | Valentin Goranko:
Modal Logic, Alexander Chagrov and Michael Zakharyaschev.
Journal of Logic, Language and Information 8(2): 255-258 (1999) |
| 8 | | Valentin Goranko:
Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi.
Journal of Logic, Language and Information 8(4): 469-473 (1999) |
| 1998 |
|---|
| 7 | | Valentin Goranko,
Dimiter Vakarelov:
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.
Advances in Modal Logic 1998: 247-274 |
| 6 | | Valentin Goranko:
Axiomatizations with Context Rules of Inference in Modal Logic.
Studia Logica 61(2): 179-197 (1998) |
| 1996 |
|---|
| 5 | | Valentin Goranko:
Hierarchies of Modal and Temporal Logics with Reference Pointers.
Journal of Logic, Language and Information 5(1): 1-24 (1996) |
| 1994 |
|---|
| 4 | | Valentin Goranko:
Temporal Logic with Reference Pointers.
ICTL 1994: 133-148 |
| 3 | | Valentin Goranko:
Refutation systems in modal logic.
Studia Logica 53(2): 299-324 (1994) |
| 1992 |
|---|
| 2 | | Valentin Goranko,
Solomon Passy:
Using the Universal Modality: Gains and Questions.
J. Log. Comput. 2(1): 5-30 (1992) |
| 1990 |
|---|
| 1 | | Valentin Goranko:
Modal Definability in Enriched Languages.
Notre Dame Journal of Formal Logic 31(1): 81-105 (1990) |
