- The Method of Axiomatic Rejection for the Intuitionistic Propositional Logic.Rafal Dutkiewicz - 1989 - Studia Logica 48 (4):449-459.details
|
|
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.details
|
|
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.details
|
|
On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.details
|
|
Logics and Languages.M. J. Cresswell - 1973 - Synthese 40 (2):375-387.details
|
|
Categorial languages.M. J. Cresswell - 1977 - Studia Logica 36 (4):257 - 269.details
|
|
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.details
|
|
Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.details
|
|
On the logic of small changes in hypertheories.John Cantwell - 1997 - Theoria 63 (1-2):54-89.details
|
|
Iterated revision and minimal change of conditional beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.details
|
|
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.details
|
|
On syntactical categories.Yehoshua Bar-Hillel - 1950 - Journal of Symbolic Logic 15 (1):1-16.details
|
|
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
On the logic of theory change: Contraction functions and their associated revision functions.Carlos E. Alchourron & David Makinson - 1982 - Theoria 48 (1):14-37.details
|
|
Sprache und Sinn.Kasimir Ajdukiewicz - 1934 - Erkenntnis 4 (1):100-138.details
|
|
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (1):11-15.details
|
|
The Complexity of Temporal Logic Model Checking.Ph Schoebelen - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 393-436.details
|
|
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Mathematical Methods in Linguistics.Barbara Partee, Alice ter Meulen & Robert Wall - 1987 - Boston, MA, USA: Kluwer Academic Publishers.details
|
|
A Textbook of Belief Dynamics: Solutions to Exercises.Sven Ove Hansson - 1999 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
Frontiers of Belief Revision.M. Williams & Hans Rott (eds.) - 2001 - Kluwer Academic Publishers.details
|
|
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.details
|
|
Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String.Wojciech Zielonka - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):135-142.details
|
|
Cut-Rule Axiomatization of the Syntactic Calculus L0.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):233-236.details
|
|
Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Mathematical Logic Quarterly 27 (13‐14):215-224.details
|
|
Provability logics with quantifiers on proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.details
|
|
Logical and philosophical ideas in certain formal approaches to language.Urszula Wybraniec-Skardowska - 1998 - Synthese 116 (2):231-277.details
|
|
On the eliminatibility of ideal linguistic entities.Urszula Wybraniec-Skardowska - 1989 - Studia Logica 48 (4):587 - 615.details
|
|
On obligations and normative ability: Towards a logical analysis of the social contract.Michael Wooldridge & Wiebe van der Hoek - 2005 - Journal of Applied Logic 3 (3-4):396-420.details
|
|
Social laws in alternating time: Effectiveness, feasibility, and synthesis.Wiebe van der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.details
|
|
Essays in Logical Semantics.John Hawthorn - 1986 - Springer.details
|
|
Completeness of weak implication.Alasdair I. F. Urquhart - 1971 - Theoria 37 (3):274-282.details
|
|
Minimal logic is adequate for Popperian science.Neil Tennant - 1985 - British Journal for the Philosophy of Science 36 (3):325-329.details
|
|
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.details
|
|
Hyper-contradictions, generalized truth values and logics of truth and falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.details
|
|
On the emergence of social conventions: modeling, analysis, and simulations.Yoav Shoham & Moshe Tennenholtz - 1997 - Artificial Intelligence 94 (1-2):139-166.details
|
|
Classical logic II: Higher-order logic.Stewart Shapiro - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 33--54.details
|
|
The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.details
|
|
Two methods of constructing contractions and revisions of knowledge systems.Hans Rott - 1991 - Journal of Philosophical Logic 20 (2):149 - 173.details
|
|
Stability, strength and sensitivity: Converting belief into knowledge.Hans Rott - 2004 - Erkenntnis 61 (2-3):469-493.details
|
|
Modellings for belief change: Prioritization and entrenchment.Hans Rott - 1992 - Theoria 58 (1):21-57.details
|
|
Ontology in the Tractatus of L. Wittgenstein.Roman Suszko - 1968 - Notre Dame Journal of Formal Logic 9 (1):7-33.details
|
|
Knowledge, Belief and Counterfactual Reasoning in Games.Robert Stalnaker - 1996 - Economics and Philosophy 12 (2):133.details
|
|
Splitting lattices of logics.Wolfgang Rautenberg - 1980 - Archive for Mathematical Logic 20 (3-4):155-159.details
|
|
Contrary-to-duty obligations.Henry Prakken & Marek Sergot - 1996 - Studia Logica 57 (1):91 - 115.details
|
|
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.details
|
|
Combinators and categorial grammar.Peter Simons - 1989 - Notre Dame Journal of Formal Logic 30 (2):241-261.details
|
|
A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.details
|
|