View in EDS

A complete tableau system for basic hybrid logic with propositional quantification.

Saved in:
Bibliographic Details
Title: A complete tableau system for basic hybrid logic with propositional quantification.
Authors: Kofod, Julie Lundbak1 (AUTHOR), Blackburn, Patrick1 (AUTHOR), Braüner, Torben2 (AUTHOR)
Source: Logic Journal of the IGPL. Jun2026, Vol. 34 Issue 3, p1-22. 22p.
Database: Business Source Ultimate
Description
ISSN:13670751
DOI:10.1093/jigpal/jzag022