default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 2014: Groningen, The Netherlands
- Rajeev Goré, Barteld P. Kooi, Agi Kurucz:
Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. College Publications 2014, ISBN 978-1-84890-151-3 - Faried Abu Zaid, Erich Grädel, Stephan Jaax:
Bisimulation Safe Fixed Point Logic. 1-15 - Philippe Balbiani, Tinko Tinchev:
Definability and Computability for PRSPDL. 16-33 - Walid Belkhir, Gisela Rossi, Michaël Rusinowitch:
A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. 34-53 - Nick Bezhanishvili, Silvio Ghilardi:
Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. 54-73 - Facundo Carreiro, Yde Venema:
PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. 74-93 - Ivano Ciardelli:
Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic. 94-113 - Michael De, Hitoshi Omori:
More on Empirical Negation. 114-133 - Stéphane Demri, Morgan Deters:
The Effects of Modalities in Separation Logics (Extended Abstract). 134-138 - Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev:
Some Exponential Lower Bounds on Formula-size in Modal Logic. 139-157 - Jan van Eijck, François Schwarzentruber:
Epistemic Probability Logic Simplified. 158-177 - Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Almost Necessary. 178-196 - Tim French, James Hales, Edwin Tay:
A Composable Language for Action Models. 197-216 - Samuel J. van Gool:
Free Algebras for Gödel-Löb Provability Logic. 217-233 - Valentin Goranko, Steen Vester:
Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. 234-253 - Daniel Gorín, Lutz Schröder:
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. 254-273 - Lauri Hella, Antti Kuusisto:
One-dimensional Fragment of First-order Logic. 274-293 - Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema:
The Expressive Power of Modal Dependence Logic. 294-312 - Wesley H. Holliday:
Partiality and Adjointness in Modal Logic. 313-332 - Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin:
Filtration Safe Operations on Frames. 333-352 - Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
Modal Independence Logic. 353-372 - Andrey Kudinov:
Neighbourhood Frame Product KxK. 373-386 - Sonia Marin, Lutz Straßburger:
Label-free Modular Systems for Classical and Intuitionistic Modal Logics. 387-406 - Michel Marti, George Metcalfe:
A Hennessy-Milner Property for Many-Valued Modal Logics. 407-420 - Sara Negri:
Recent Advances in Proof Systems for Modal Logic. 421-422 - Adam Prenosil:
A Duality for Distributive Unimodal Logic. 423-438 - Mark Reynolds:
A Tableau for Temporal Logic over the Reals. 439-458 - Umberto Rivieccio:
Bilattice Public Announcement Logic. 459-477 - Renate A. Schmidt, John G. Stell, David E. Rydeheard:
Axiomatic and Tableau-Based Reasoning for Kt(H, R). 478-497 - Valentin B. Shehtman:
Canonical Filtrations and Local Tabularity. 498-512 - Che-Ping Su:
Paraconsistent Justification Logic: a Starting Point. 513-532 - Tomoyuki Suzuki:
On Polarity Frames: Applications to Substructural and Lattice-based Logics. 533-552 - Sara L. Uckelman:
Reasoning About Obligations in Obligationes: A Formal Approach. 553-568 - Yanjing Wang, Jie Fan:
Conditionally Knowing What. 569-587
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-12-11 20:32 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:
