scientific article; zbMATH DE number 7561348
From MaRDI portal
Publication:5090984
DOI10.4230/LIPIcs.FSTTCS.2018.43MaRDI QIDQ5090984
No author found.
Publication date: 21 July 2022
Full work available at URL: https://arxiv.org/abs/1803.10508
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
Related Items (10)
Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ To be announced ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Are bundles good deals for first-order modal logic? ⋮ Epistemic Syllogistic: First Steps ⋮ Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract) ⋮ Epistemic Logics of Structured Intensional Groups ⋮ A logic of knowing why ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The finite model property for MIPQ and some consequences
- First-order modal logic
- A logic of goal-directed knowing how
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Decidable fragments of first-order modal logics
- Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
- Beyond Knowing That: A New Generation of Epistemic Logics
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- The Undecidability of Monadic Modal Quantification Theory
- Undecidability of modal and intermediate first-order logics with two individual variables
- Zum Entscheidungsproblem des logischen Funktionenkalküls
- Two-dimensional modal logic
- The classical decision problem.
This page was built for publication:
