- Actualism and Modal Semantics.José L. Zalabardo - 2018 - Acta Analytica 33 (1):35-49.details
|
|
Reference, Context, and Propositions.Kai-Yee Wong - 1990 - Dissertation, Australian National Universitydetails
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Kripke completeness revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.details
|
|
Uniform interpolation in substructural logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.details
|
|
Syntactical and semantical properties of simple type theory.Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (4):305-326.details
|
|
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.details
|
|
Hypersequent Calculi for S5: The Methods of Cut Elimination.Kaja Bednarska & Andrzej Indrzejczak - 2015 - Logic and Logical Philosophy 24 (3):277–311.details
|
|
An exposition and development of Kanger's early semantics for modal logic.Sten Lindström - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its origins. Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
A cut-free Gentzen-type system for the modal logic S.Masahiko Sato - 1980 - Journal of Symbolic Logic 45 (1):67-84.details
|
|
(1 other version)Labelled Tree Sequents, Tree Hypersequents and Nested Sequents.Rajeev Goré & Revantha Ramanayake - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 279-299.details
|
|
Subformula theorems for n-sequents.Hugues Leblanc - 1968 - Journal of Symbolic Logic 33 (2):161-179.details
|
|