Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th 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 José 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
a service of 
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 2024-04-25 05:27 CEST 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:
