| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mai Ajspur, Valentin Goranko, Dmitry Shkatov |
Tableau-based decision procedure  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Wojciech Jamroga |
Foreword. |
Journal of Applied Non-Classical Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Ruaan Kellerman |
Classes and theories of trees associated with a class of linear orders. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Della Monica, Valentin Goranko, Guido Sciavicco |
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Valentin Goranko, Guido Sciavicco |
Two-sorted Point-Interval Temporal Logics. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Interval Temporal Logics: a Journey. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Expressiveness of the Interval Logics of Allens Relations on the Class of All Linear Orders: Complete Classification. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Wojciech Jamroga, Paolo Turrini |
Strategic games and truly playable effectivity functions. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen |
Model-checking CTL* over flat Presburger counter systems. |
Journal of Applied Non-Classical Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko |
Book Reviews. |
Studia Logica |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov |
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |
Tableaux for Logics of Subinterval Structures over Dense Orderings. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. |
Fundam. Inform. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dmitry Shkatov |
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dmitry Shkatov |
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dmitry Shkatov |
Tableau-based decision procedures for logics of strategic ability in multiagent systems. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Dmitry Shkatov |
Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Undecidability of Interval Temporal Logics with the Overlap Modality. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (eds.) |
Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers |
ILC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Dmitry Shkatov |
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
logics for multi-agent systems, decision procedures, tableaux |
| 1 | Valentin Goranko, Dmitry Shkatov |
Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko |
Algorithmic correspondence and completeness in modal logic. |
Journal of Applied Non-Classical Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dmitry Shkatov |
Tableau-based decision procedures for logics of strategic ability in multi-agent systems |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wilmari Bekker, Valentin Goranko |
Symbolic model checking of tense logics on rational Kripke models |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dmitry Shkatov |
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lev D. Beklemishev, Valentin Goranko, Valentin Shehtman (eds.) |
Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010 |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dmitry Shkatov |
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Alberto Zanardo |
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability. |
Logic Journal of the IGPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko |
Logic in Computer Science: Modelling and Reasoning About Systems. |
Journal of Logic, Language and Information |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov |
Logical Theories for Fragments of Elementary Geometry. |
Handbook of Spatial Logics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
neighbourhood interval logics, decidability, expressiveness |
| 1 | Wilmari Bekker, Valentin Goranko |
Symbolic Model Checking of Tense Logics on Rational Kripke Models. |
ILC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga |
Alternating-time temporal logics with irrevocable strategies. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Govert van Drimmelen |
Complete axiomatization and decidability of Alternating-time temporal logic. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Dimiter Vakarelov |
Elementary canonical formulae: extending Sahlqvist's theorem. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco |
A general tableau method for propositional interval temporal logics: Theory and implementation. |
J. Applied Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen |
Towards a Model-Checker for Counter Systems. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Angelo Montanari, Guido Sciavicco |
A Road Map of Interval Temporal Logics and Duration Calculi. |
Journal of Applied Non-Classical Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. |
Advances in Modal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko |
The Basic Algebra of Game Equivalences. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
game operations, game algebra, game identities, completeness, modal logic, axiomatization |
| 1 | Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Propositional Interval Neighborhood Temporal Logics. |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Bruce M. Kapron |
The modal logic of the countable random frame. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov |
SCAN Is Complete for All Sahlqvist Formulae. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Angelo Montanari, Guido Sciavicco |
A General Tableau Method for Propositional Interval Temporal Logics. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Valentin Goranko |
Modal Logics for Parallelism, Orthogonality, and Affine Geometries. |
Journal of Applied Non-Classical Logics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dimiter Vakarelov |
Sahlqvist Formulas in Hybrid Polyadic Modal Logics. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Valentin Goranko |
Hybrid Ockhamist Temporal Logic. (PDF / PS) |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko |
Temporal logics with reference pointers and computation tree logics. |
Journal of Applied Non-Classical Logics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dimiter Vakarelov |
Sahlqvist Formulas Unleashed in Polyadic Modal Languages. |
Advances in Modal Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dimiter Vakarelov |
Hyperboolean Algebras and Hyperboolean Modal Logic. |
Journal of Applied Non-Classical Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko |
Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. |
Journal of Logic, Language and Information |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Brown, Valentin Goranko |
An Extended Branching-Time Ockhamist Temporal Logic. |
Journal of Logic, Language and Information |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko |
Modal Logic, Alexander Chagrov and Michael Zakharyaschev. |
Journal of Logic, Language and Information |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko |
Axiomatizations with Context Rules of Inference in Modal Logic. |
Studia Logica |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Dimiter Vakarelov |
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. |
Advances in Modal Logic |
1998 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko |
Hierarchies of Modal and Temporal Logics with Reference Pointers. |
Journal of Logic, Language and Information |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko |
Refutation systems in modal logic. |
Studia Logica |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko |
Temporal Logic with Reference Pointers. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Solomon Passy |
Using the Universal Modality: Gains and Questions. |
J. Log. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko |
Modal Definability in Enriched Languages. |
Notre Dame Journal of Formal Logic |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")