default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 2008: Nancy, France
- Carlos Areces, Robert Goldblatt:
Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008. College Publications 2008, ISBN 978-1-904987-68-0 - Marta Bílková, Alessandra Palmigiano, Yde Venema:
Proof systems for the coalgebraic cover modality. 1-21 - Tim French, Hans van Ditmarsch:
Undecidability for arbitrary public announcement logic. 23-42 - Rajeev Goré, Linda Postniece, Alwen Tiu:
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. 43-66 - Rajeev Goré, Revantha Ramanayake:
Valentini's cut-elimination for provability logic resolved. 67-86 - Guido Governatori:
Labelled modal tableaux. 87-110 - Jens Hansen, Thomas Bolander, Torben Braüner:
Many-valued hybrid logic. 111-132 - Andreas Herzig, François Schwarzentruber:
Properties of logics of individual and group agency. 133-149 - Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev:
Topology, connectedness, and modal logic. 151-176 - Savas Konur:
An interval logic for natural language semantics. 177-191 - Clemens Kupke, Alexander Kurz, Yde Venema:
Completeness of the finitary Moss logic. 193-217 - Agi Kurucz:
On axiomatising products of Kripke frames, part II. 219-230 - Antti Kuusisto:
A modal perspective on monadic second-order alternation hierarchies. 231-247 - Yavor Nenov, Dimiter Vakarelov:
Modal logics for mereotopological relations. 249-272 - Martin Otto, Robert Piro:
A Lindström characterisation of the guarded fragment and of modal logic with a global modality. 273-287 - Ilya Shapirovsky:
PSPACE-decidability of Japaridze's polymodal logic. 289-304 - Timofei Shatrov:
On the intermediate logic of open subsets of metric spaces. 305-313 - Viorica Sofronie-Stokkermans:
Locality and subsumption testing in EL and some of its extensions. 315-339 - Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya:
A decision procedure for alternation-free modal µ-calculi. 341-362 - Tero Tulenheimo:
Modal logic of time division. 363-387 - Sara L. Uckelman:
Three 13th-century views of quantified modal logic. 389-406
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-02-28 21: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:
