Model Theoretic Syntax and Parsing

DOI10.1016/S1571-0661(05)82588-5MaRDI QIDQ4923571zbMATH OpenFDO

Authors Adi Palm

Publication date 24 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(05)82588-5

Mathematics Subject Classification ID

Temporal logic (03B44) Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 1163388
• Temporal logics with language parameters
• scientific article; zbMATH DE number 1499103
• Temporal logic and model checking for operator precedence languages
• scientific article; zbMATH DE number 4119669
• scientific article; zbMATH DE number 4081517
• scientific article; zbMATH DE number 1536571
• Combined temporal and modal logic. Completeness results for predicate logic languages
• Modelling and solving temporal reasoning as propositional satisfiability
• Timed context-free temporal logics

Cites work

• Alternating automata: unifying truth and validity checking for temporal logics
• An efficient context-free parsing algorithm
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Deciding full branching time logic
• Efficient Temporal Satisfiability
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3937153 (Why is no real title available?)
• scientific article; zbMATH DE number 3972842 (Why is no real title available?)
• scientific article; zbMATH DE number 4027441 (Why is no real title available?)
• scientific article; zbMATH DE number 1447282 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Parsing schemata and correctness of parsing algorithms
• Propositional temporal logics: decidability and completeness
• Self-reference and modal logic
• Syntactic codes and grammar refinement
• Tableau methods for modal and temporal logics
• TABLEAUX: A general theorem prover for modal logics
• The temporal logic of branching time

Cited in

(4)

• scientific article; zbMATH DE number 1689584 (Why is no real title available?)
• scientific article; zbMATH DE number 1786532 (Why is no real title available?)
• Model-checking parse trees
• Talking about trees and truth-conditions

Describes a project that uses

Uses Software

• TABLEAUX

This page was built for publication: Model Theoretic Syntax and Parsing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923571)