Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Patrick Todd

Future Contingents and the Logic of Temporal Omniscience

Nous
Philosophy
2019English

The Problem of Future Contingents: Scoping Out a Solution

Synthese
PhilosophySocial Sciences
2018English

Related publications

Fatalism and Future Contingents

Analytic Philosophy
2019English

Future Contingents, Non-Contradiction, and the Law of Excluded Middle Muddle

Analysis
Philosophy
2004English

Divine Omniscience and Experience

Ars Disputandi
2003English

On the Expressive Power of Temporal Logic

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1993English

Reflections on Temporal and Modal Logic

Logic and Logical Philosophy
Philosophy
2014English

Alternating-Time Temporal Logic

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1999English

Belief, Knowledge, and Omniscience

Grazer Philosophische Studien
Philosophy
2011English

Robotics, Temporal Logic and Stream Reasoning

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy