added 20200324 Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor  manuscriptdetails
added 20200324 CutFree Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel  2019  In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer International Publishing. pp. 803  819.details
added 20200324 A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon  2019  In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Berlin, Heidelberg: pp. 340354.details
added 20200324 Automating Agential Reasoning: ProofCalculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel  2019  In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of MultiAgent Systems. 93413 Cham, Germany: Springer. pp. 202218.details
added 20200324 From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake  2018  In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120  139.details
added 20200322 On the Relation Between Modality and Tense.Fabrice Correia & Sven Rosenkranz  forthcoming  Inquiry: An Interdisciplinary Journal of Philosophy.details
added 20200125 Boxes and Diamonds. An Open Introduction to Modal Logic.Richard Zach  2019details
added 20200103 Vagueness & Modality—An Ecumenical Approach.Jon Erling Litland & Juhani YliVakkuri  2016  Philosophical Perspectives 30 (1):229269.details
added 20191220 Negation on the Australian Plan.Francesco Berto & Greg Restall  2019  Journal of Philosophical Logic 48 (6):11191144.details
added 20191209 Remark on AlFārābī's Missing Modal Logic and its Effect on Ibn Sīnā.Wilfrid Hodges  2019  Eshare: An Iranian Journal of Philosophy 1 (3):3973.details
added 20191102 A Strange Kind of Power: Vetter on the Formal Adequacy of Dispositionalism.David Yates  2020  Philosophical Inquiries 8 (1):97116.details
added 20190926 Issues in Epistemic and Modal Logics and Their Applications.Cezar A. Mortari  1991  Dissertation, University of Tübingendetails
added 20190828 'On a Supposed Puzzle Concerning Modality and Existence'.Thomas Atkinson, Daniel J. Hill & Stephen K. McLeod  2019  Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):446473.details
added 20190606 Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities: Polynomial Ring Calculus for Modal Logics.Juan C. Agudelo  2011  Review of Symbolic Logic 4 (1):150170.details
added 20190605 We Belong Together? A Plea for Modesty in Modal Plural Logic.Simon Hewitt  manuscriptdetails
added 20190605 Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt  2020  Journal of Philosophical Logic 49 (2):221248.details
added 20190421 Ibn Sina’s Anticipation of Burdian and Barcan Formulas.Zia Movahed  manuscriptdetails
added 20190421 Review IbnSina’s Anticipation of the Formulas of Buridan and Barcan. [REVIEW]Irving H. Anellis  2008  The Review of Modern Logic 1: 73–86.details
added 20190324 TwoSided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker  2019  Teaching Philosophy 42 (1):4156.details
added 20190322 Modal Validity and the Dispensability of the Actuality Operator.Vittorio Morato  2014  In Michal Dancak & Vit Punochar (eds.), The Logica Yearbook 2013. London, UK:details
added 20190309 Espace logique et modalités chez Wittgenstein.Fabien Schang  2014  ALMukhatabat 9:230242.details
added 20190309 Philosophie des modalités épistémiques (la logique assertorique revisitée).Fabien Schang  2007  Dissertation, Nancy Universitédetails
added 20190308 MacColl’s Modes of Modalities.Fabien Schang  2011  Philosophia Scientiae 15:149188.details
added 20190301 Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka  forthcoming  Noûs.details
added 20190216 Modal Logic. An Introduction.Zia Movahed  2002  Tehran: Hermes Publishers.details
added 20190209 Disappearing Diamonds: FitchLike Results in Bimodal Logic.Weng San  2019  Journal of Philosophical Logic 48 (6):10031016.details
added 20190120 Suhrawardi's Modal Syllogisms.Zia Movahed  2012  Sophia Perennis 21:517.details
added 20190106 De Re and De Dicto Modality in Islamic Traditional Logic.Zia Movahed  2010  Sophia Perennis 2:514.details
added 20181213 Autologos. Ein Dialog über die Fundamentallogik.Gregor Damschen  2015  In Gregor Damschen & Alejandro G. Vigo (eds.), Dialog und Verstehen. Klassische und moderne Perspektiven. Berlin: Lit. pp. 229–244.details
added 20181121 On the Concept of a Notational Variant.Alexander W. Kocurek  2017  In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). pp. 284298.details
added 20181027 The Modal Logic of the Countable Random Frame.Valentin Goranko & Bruce Kapron  2003  Archive for Mathematical Logic 42 (3):221243.details
added 20180921 Necessity, a Leibnizian Thesis, and a Dialogical Semantics.Mohammad Shafiei  2017  South American Journal of Logic 3 (1):123.details
added 20180906 Modal Predicates.Andrea Iacona  2004  Australasian Journal of Logic 2:4469.details
added 20180817 Diamonds Are Forever.Cian Dorr & Jeremy Goodman  forthcoming  Noûs.details
added 20180421 The Basic Algebra of Game Equivalences.Valentin Goranko  2003  Studia Logica 75 (2):221238.details
added 20180421 Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko  2002  Journal of Applied NonClassical Logics 12 (34):365397.details
added 20180421 Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov  1999  Journal of Applied NonClassical Logics 9 (2):345368.details
added 20180421 Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko  1996  Journal of Logic, Language and Information 5 (1):124.details
added 20180421 Refutation Systems in Modal Logic.Valentin Goranko  1994  Studia Logica 53 (2):299  324.details
added 20180421 Modal Logic with Names.George Gargov & Valentin Goranko  1993  Journal of Philosophical Logic 22 (6):607  636.details
added 20180421 Proving Unprovability in Some Normal Modal Logics.Valentin Goranko  1991  Bulletin of the Section of Logic 20 (1):2329.details
added 20180420 Strategic Commitment and Release in Logics for MultiAgent Systems.Thomas Ågotnes, Valentin Goranko & Wojciech Jamroga  manuscriptdetails
added 20180420 Optimal Decision Procedures for Satisfiability in Fragments of AlternatingTime Temporal Logics.Valentin Goranko & Steen Vester  2014  In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. College Publications. pp. 234253.details
added 20180420 Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov  2010  Journal of Applied Logic 8 (4):319333.details
added 20180420 Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko  2008  Journal of Applied NonClassical Logics 18 (23):175211.details
added 20180420 Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov  2006  Annals of Pure and Applied Logic 141 (1):180217.details
added 20180420 Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov  2005  In Renate Schmidt, Ian PrattHartmann, Mark Reynolds & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 5. Kings College London Publ.. pp. 1751.details
added 20180420 Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov  2002  In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. World Scientific. pp. 221240.details
added 20180420 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. 265292.details
added 20180420 Axiomatizations with Context Rules of Inference in Modal Logic.Valentin Goranko  1998  Studia Logica 61 (2):179197.details

Offcampus access
Using PhilArchive from home?
Create an account to enable offcampus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email

RSS feed

About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
