A Propositional Logic of Temporal Connectives

Logic and Logical Philosophy - Poland
doi 10.12775/llp.2014.020
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

Related search

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

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

Privacy PolicyRefund Policy