Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 31
Volume 31, Number 1, 2021
- Liu Yang
, Antoine Rauzy:
Epistemic space of degradation processes. 1-25 - Francesca Poggiolesi:
Grounding rules for (relevant) implication. 26-55 - Mauricio Osorio, Aldo Figallo Orellano, Miguel Pérez-Gaspar:
A family of genuine and non-algebraisable C-systems. 56-84
Volume 31, Number 2, 2021
- John Grant:
Measuring inconsistency in some branching time logics. 85-107 - Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos:
A note on the complexity of S4.2. 108-129 - Gemma Robles, José M. Méndez:
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation. 130-153 - Asadollah Fallahi:
Two pretabular linear extensions of relevance logic R. 154-179
Volume 31, Numbers 3-4, October 2021
- Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber:
Copy and remove as dynamic operators. 181-220 - Anna Maria Karczewska:
On the modal interpretation of the connective of realisation. 221-233 - Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt:
Non-commutative propositional logic with short-circuit evaluation. 234-278 - Francesco A. Genco:
Formal explanations as logical derivations. 279-342 - Ahmet Çevik, Selçuk Topal:
Most-intersection of countable sets. 343-354 - Milos Kosterec:
Substitution inconsistencies in Transparent Intensional Logic. 355-371
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
