default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th M4M 2009: Copenhagen, Denmark
- Thomas Bolander, Torben Braüner:
Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009. Electronic Notes in Theoretical Computer Science 262, Elsevier 2010 - Thomas Bolander
, Torben Braüner:
Preface. 1-2 - Régis Alenda, Nicola Olivetti, Gian Luca Pozzato:
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. 3-16 - Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky:
A Tableau Method for Checking Rule Admissibility in S4. 17-32 - Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade:
Controller/Orchestrator Synthesis via Filtration. 33-48 - Mario R. F. Benevides, Luis Menasché Schechter:
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. 49-64 - Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. 65-81 - Samuel Bucheli, Roman Kuznets, Thomas Studer:
Two Ways to Common Knowledge. 83-98 - Oliver Friedmann, Martin Lange:
A Solver for Modal Fixpoint Logics. 99-111 - Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov:
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. 113-125 - Daniel Götzmann, Mark Kaminski, Gert Smolka:
Spartacus: A Tableau Prover for Hybrid Logic. 127-139 - Jens Ulrik Hansen:
Terminating Tableaux for Dynamic Epistemic Logics. 141-156 - Daniel Hausmann, Lutz Schröder:
Optimizing Conditional Logic Reasoning within CoLoSS. 157-171 - Lauri Hella, Antti Kuusisto:
Monadic Sigma11 and Modal Logic with Quantified Binary Relations. 173-188 - Andrea Masini, Luca Viganò, Marco Volpe:
A History of Until. 189-204 - Kurt Ranalter:
Embedding Constructive K into Intuitionistic K. 205-219 - Renate A. Schmidt:
Simulation and Synthesis of Deduction Calculi. 221-229 - Inanç Seylan, Wojciech Jamroga:
Coalition Description Logic with Individuals. 231-248 - Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge:
OOPS: An S5n Prover for Educational Settings. 249-261
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
