Jerzy Łoś Positional Calculus and the Origin of Temporal Logic

DOI10.12775/LLP.2018.013zbMath1443.03010MaRDI QIDQ5215505

Tomasz Jarmużek, Marcin Tkaczyk

Publication date: 11 February 2020

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

temporal logicpositional logicrealization operator \(\mathcal{R}\)

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Temporal logic (03B44)

Related Items (2)

Logic of Social Ontology and Łoś’s Operator ⋮ On the modal interpretation of the connective of realisation

Cites Work

• Temporal logic. From ancient ideas to artificial intelligence
• Logic and the modalities in the twentieth century
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Jerzy Łoś Positional Calculus and the Origin of Temporal Logic