Search results for "M4M"

Hits ?▲	Authors	Title	Venue	Year	Link
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	M4M	2010	DBLP BibTeX RDF
1	Kurt Ranalter	Embedding Constructive K into Intuitionistic K.	M4M	2009	DBLP DOI BibTeX RDF
1	Daniel Götzmann, Mark Kaminski, Gert Smolka	Spartacus: A Tableau Prover for Hybrid Logic.	M4M	2009	DBLP DOI BibTeX RDF
1	Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge	OOPS: An S5n Prover for Educational Settings.	M4M	2009	DBLP DOI BibTeX RDF
1	Lauri Hella, Antti Kuusisto	Monadic Sigma11 and Modal Logic with Quantified Binary Relations.	M4M	2009	DBLP DOI BibTeX RDF
1	Thomas Bolander, Torben Braüner	Preface.	M4M	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.	M4M	2009	DBLP DOI BibTeX RDF
1	Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov	Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis.	M4M	2009	DBLP DOI BibTeX RDF
1	Renate A. Schmidt	Simulation and Synthesis of Deduction Calculi.	M4M	2009	DBLP DOI BibTeX RDF
1	Daniel Hausmann 0001, Lutz Schröder	Optimizing Conditional Logic Reasoning within CoLoSS.	M4M	2009	DBLP DOI BibTeX RDF
1	Oliver Friedmann, Martin Lange	A Solver for Modal Fixpoint Logics.	M4M	2009	DBLP DOI BibTeX RDF
1	Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade	Controller/Orchestrator Synthesis via Filtration.	M4M	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.	M4M	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.	M4M	2009	DBLP DOI BibTeX RDF
1	Inanç Seylan, Wojciech Jamroga	Coalition Description Logic with Individuals.	M4M	2009	DBLP DOI BibTeX RDF
1	Samuel Bucheli, Roman Kuznets, Thomas Studer	Two Ways to Common Knowledge.	M4M	2009	DBLP DOI BibTeX RDF
1	Jens Ulrik Hansen	Terminating Tableaux for Dynamic Epistemic Logics.	M4M	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.	M4M	2009	DBLP DOI BibTeX RDF
1	Andrea Masini, Luca Viganò 0001, Marco Volpe 0001	A History of Until.	M4M	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	M4M	2009	DBLP BibTeX RDF
1	Dmitry Sustretov, Guillaume Hoffmann 0001, Carlos Areces, Patrick Blackburn	Experiments in Theorem Proving for Topological Hybrid Logic.	M4M	2007	DBLP DOI BibTeX RDF
1	Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder	CoLoSS: The Coalgebraic Logic Satisfiability Solver.	M4M	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.	M4M	2007	DBLP DOI BibTeX RDF
1	Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge	Completeness and Complexity of Multi-modal CTL.	M4M	2007	DBLP DOI BibTeX RDF
1	Guillaume Hoffmann 0001, Carlos Areces	HTab: a Terminating Tableaux System for Hybrid Logic.	M4M	2007	DBLP DOI BibTeX RDF
1	Thomas Bolander, Patrick Blackburn	Terminating Tableau Calculi for Hybrid Logics Extending K.	M4M	2007	DBLP DOI BibTeX RDF
1	Pietro Abate, Rajeev Goré, Florian Widmann	An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.	M4M	2007	DBLP DOI BibTeX RDF
1	Laura Bozzelli	CaRet With Forgettable Past.	M4M	2007	DBLP DOI BibTeX RDF
1	Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig	Global and Local Graph Modifiers.	M4M	2007	DBLP DOI BibTeX RDF
1	Carlos Areces, Stéphane Demri	Preface.	M4M	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.	M4M	2007	DBLP DOI BibTeX RDF
1	Patricia Bouyer	Model-checking Timed Temporal Logics.	M4M	2007	DBLP DOI BibTeX RDF
1	Kai Brünnler, Thomas Studer	Syntactic Cut-elimination for Common Knowledge.	M4M	2007	DBLP DOI BibTeX RDF
1	Jason Reed 0001, Frank Pfenning	Intuitionistic Letcc via Labelled Deduction.	M4M	2007	DBLP DOI BibTeX RDF
1	Willem Conradie	Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA.	M4M	2007	DBLP DOI BibTeX RDF
1	Simon Richards, Mehrnoosh Sadrzadeh	Aximo: Automated Axiomatic Reasoning for Information Update.	M4M	2007	DBLP DOI BibTeX RDF
1	Philippe Balbiani, Jan M. Broersen, Julien Brunel	Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations.	M4M	2007	DBLP DOI BibTeX RDF
1	Inanç Seylan, Riza Cenk Erdur	A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains.	M4M	2007	DBLP DOI BibTeX RDF
1	Tero Tulenheimo, Manuel Rebuschi	Equivalence Criteria for Compositional IF Modal Logics.	M4M	2007	DBLP DOI BibTeX RDF
1	Mark Kaminski, Gert Smolka	Hybrid Tableaux for the Difference Modality.	M4M	2007	DBLP DOI BibTeX RDF
1	Pietro Abate, Rajeev Goré	The Tableau Workbench.	M4M	2007	DBLP DOI BibTeX RDF

Publications at "M4M"( http://dblp.L3S.de/Venues/M4M )