


default search action
7th M4M / 4th LAMAS 2011: Osuna, Spain
- Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego:
Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011. Electronic Notes in Theoretical Computer Science 278, Elsevier 2011 - Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego:
Preface. 1-2 - Carlos Areces
, Daniel Gorín:
Unsorted Functional Translations. 3-16 - Guillaume Aucher, Bastien Maubert
, François Schwarzentruber
:
Tableau Method and NEXPTIME-Completeness of DEL-Sequents. 17-30 - Philippe Balbiani
, Valentin Goranko, Guido Sciavicco
:
Two-sorted Point-Interval Temporal Logics. 31-45 - Félix Bou, Joost J. Joosten:
The Closed Fragment of IL is PSPACE Hard. 47-54 - Katarina Britz, Thomas Meyer
, Ivan Varzinczak
:
Preferential Reasoning for Modal Logics. 55-69 - Enrico Franconi, Yazmín Angélica Ibáñez-García, Inanç Seylan:
Query Answering with DBoxes is Hard. 71-84 - James Hales, Tim French, Rowan Davies:
Refinement Quantified Logics of Knowledge. 85-98 - Mark Kaminski, Gert Smolka:
Clausal Tableaux for Hybrid PDL. 99-113 - Ahmet Kara, Thomas Schwentick:
Expressiveness of Hybrid Temporal Logic on Data Words. 115-128 - Kohei Kishida
:
Neighborhood-Sheaf Semantics for First-Order Modal Logic. 129-143 - John Christopher McCabe-Dansted:
A Rooted Tableau for BCTL*. 145-158 - Fabio Papacchini
, Renate A. Schmidt
:
A Tableau Calculus for Minimal Modal Model Generation. 159-172 - Umberto Rivieccio
:
Paraconsistent Modal Logics. 173-186 - François Schwarzentruber
:
LotrecScheme. 187-199 - A. V. Sreejith:
Expressive Completeness for LTL With Modulo Counting and Group Quantifiers. 201-214 - Dario Della Monica
, Margherita Napoli
, Mimmo Parente
:
On a Logic for Coalitional Games with Priced-Resource Agents. 215-228 - Dimitar P. Guelev, Mads Dam:
An Epistemic Predicate CTL* for Finite Control π-Processes. 229-243 - Emiliano Lorini, Frédéric Moisan
:
An Epistemic Logic of Extensive Games. 245-260 - Zuojun Xiong
, Jeremy Seligman
:
Open and Closed Questions in Decision-making. 261-274 - Liang Zhen, Jeremy Seligman
:
A Logical Model of the Dynamics of Peer Pressure. 275-288

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.