Open AccessThe Expressive Power of Second-Order Propositional Modal Logic
Author(s) -
Michael Kaminski,
Michael Tiomkin
Publication year - 1996
Publication title -
notre dame journal of formal logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.505
H-Index - 29
eISSN - 1939-0726
pISSN - 0029-4527
DOI - 10.1305/ndjfl/1040067314
Subject(s) - modal logic , expressive power , normal modal logic , propositional variable , modal , modal μ calculus , propositional calculus , order (exchange) , computer science , dynamic logic (digital electronics) , mathematics , calculus (dental) , intermediate logic , discrete mathematics , programming language , description logic , physics , economics , medicine , dentistry , transistor , voltage , chemistry , quantum mechanics , finance , polymer chemistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom