No label defined (Q5090984)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7561348

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

Statements

scholarly article

0 references

publication date

21 July 2022

0 references

full work available at URL

https://arxiv.org/abs/1803.10508

0 references

zbMATH Keywords

first-order modal logic

0 references

decidability

0 references

bundled fragments

0 references

MaRDI profile type

MaRDI publication profile

0 references

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

0 references

The classical decision problem.

0 references

The finite model property for MIPQ and some consequences

0 references

First-order modal logic

0 references

Undecidability of modal and intermediate first-order logics with two individual variables

0 references

Zum Entscheidungsproblem des logischen Funktionenkalküls

0 references

0 references

Undecidability of First-Order Intuitionistic and Modal Logics with Two variables

0 references

The Undecidability of Monadic Modal Quantification Theory

0 references

Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

0 references

Two-dimensional modal logic

0 references

0 references

A logic of goal-directed knowing how

0 references

0 references

Beyond Knowing That: A New Generation of Epistemic Logics

0 references

Decidable fragments of first-order modal logics

0 references

Identifiers

10.4230/LIPIcs.FSTTCS.2018.43

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5090984

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