sign in · help · news · about ·

BibSonomy :: author :: Goranko ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(70)

<< < 1 | 2 | 3 > >>

Tableau-based decision procedure
Mai Ajspur, Valentin Goranko, and Dmitry Shkatov CoRR (2012)
to dblp by dblp on Feb 1, 2012, 12:00 AM
URL | BibTeX
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
Willem Conradie, Valentin Goranko, and Dimiter Vakarelov CoRR (2006)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Tableau-based decision procedures for logics of strategic ability in multi-agent systems
Valentin Goranko, and Dmitry Shkatov CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Symbolic model checking of tense logics on rational Kripke models
Wilmari Bekker, and Valentin Goranko CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
Valentin Goranko, and Dmitry Shkatov CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
Valentin Goranko, and Dmitry Shkatov CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
Valentin Goranko, and Dmitry Shkatov CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Preface.
Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, and Manuel Ojeda-Aciego Electr. Notes Theor. Comput. Sci. (2011)
to dblp by dblp on Nov 28, 2011, 12:00 AM
URL | BibTeX
Two-sorted Point-Interval Temporal Logics.
Philippe Balbiani, Valentin Goranko, and Guido Sciavicco Electr. Notes Theor. Comput. Sci. (2011)
to dblp by dblp on Nov 28, 2011, 12:00 AM
URL | BibTeX
Strategic games and truly playable effectivity functions.
Valentin Goranko, Wojciech Jamroga, and Paolo Turrini AAMAS, page 727-734. IFAAMAS, (2011)
to dblp by dblp on Nov 18, 2011, 12:00 AM
URL | BibTeX
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco TIME, page 131-138. IEEE, (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Model-checking CTL* over flat Presburger counter systems.
Stéphane Demri, Alain Finkel, Valentin Goranko, and Govert van Drimmelen Journal of Applied Non-Classical Logics 20(4):313-344 (2010)
to dblp by dblp on Aug 11, 2011, 12:00 AM
URL | BibTeX
Foreword.
Valentin Goranko, and Wojciech Jamroga Journal of Applied Non-Classical Logics 21(1):7-8 (2011)
to dblp by dblp on Aug 11, 2011, 12:00 AM
URL | BibTeX
Expressiveness of the Interval Logics of Allens Relations on the Class of All Linear Orders: Complete Classification.
Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco IJCAI, page 845-850. IJCAI/AAAI, (2011)
to dblp by dblp on Aug 9, 2011, 12:00 AM
URL | BibTeX
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.
Dario Della Monica, Valentin Goranko, and Guido Sciavicco Electr. Notes Theor. Comput. Sci. (2011)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
SCAN Is Complete for All Sahlqvist Formulae.
Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, and Dimiter Vakarelov RelMiCS, volume 3051 of Lecture Notes in Computer Science, page 149-162. Springer, (2003)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
A General Tableau Method for Propositional Interval Temporal Logics.
Valentin Goranko, Angelo Montanari, and Guido Sciavicco TABLEAUX, volume 2796 of Lecture Notes in Computer Science, page 102-116. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Using the Universal Modality: Gains and Questions.
Valentin Goranko, and Solomon Passy J. Log. Comput. 2(1):5-30 (1992)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Sahlqvist Formulas in Hybrid Polyadic Modal Logics.
Valentin Goranko, and Dimiter Vakarelov J. Log. Comput. 11(5):737-754 (2001)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Refutation systems in modal logic.
Valentin Goranko Studia Logica 53(2):299-324 (1994)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper