|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 41 publication records. Showing 41 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas Bolander, Torben Braüner (eds.) |
Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![Elsevier The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Kurt Ranalter |
Embedding Constructive K into Intuitionistic K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 205-219, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Götzmann, Mark Kaminski, Gert Smolka |
Spartacus: A Tableau Prover for Hybrid Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 127-139, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge |
OOPS: An S5n Prover for Educational Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 249-261, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lauri Hella, Antti Kuusisto |
Monadic Sigma11 and Modal Logic with Quantified Binary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 173-188, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bolander, Torben Braüner |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 1-2, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides, Luis Menasché Schechter |
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 49-64, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov |
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 113-125, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Renate A. Schmidt |
Simulation and Synthesis of Deduction Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 221-229, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hausmann 0001, Lutz Schröder |
Optimizing Conditional Logic Reasoning within CoLoSS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 157-171, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Friedmann, Martin Lange |
A Solver for Modal Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 99-111, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade |
Controller/Orchestrator Synthesis via Filtration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 33-48, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 65-81, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Régis Alenda, Nicola Olivetti, Gian Luca Pozzato |
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 3-16, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Inanç Seylan, Wojciech Jamroga |
Coalition Description Logic with Individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 231-248, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Bucheli, Roman Kuznets, Thomas Studer |
Two Ways to Common Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 83-98, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jens Ulrik Hansen |
Terminating Tableaux for Dynamic Epistemic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 141-156, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky |
A Tableau Method for Checking Rule Admissibility in S4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 17-32, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Masini, Luca Viganò 0001, Marco Volpe 0001 |
A History of Until. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 189-204, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Stéphane Demri (eds.) |
Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Dmitry Sustretov, Guillaume Hoffmann 0001, Carlos Areces, Patrick Blackburn |
Experiments in Theorem Proving for Topological Hybrid Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 309-321, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder |
CoLoSS: The Coalgebraic Logic Satisfiability Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 41-54, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 131-151, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge |
Completeness and Complexity of Multi-modal CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 259-275, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Hoffmann 0001, Carlos Areces |
HTab: a Terminating Tableaux System for Hybrid Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 3-19, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bolander, Patrick Blackburn |
Terminating Tableau Calculi for Hybrid Logics Extending K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 21-39, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Abate, Rajeev Goré, Florian Widmann |
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 191-209, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli |
CaRet With Forgettable Past. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 343-361, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig |
Global and Local Graph Modifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 293-307, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Stéphane Demri |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 277-292, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer |
Model-checking Timed Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 323-341, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kai Brünnler, Thomas Studer |
Syntactic Cut-elimination for Common Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 227-240, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jason Reed 0001, Frank Pfenning |
Intuitionistic Letcc via Labelled Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 91-111, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie |
Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 175-190, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Simon Richards, Mehrnoosh Sadrzadeh |
Aximo: Automated Axiomatic Reasoning for Information Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 211-225, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Jan M. Broersen, Julien Brunel |
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 69-89, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Inanç Seylan, Riza Cenk Erdur |
A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 113-130, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tero Tulenheimo, Manuel Rebuschi |
Equivalence Criteria for Compositional IF Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 153-173, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kaminski, Gert Smolka |
Hybrid Tableaux for the Difference Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 241-257, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Abate, Rajeev Goré |
The Tableau Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 55-67, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|