London, England: CSLI Publications (2014)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | adjoint functors |
| Categories |
No categories specified (categorize this paper) |
| Buy this book |
Find it on Amazon.com
|
| ISBN(s) | 1848901518 9781848901513 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,379
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
Chapters BETA
A Parametrized Propositional Dynamic Logic with Application to Service Synthesis.Walid Belkhir, Gisela Rossi & Rusinowitch
Multiple-Conclusion Rules, Hypersequents Syntax and Step Frames.Nick Bezhanishvili & Silvio Ghilardi
PDL Inside the Μ-Calculus: A Syntactic and an Automata-Theoretic Characterization.Facundo Carreiro & Yde Venema
Optimal Decision Procedures for Satisfiability in Fragments of Alternating-Time Temporal Logics.Valentin Goranko & Steen Vester
The Expressive Power of Modal Dependence Logic.Lauri Hella, Kerkko Luosto, Katsuhiko Sano & Jonni Virtema
Label-Free Modular Systems for Classical and Intuitionistic Modal Logics.Sonia Marin & Lutz Straßburger
Some Exponential Lower Bounds on Formula-Size in Modal Logic.Hans van Ditmarsch, Wiebe van der Hoek & Petar Iliev
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Valentini's Cut-Elimination for Provability Logic Resloved.Rajeev Goré & Revantha Ramanayake - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 67-86.
On Modal Products with Th Logic of 'Elsewhere'.Christopher Hampson & Agi Kurucz - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 339-347.
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic.Rajeev Goré, Linda Postniece & Alwen Tiu - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 156-177.
On the Complexity of Modal Axiomatisations Over Many-Dimensional Structures.Agi Kurucz - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 256-270.
A Note on Relativised Products of Modal Logics.Agi Kurucz & Michael Zakharyaschev - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 221-242.
Bimodal Logics for Reasoning About Continuous Dynamics.Jen M. Davoren & Rajeev P. Goré - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 91-111.
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 265-292.
Fischer Servi's Intuitionistic Modal Logic has the Finite Modal Property.Carsten Grefe - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 85-98.
On Modal Logics, IF Logic, and IF Modal Logic.Tero Tulenheimo & Merlijn Sevenster - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 481-501.
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.Alwen Tiu, Egor Ianovski & Rajeev Goré - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 516-537.
Finite Frames for K4.3 X S5 Are Decidable.Agi Kurucz & Sérgio Marcelino - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 411-436.
S5 X S5 X S5 Lacks the Finite Model Property.Agnes Kurucz - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 321-327.
On Axiomatisting Products of Kripke Frames, Part II.Agi Kurucz - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 219-230.
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 271-291.
Analytics
Added to PP index
2018-02-23
Total views
3 ( #1,362,757 of 2,519,659 )
Recent downloads (6 months)
3 ( #205,383 of 2,519,659 )
2018-02-23
Total views
3 ( #1,362,757 of 2,519,659 )
Recent downloads (6 months)
3 ( #205,383 of 2,519,659 )
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
