- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018
(2018)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On the Logics with Propositional Quantifiers Extending S5Π.Yifeng Ding - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pp. 219-235.
Advances in Modal Logic 8.Lev Dmitrievich Beklemishev, Valentin Goranko & Valentin Shehtman (eds.) - 2010 - London, England: College Publications.
Recent Advances in Proof Systems for Modal Logic.Sara Negri - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 421-422.
Axiomatizing a Real-Valued Modal Logic.Denisa Diaconescu, George Metcalfe & Laura Schnüriger - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 236-251.
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.
Uniform Interpolation, Automata and the Modal mu-Calculus.Giovanna D'Agostino & Marco Hollenberg - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 73-84.
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.
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
Uniform Interpolation, Automata and the Modal mu-Calculus.Giovanna D'Agostino & Marco Hollenberg - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 73-84.
Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.Ablerto Artosi, Paola Benassi, Guido Governatori & Antonino Rotolo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.
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. CSLI Publications. pp. 85-98.
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.
On Modal Logics, IF Logic, and IF Modal Logic.Tero Tulenheimo & Merlijn Sevenster - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 481-501.
A Hennessy-Milner Property for Many-Valued Modal Logics.Michel Marti & George Metcalfe - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 407-420.
The succinctness of first-order logic over modal logic via a formula size game.Lauri Hella & Miikka Vilander - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 491-419.
Analytics
Added to PP
2020-07-29
Downloads
0
6 months
0
2020-07-29
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-768c78dffc-5wvn8 N