Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
Item
Discussion
View history
Purge
English
Log in
Help
Pages that link to "Item:Q290917"
From MaRDI portal
←
A logic of separating modalities
(Q290917)
Jump to:
navigation
,
search
What links here
⧼whatlinkshere-whatlinkshere-target⧽
Page:
⧼whatlinkshere-whatlinkshere-ns⧽
Namespace:
all
(Main)
Talk
User
User talk
Project
Project talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Item
Item talk
Property
Property talk
Widget
Widget talk
EntitySchema
EntitySchema talk
Module
Module talk
Private
Formula
Formula talk
Person
Person talk
CodeMeta
CodeMeta talk
Publication
Publication talk
Software
Software talk
Dataset
Dataset talk
Community
Community talk
Data
UserData
Schema
Schema talk
Datatype
Datatype talk
Invert selection
⧼whatlinkshere-whatlinkshere-filter⧽
Hide transclusions
Hide links
Hide redirects
Go
The following pages link to
A logic of separating modalities
(Q290917)
:
Displayed 5 items.
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
A calculus and logic of bunched resources and processes
(Q906271)
(
← links
)
A stone-type duality theorem for separation logic via its underlying bunched logics
(Q2130585)
(
← links
)
(Q3121529)
(
← links
)
A Substructural Epistemic Resource Logic
(Q5224495)
(
← links
)
(Q5376651)
(
← links
)
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
Tools
Special pages
Printable version