Works matching IS 00223611 AND DT 2024 AND VI 53 AND IP 1
Results: 9
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems.
- Published in:
- Journal of Philosophical Logic, 2024, v. 53, n. 1, p. 293, doi. 10.1007/s10992-023-09732-5
- By:
- Publication type:
- Article
A Step Towards Absolute Versions of Metamathematical Results.
- Published in:
- Journal of Philosophical Logic, 2024, v. 53, n. 1, p. 247, doi. 10.1007/s10992-023-09731-6
- By:
- Publication type:
- Article
A Sound and Complete Tableaux Calculus for Reichenbach's Quantum Mechanics Logic.
- Published in:
- Journal of Philosophical Logic, 2024, v. 53, n. 1, p. 223, doi. 10.1007/s10992-023-09730-7
- By:
- Publication type:
- Article
Tarski's Theory of the Formal Correctness of Definitions.
- Published in:
- Journal of Philosophical Logic, 2024, v. 53, n. 1, p. 181, doi. 10.1007/s10992-023-09729-0
- By:
- Publication type:
- Article
Mathematical Modality: An Investigation in Higher-order Logic.
- Published in:
- Journal of Philosophical Logic, 2024, v. 53, n. 1, p. 131, doi. 10.1007/s10992-023-09728-1
- By:
- Publication type:
- Article
Reasoning about Dependence, Preference and Coalitional Power.
- Published in:
- Journal of Philosophical Logic, 2024, v. 53, n. 1, p. 99, doi. 10.1007/s10992-023-09727-2
- By:
- Publication type:
- Article
Axiomatizing Rumsfeld Ignorance.
- Published in:
- Journal of Philosophical Logic, 2024, v. 53, n. 1, p. 79, doi. 10.1007/s10992-023-09725-4
- By:
- Publication type:
- Article
The Liar Paradox and "Meaningless" Revenge.
- Published in:
- Journal of Philosophical Logic, 2024, v. 53, n. 1, p. 49, doi. 10.1007/s10992-023-09719-2
- By:
- Publication type:
- Article
The Implicative Conditional.
- Published in:
- Journal of Philosophical Logic, 2024, v. 53, n. 1, p. 1, doi. 10.1007/s10992-023-09715-6
- By:
- Publication type:
- Article