Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Esperanza Buitrago-Díaz

A Propositional Logic of Temporal Connectives

Logic and Logical Philosophy
Philosophy
2014English

Related publications

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic

Journal of Applied Non-Classical Logics
PhilosophyLogic
2004English

Linear Temporal Logic and Propositional Schemata, Back and Forth

2011English

Non Decomposable Connectives of Linear Logic

Annals of Pure and Applied Logic
Logic
2019English

Temporal Connectives and Logical Form

Annual Meeting of the Berkeley Linguistics Society
1979English

The Axiomatization of Propositional Logic

Formalized Mathematics
Computational MathematicsApplied Mathematics
2016English

Propositional Clausal Defeasible Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Philosophical Conception of Propositional Modal Logic

Philosophical Topics
Philosophy
1993English

Proof Complexity of Propositional Default Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Proof Complexity of Propositional Default Logic

Archive for Mathematical Logic
PhilosophyLogic
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy