Found: 73
Select item for more details and to access through your institution.
A new challenge for contingentists.
- Published in:
- Philosophical Studies, 2023, v. 180, n. 8, p. 2457, doi. 10.1007/s11098-023-01942-6
- By:
- Publication type:
- Article
Probabilistic logic of quantum observations.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 328, doi. 10.1093/jigpal/jzy051
- By:
- Publication type:
- Article
A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 64, p. 147, doi. 10.1613/jair.1.11337
- By:
- Publication type:
- Article
Religious Presuppositions of Logic and Rationality An Enquiry.
- Published in:
- Forum Philosophicum, 2018, v. 23, n. 1, p. 5, doi. 10.5840/forphil20182311
- By:
- Publication type:
- Article
RELATIONS OF THINKING LAWS WITHIN FORMAL AND DIALECTIC LOGIC.
- Published in:
- Education & Science Without Borders, 2017, v. 8, n. 16, p. 95
- By:
- Publication type:
- Article
A rule-based approach to detect and prevent inconsistency in the domain-engineering process.
- Published in:
- Expert Systems, 2016, v. 33, n. 1, p. 3, doi. 10.1111/exsy.12116
- By:
- Publication type:
- Article
First-order aspects of tree paths.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 688, doi. 10.1093/jigpal/jzv026
- By:
- Publication type:
- Article
Many symmetrically indivisible structures.
- Published in:
- Mathematical Logic Quarterly, 2015, v. 61, n. 4/5, p. 341, doi. 10.1002/malq.201400091
- By:
- Publication type:
- Article
2014 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’14 Vienna, AUSTRIA July 14–19, 2014.
- Published in:
- 2015
- Publication type:
- Proceeding
Consistent Truth.
- Published in:
- Ratio, 2014, v. 27, n. 3, p. 247, doi. 10.1111/rati.12038
- By:
- Publication type:
- Article
UDUDO REASONING IN AFRICAN THOUGHT: A POSTMODERN FORMALIST METHOD FOR LOGIC.
- Published in:
- 2014
- By:
- Publication type:
- Essay
Transition semantics: the dynamics of dependence logic.
- Published in:
- Synthese, 2014, v. 191, n. 6, p. 1249, doi. 10.1007/s11229-013-0327-8
- By:
- Publication type:
- Article
ANCESTOR WORSHIP IN THE LOGIC OF GAMES HOW FOUNDATIONAL WERE ARISTOTLE'S CONTRIBUTIONS?
- Published in:
- Baltic International Yearbook of Cognition, Logic & Communication, 2013, v. 8, p. 1, doi. 10.4148/1944-3676.1076
- By:
- Publication type:
- Article
ARISTOTLE'S SYLLOGISTICS REVISITED.
- Published in:
- Epistemologia, 2013, v. 36, n. 2, p. 233
- By:
- Publication type:
- Article
On the existence of a modal-logical basis for monadic second-order logic.
- Published in:
- Journal of Logic & Computation, 2013, v. 23, n. 1, p. 157, doi. 10.1093/logcom/exs001
- By:
- Publication type:
- Article
Rational Mechanics in the Eighteenth Century. On Structural Developments of a Mathematical Science.
- Published in:
- Berichte zur Wissenschafts-Geschichte, 2012, v. 35, n. 3, p. 183, doi. 10.1002/bewi.201201550
- By:
- Publication type:
- Article
First-order logics: some characterizations and closure properties.
- Published in:
- Acta Informatica, 2012, v. 49, n. 4, p. 225, doi. 10.1007/s00236-012-0157-z
- By:
- Publication type:
- Article
THE ELEMENTALS. A WORK ON THE PHILOSOPHY OF LOGIC (CHAPTER I).
- Published in:
- Annales Philosophici, 2012, n. 4, p. 15
- By:
- Publication type:
- Article
Towards a Reassessment of British Aristotelianism.
- Published in:
- Vivarium, 2012, v. 50, n. 1, p. 85, doi. 10.1163/156853411X606383
- By:
- Publication type:
- Article
Introduction: Diagrammatical reasoning and Peircean logic representations.
- Published in:
- Semiotica, 2011, v. 2011, n. 186, p. 1, doi. 10.1515/semi.2011.043
- By:
- Publication type:
- Article
Diagrams, iconicity, and abductive discovery.
- Published in:
- Semiotica, 2011, v. 2011, n. 186, p. 297, doi. 10.1515/semi.2011.057
- By:
- Publication type:
- Article
Leila Haaparanta (Ed.): The Development of Modern Logic.
- Published in:
- 2011
- By:
- Publication type:
- Book Review
Rank Hierarchies for Generalized Quantifiers.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 2, p. 287, doi. 10.1093/logcom/exq019
- By:
- Publication type:
- Article
NOTES ON INTENSIONAL THEORIES.
- Published in:
- Discusiones Filosóficas, 2011, v. 12, n. 18, p. 13
- By:
- Publication type:
- Article
MODERN LOGIC VERSUS MATHEMATICS AND PHILOSOPHY.
- Published in:
- Studies in Logic & Theory of Knowledge, 2011, v. 7, p. 5
- By:
- Publication type:
- Article
Inferentializing Semantics.
- Published in:
- Journal of Philosophical Logic, 2010, v. 39, n. 3, p. 255, doi. 10.1007/s10992-010-9123-9
- By:
- Publication type:
- Article
Between Frege and Peirce: Josiah Royce's Structural Logicism.
- Published in:
- Transactions of the Charles S. Peirce Society, 2010, v. 46, n. 2, p. 155, doi. 10.2979/tra.2011.46.2.155
- By:
- Publication type:
- Article
The Politics of Disjunction.
- Published in:
- Transactions of the Charles S. Peirce Society, 2010, v. 46, n. 2, p. 202, doi. 10.2979/tra.2011.46.2.202
- By:
- Publication type:
- Article
Royce, Boolean Rings, and the T- Relation.
- Published in:
- Transactions of the Charles S. Peirce Society, 2010, v. 46, n. 2, p. 221, doi. 10.2979/tra.2011.46.2.221
- By:
- Publication type:
- Article
Bottom-up Construction of Semantic Tableaux.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 283, doi. 10.1093/logcom/exn069
- By:
- Publication type:
- Article
The three-form reasoning of new Hetu-vidya in Indian logic from the perspective of modern logic.
- Published in:
- Frontiers of Philosophy in China, 2009, v. 4, n. 4, p. 631, doi. 10.1007/s11466-009-0042-1
- By:
- Publication type:
- Article
Traditional Logic, Modern Logic and Natural Language.
- Published in:
- Journal of Philosophical Logic, 2009, v. 38, n. 6, p. 589, doi. 10.1007/s10992-009-9113-y
- By:
- Publication type:
- Article
Utility and Language Generation: The Case of Vagueness.
- Published in:
- Journal of Philosophical Logic, 2009, v. 38, n. 6, p. 607, doi. 10.1007/s10992-009-9114-x
- By:
- Publication type:
- Article
Counting distinctions: on the conceptual foundations of Shannon’s information theory.
- Published in:
- Synthese, 2009, v. 168, n. 1, p. 119, doi. 10.1007/s11229-008-9333-7
- By:
- Publication type:
- Article
Three extensional models of type theory.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 2, p. 417, doi. 10.1017/S0960129509007440
- By:
- Publication type:
- Article
Preservation theorems for Kripke models.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 177, doi. 10.1002/malq.200710085
- By:
- Publication type:
- Article
Preference-based belief revision for rule-based agents.
- Published in:
- Synthese, 2008, v. 165, n. 2, p. 159, doi. 10.1007/s11229-008-9364-0
- By:
- Publication type:
- Article
Probabilistic dynamic belief revision.
- Published in:
- Synthese, 2008, v. 165, n. 2, p. 179, doi. 10.1007/s11229-008-9369-8
- By:
- Publication type:
- Article
Modelling simultaneous games in dynamic logic.
- Published in:
- Synthese, 2008, v. 165, n. 2, p. 247, doi. 10.1007/s11229-008-9390-y
- By:
- Publication type:
- Article
Logical dynamics of some speech acts that affect obligations and preferences.
- Published in:
- Synthese, 2008, v. 165, n. 2, p. 295, doi. 10.1007/s11229-008-9368-9
- By:
- Publication type:
- Article
The road to two theorems of logic.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 333, doi. 10.1007/s11229-008-9353-3
- By:
- Publication type:
- Article
Harmonious logic: Craig’s interpolation theorem and its descendants.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 341, doi. 10.1007/s11229-008-9354-2
- By:
- Publication type:
- Article
Transformative Criticism, Virtual Meaning, and Community: Peirce on Signs and Experience.
- Published in:
- Journal of Speculative Philosophy, 2008, v. 22, n. 2, p. 127, doi. 10.1353/jsp.0.0033
- By:
- Publication type:
- Article
What Can One Expect from Logic in the Law? (Not Everything, but More than Something: A Reply to Susan Haack).
- Published in:
- 2008
- By:
- Publication type:
- Obituary
Religious Belief in Newman's Grammar of Assent.
- Published in:
- 2008
- By:
- Publication type:
- Essay
On Fork Arrow Logic and its Expressive Power.
- Published in:
- Journal of Philosophical Logic, 2007, v. 36, n. 5, p. 489, doi. 10.1007/s10992-006-9043-x
- By:
- Publication type:
- Article
Fine-Tuning and Old Evidence.
- Published in:
- Nous, 2007, v. 41, n. 3, p. 550, doi. 10.1111/j.1468-0068.2007.00661.x
- By:
- Publication type:
- Article
VERSIONI ALTERNATIVE DELLA LOGICA DEL SECONDO ORDINE: UN'INTRODUZIONE.
- Published in:
- Epistemologia, 2007, v. 30, n. 1, p. 145
- By:
- Publication type:
- Article
EL ANÁLISIS LÓGICO DE LA PREDICACIÓN COLECTIVA.
- Published in:
- Crítica, 2006, v. 38, n. 114, p. 21, doi. 10.22201/iifs.18704905e.2006.487
- By:
- Publication type:
- Article
CAMBIOS DE REFERENCIA: KRIPKE Y PUTNAM.
- Published in:
- Crítica, 2006, v. 38, n. 114, p. 45, doi. 10.22201/iifs.18704905e.2006.488
- By:
- Publication type:
- Article