Login
Register
Home
Issues
Volume 18, Issue 1 (2007)
Sequent Calculi for Branching Time Tempo ...
Informatica
Information
Submit your article
For Referees
Help
ATTENTION!
Article info
Related articles
Cited by
More
Article info
Related articles
Cited by
Cited by
1
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief
Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: Completeness and decidability
J. Sakalauskaitė
https://doi.org/10.1007/s10986-007-0019-5
Journal
Lithuanian Mathematical Journal
Volume 47, Issue 3 (2007), p. 266
Export citation
Copy and paste formatted citation
Formatted citation
Placeholder
Citation style
AMS -- Americal Mathematical Society
APA -- American Psychological Association 6th ed.
Chicago -- The Chicago Manual of Style 17th ed.
Download citation in file
Export format
BibTeX
RIS
Authors
Placeholder
Share
RSS
To top