Q5015273 (Q5015273): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 09:51, 27 July 2024

scientific article; zbMATH DE number 7439735

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7439735

Statements

scholarly article

0 references

0 references

Daniel Kernberger

0 references

0 references

publication date

7 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1609.04093

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2016.9

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

0 references

0 references

PDL with intersection of programs: a complete axiomatization

0 references

Propositional dynamic logic is weaker without tests

0 references

0 references

Propositional dynamic logic of regular programs

0 references

An elementary proof of the completeness of PDL

0 references

2-Exp Time lower bounds for propositional dynamic logics with intersection

0 references

0 references

An essay in combinatory dynamic logic

0 references

A near-optimal method for reasoning about action

0 references

Reasoning about action and change. A dynamic logic approach

0 references

Propositional dynamic logic of looping and converse is elementarily decidable

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5015273

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5015273&oldid=36746226"