- Verso una ontologia formale "tommasiana": la contro-implicazione stretta causale.Francesco Panizzoli - 2015 - Epistemologia 38 (1):47-67.details
|
|
Lewis on Implication.Stephen Francis Barker - 2006 - Transactions of the Charles S. Peirce Society 42 (1):10-16.details
|
|
A Proof-theoretic View of Necessity.Reinhard Kahle - 2006 - Synthese 148 (3):659-673.details
|
|
Validity and Necessity.Roberta Ballarin - 2005 - Journal of Philosophical Logic 34 (3):275-303.details
|
|
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.details
|
|
The Intrinsic Quantum Nature of Nash Equilibrium Mixtures.Yohan Pelosse - 2016 - Journal of Philosophical Logic 45 (1):25-64.details
|
|
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium'88), Padova, 1988.R. Ferro - 1990 - Journal of Symbolic Logic 55 (1):387-435.details
|
|
Meredith, Prior, and the History of Possible Worlds Semantics.B. Jack Copeland - 2006 - Synthese 150 (3):373-397.details
|
|
Logical-Epistemic Foundations of General Game Descriptions.Ji Ruan & Michael Thielscher - 2014 - Studia Logica 102 (2):321-338.details
|
|
Reasoning About Belief Revision.Caroline Semmling & Heinrich Wansing - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 303--328.details
|
|
Tableaux variants of some modal and relevant systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.details
|
|
On the practical value of Herbrand disjunctions.Uwe Petermann - 2000 - Logic and Logical Philosophy 8:153.details
|
|
A Hamblin Semantics for Evidentials.Sarah E. Murray - 2011 - In Ed Cormany, Satoshi Ito & David Lutz (eds.), Proceedings From Semantics and Linguistic Theory (Salt) Xix (2009). Clc Publications. pp. 324--341.details
|
|
The Logic of Uncertain Justifications.Robert S. Milnikel - 2014 - Annals of Pure and Applied Logic 165 (1):305-315.details
|
|
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.details
|
|
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.details
|
|
Ternary relations and relevant semantics.Robert K. Meyer - 2004 - Annals of Pure and Applied Logic 127 (1-3):195-217.details
|
|
Maximality in modal logic.R. C. Flagg & H. Friedman - 1987 - Annals of Pure and Applied Logic 34 (2):99-118.details
|
|
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.details
|
|
Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.details
|
|
Completeness results for intuitionistic and modal logic in a categorical setting.M. Makkai & G. E. Reyes - 1995 - Annals of Pure and Applied Logic 72 (1):25-101.details
|
|
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels.James Lipton & Michael J. O'Donnell - 1996 - Annals of Pure and Applied Logic 81 (1-3):187-239.details
|
|
Theorem proving with built-in hybrid theories.Uwe Petermann - 1998 - Logic and Logical Philosophy 6:77.details
|
|
Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.details
|
|
On the event relativity of modal auxiliaries.Valentine Hacquard - 2010 - Natural Language Semantics 18 (1):79-114.details
|
|
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.details
|
|
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.details
|
|
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.details
|
|
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.details
|
|
Provability as a deontic notion.Charles F. Kielkopf - 1971 - Theory and Decision 2 (1):1-15.details
|
|
Some notes on Church's thesis and the theory of games.Luca Anderlini - 1990 - Theory and Decision 29 (1):19-52.details
|
|
A proof of Hume's separation thesis based on a formal system for descriptive and normative statements.Arnold A. Johanson - 1973 - Theory and Decision 3 (4):339-350.details
|
|
Changing minds about climate change: Belief revision, coherence, and emotion.Paul Thagard & Scott Findlay - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 329--345.details
|
|
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.details
|
|
Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - Studia Logica 101 (3):487-503.details
|
|
Foreword.Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici & Yde Venema - 2012 - Studia Logica 100 (1-2):1-7.details
|
|
Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.details
|
|
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.details
|
|
A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.H. C. M. De Swart - 1983 - Journal of Symbolic Logic 48 (1):1 - 20.details
|
|
Modal logic should say more than it does.Melvin Fitting - unknowndetails
|
|
A Handbook for Language Engineers.Matthew Stone - unknowndetails
|
|
Dynamic topological logic.S. Artemov - unknowndetails
|
|
Queries on Truth-Conditions.Hugues Leblanc - 1975 - Dialogue 14 (3):410-419.details
|
|
Why does Halldén-completeness matter?George F. Schumm - 1993 - Theoria 59 (1-3):192-206.details
|
|
Law and logic.Stig Kanger - 1972 - Theoria 38 (3):105-132.details
|
|
Logics With Several Modal Operators.Melvin Fitting - 1969 - Theoria 35 (3):259-266.details
|
|
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details
|
|
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.details
|
|
A Re-examination of illusory inferences based on factual conditional sentences.Paolo Cherubini, Alberto Mazzocco, Simona Gardini & Aurore Russo - 2001 - Mind and Society 2 (2):9-25.details
|
|
Rational choice and agm belief revision.Giacomo Bonanno - 2009 - Artificial Intelligence 173 (12-13):1194-1203.details
|
|