Search

Search Results

Found 19 items.

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

Marcin Tkaczyk, Tomasz Jarmużek

259-276

2018-09-23
Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

Ahmad Karimi

753-765

2019-06-14
Fibring Epistemic and Temporal Logics

Krzysztof Aleksander Krawczyk

195-199

2019-03-05
A spurious confusion in temporal logic

Marcin Tkaczyk

201–216

2014-12-02
Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

Daniel Rönnedal

3-52

2017-05-01
The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

Marcin Łyczak

39-59

2020-07-21
Logic of Social Ontology and Łoś’s Operator

Jacek Malinowski, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek

239-258

2020-02-25
Reflections on temporal and modal logic

Richard L. Epstein

111–139

2014-08-02
Quantified temporal alethic-deontic logic

Daniel Rönnedal

19–59

2014-08-02
The logic of causal propositions

Stanisław Kiczuk

403-448

2014-08-04
A propositional logic of temporal connectives

Richard L. Epstein, Esperanza Buitrago-Díaz

155–200

2014-09-06
The true bisimulations for 'since' and 'until'

Holger Sturm

173–183

2004-01-19
From BDI and stit to bdi-stit logic

Caroline Semmling, Heinrich Wansing

185-207

2008-06-19
Temporal non-commutative logic: Expressing time, resource, order and hierarchy

Norihiro Kamide

97-126

2009-11-30
A Leibnizian Logic of Possible Laws A Formal Framework Motivated by Hintikka That Blocks Lovejoy's Principle of Plenitude

Kordula Świętorzecka, Marcin Łyczak

119–-140

2022-05-06
Discrete linear temporal logic with current time point clusters, deciding algorithms

V. Rybakov

143-161

2008-06-19
Completeness of Minimal Positional Calculus

Tomasz Jarmużek, Andrzej Pietruszczak

147-162

2004-12-21
The Notion of Temporal Logic and the Problem of Priority

Anna Maria Karczewska

1-7

2025-11-17
On the logic of event causation. Part I. Fundamental reflections

Uwe Scheffler

129-155

2003-01-01

1 - 19 of 19 items