- Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.details
|
|
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.details
|
|
A formalization of Sambins's normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.details
|
|
Mental models: Rationality, representation and process.D. W. Green - 1993 - Behavioral and Brain Sciences 16 (2):352-353.details
|
|
Rule systems are not dead: Existential quantifiers are harder.Richard E. Grandy - 1993 - Behavioral and Brain Sciences 16 (2):351-352.details
|
|
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation.Enrico Giunchiglia, Roberto Sebastiani, Fausto Giunchiglia & Armando Tacchella - 2000 - Journal of Applied Non-Classical Logics 10 (2):145-172.details
|
|
An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System.Nina Gierasimczuk, Han L. J. van der Maas & Maartje E. J. Raijmakers - 2013 - Journal of Logic, Language and Information 22 (3):297-314.details
|
|
Theory matrices (for modal logics) using alphabetical monotonicity.Ian P. Gent - 1993 - Studia Logica 52 (2):233 - 257.details
|
|
The game of inquiry: the interrogative approach to inquiry and belief revision theory.Emmanuel J. Genot - 2009 - Synthese 171 (2):271-289.details
|
|
Strategies of inquiry : The ‘Sherlock Holmes sense of deduction’ revisited.Emmanuel J. Genot - 2018 - Synthese 195 (5):2065-2088.details
|
|
Logical Dialogues with Explicit Preference Profiles and Strategy Selection.Emmanuel Genot & Justine Jacot - 2017 - Journal of Logic, Language and Information 26 (3):261-291.details
|
|
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.details
|
|
A number of questions about a question of number.Alan Garnham - 1993 - Behavioral and Brain Sciences 16 (2):350-351.details
|
|
Why study deduction?Kathleen M. Galotti & Lloyd K. Komatsu - 1993 - Behavioral and Brain Sciences 16 (2):350-350.details
|
|
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.details
|
|
Application of modal logic to programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2-3):257 - 274.details
|
|
The Consistency Argument for Ranking Functions.Franz Huber - 2007 - Studia Logica 86 (2):299-329.details
|
|
Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.details
|
|
Key notions of Tarski's methodology of deductive systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.details
|
|
A symmetric approach to axiomatizing quantifiers and modalities.Melvin Fitting - 1984 - Synthese 60 (1):5 - 19.details
|
|
(1 other version)A Modal Logic Analog of Smullyan's Fundamental Theorem.Melvin Fitting - 1973 - Mathematical Logic Quarterly 19 (1):1-16.details
|
|
Mental models and informal logic.Alec Fisher - 1993 - Behavioral and Brain Sciences 16 (2):349-349.details
|
|
Nonsense logics and their algebraic properties.Victor K. Finn & Revaz Grigolia - 1993 - Theoria 59 (1-3):207-273.details
|
|
Cut and pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.details
|
|
Deductive reasoning: What are taken to be the premises and how are they interpreted?Samuel Fillenbaum - 1993 - Behavioral and Brain Sciences 16 (2):348-349.details
|
|
The argument for mental models is unsound.James H. Fetzer - 1993 - Behavioral and Brain Sciences 16 (2):347-348.details
|
|
On modes of explanation.Rachel Joffe Falmagne - 1993 - Behavioral and Brain Sciences 16 (2):346-347.details
|
|
On rules, models and understanding.Jonathan St B. T. Evans - 1993 - Behavioral and Brain Sciences 16 (2):345-346.details
|
|
The meaning of mathematical expressions: Does philosophy shed any light on psychology?Paul Ernest - 1990 - British Journal for the Philosophy of Science 41 (4):443-460.details
|
|
Mental-model theory and rationality.Pascal Engel - 1993 - Behavioral and Brain Sciences 16 (2):345-345.details
|
|
The logic of partitions: Introduction to the dual of the logic of subsets: The logic of partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.details
|
|
Geometrisation of First-Order Logic.Roy Dyckhoff & Sara Negri - 2015 - Bulletin of Symbolic Logic 21 (2):123-163.details
|
|
(1 other version)Dialogical logic: beyond syntax and semantics?Guido Del Din - 2015 - Epistemologia 2:276-288.details
|
|
Deduction by children and animals: Does it follow the Johnson-Laird & Byrne model?Hank Davis - 1993 - Behavioral and Brain Sciences 16 (2):344-344.details
|
|
Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.details
|
|
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.details
|
|
Tractability considerations in deduction.James M. Crawford - 1993 - Behavioral and Brain Sciences 16 (2):343-343.details
|
|
Some difficulties about deduction.L. Jonathan Cohen - 1993 - Behavioral and Brain Sciences 16 (2):341-342.details
|
|
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.details
|
|
Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.details
|
|
Mental models and nonmonotonic reasoning.Nick Chater - 1993 - Behavioral and Brain Sciences 16 (2):340-341.details
|
|
“Semantic procedure” is an oxymoron.Alan Bundy - 1993 - Behavioral and Brain Sciences 16 (2):339-340.details
|
|
Mental models cannot exclude mental logic and make little sense without it.Martin D. S. Braine - 1993 - Behavioral and Brain Sciences 16 (2):338-339.details
|
|
A “definitive” probabilistic semantics for first-order logic.Kent Bendall - 1982 - Journal of Philosophical Logic 11 (3):255 - 278.details
|
|
Toward a developmental theory of mental models.Bruno G. Bara - 1993 - Behavioral and Brain Sciences 16 (2):336-336.details
|
|
Everyday reasoning and logical inference.Jon Barwise - 1993 - Behavioral and Brain Sciences 16 (2):337-338.details
|
|
Deduction as an example of thinking.Jonathan Baron - 1993 - Behavioral and Brain Sciences 16 (2):336-337.details
|
|
A modal version of free logic.Juan L. Barba - 1989 - Topoi 8 (2):131-135.details
|
|
Getting down to cases.Kent Bach - 1993 - Behavioral and Brain Sciences 16 (2):334-336.details
|
|
Clause tableaux for maximum and minimum satisfiability.Josep Argelich, Chu Min Li, Felip Manyà & Joan Ramon Soler - 2021 - Logic Journal of the IGPL 29 (1):7-27.details
|
|